close
1.

図書
図書
1. Randomization methods in algorithm design : DIMACS workshop, December 12-14, 1997
Panos Pardalos, Sanguthevar Rajasekaran, Jose Rolim, editors
出版情報: Providence, R.I. : American Mathematical Society, c1999
シリーズ名: DIMACS series in discrete mathematics and theoretical computer science ; v. 43
所蔵情報: loading…
2.

図書
図書
2. Algorithm theory-SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings
Stefan Arnborg, Lars Ivansson (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1432
所蔵情報: loading…
3.

図書
図書
3. Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
Tobias Nipkow (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1379
所蔵情報: 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. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. 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…
8.

図書
図書
8. Discrete probability and algorithms
David Aldous ... [et al.], editors
出版情報: New York ; Tokyo : Springer Verlag, c1995
シリーズ名: The IMA volumes in mathematics and its applications ; v. 72
所蔵情報: loading…
9.

図書
図書
9. 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…
10.

図書
図書
10. 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…