1.

図書
図書
1. Proceedings of the thirty-first annual ACM symposium on Theory of Computing, Atlanta, Georgia, May 1-4, 1999
sponsored by The ACM special interest group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1999
所蔵情報: loading…
2.

図書
図書
2. Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1443
所蔵情報: loading…
3.

図書
図書
3. Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999 : proceedings
Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1644
所蔵情報: loading…
4.

図書
図書
4. Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1256
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the twenty-ninth Annual ACM Symposium on the Theory of Computing, El Paso, Texas, May 4-6, 1997
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1997
所蔵情報: loading…
6.

図書
図書
6. Automata, languages and programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings
Zoltán Fülöp, Ferenc Gécseg (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 944
所蔵情報: loading…
7.

図書
図書
7. Automata, languages and programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 : proceedings
F. Meyer auf der Heide, B. Monien, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1099
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the thirtieth annual ACM symposium on Theory of Computing, Dallas, Texas, May 23-26, 1998 (ACM)
sponsored by the ACM special interest group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1998
所蔵情報: loading…
9.

図書
図書
9. Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
Yuri Gurevich ... [et al.] (eds.)
出版情報: Berlin : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1912
所蔵情報: loading…
10.

図書
図書
10. Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1853
所蔵情報: loading…