1.

図書
図書
1. Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers
Derick Wood, Sheng Yu (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1436
所蔵情報: 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 : 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…
4.

図書
図書
4. Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
Darrell Raymond, Derick Wood, Sheng Yu (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1260
所蔵情報: loading…
5.

図書
図書
5. 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…
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 : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings (: gw ; : us)
Serge Abiteboul, Eli Shamir (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 820
所蔵情報: loading…
8.

図書
図書
8. Automata, languages and programming : 20th International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings (: gw ; : us)
A. Lingas, R. Karlsson, S. Carlsson (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 700
所蔵情報: loading…
9.

図書
図書
9. Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings (: gw ; : us)
W. Kuich (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 623
所蔵情報: loading…
10.

図書
図書
10. Advances in Petri nets 1990 (: gw ; : us)
Grzegorz Rozenberg, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 483
所蔵情報: loading…