1.

図書
図書
1. Applied algebra, algebraic algorithms and error-correcting codes : 13th International Symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings
Marc Fossorier ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1719
所蔵情報: loading…
2.

図書
図書
2. Applied algebra, algebraic algorithms and error-correcting codes : 12th International Symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings (: gw)
Teo Mora, Harold Mattson (eds.)
出版情報: Berlin ; Heidelberg : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1255
所蔵情報: loading…
3.

図書
図書
3. Algorithms and complexity : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997 : proceedings
Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Di Battista (eds.)
出版情報: Berlin : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1203
所蔵情報: loading…
4.

図書
図書
4. Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings (: pbk)
Hubert Comon (ed.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1232
所蔵情報: loading…
5.

図書
図書
5. Algorithm theory-SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings
Rolf Karlsson, Andrzej Lingas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1097
所蔵情報: loading…
6.

図書
図書
6. Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1103
所蔵情報: loading…
7.

図書
図書
7. Applied algebra, algebraic algorithms and error-correcting codes : 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995 : proceedings (: gw)
Gérard Cohen, Marc Giusti, Teo Mora (eds.)
出版情報: Berlin ; Heidelberg ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 948
所蔵情報: loading…
8.

図書
図書
8. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings (: Berlin)
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
9.

図書
図書
9. Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings (: Berlin)
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: loading…
10.

図書
図書
10. Algorithms and complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings (: gw ; : us)
M. Bonuccelli, P. Crescenzi, R. Petreschi, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 778
所蔵情報: loading…