1.

図書
図書
1. Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3142
所蔵情報: loading…
2.

図書
図書
2. Abstract state machines 2003 : advances in theory and practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2589
所蔵情報: loading…
3.

図書
図書
3. Automata, languages and programming : 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings
Jos C.M. Baeten ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2719
所蔵情報: loading…
4.

図書
図書
4. Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2076
所蔵情報: loading…
5.

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

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

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

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

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

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

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

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

図書
図書
15. Proceedings of the twenty-eighth Annual ACM Symposium on the Theory of Computing, Philadelphia, Pennsylvania, May 22-24, 1996
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1996
所蔵情報: loading…
16.

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

図書
図書
17. Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing, Las Vegas, Nevada, May 29-June 1, 1995
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1995
所蔵情報: loading…
18.

図書
図書
18. Proceedings of the twenty-sixth Annual ACM Symposium on the Theory of Computing, Montréal, Québec, Canada, May 23-25, 1994
sponsored by the ACM Special Interest Group Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1994
所蔵情報: loading…
19.

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

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

図書
図書
21. Proceedings of the twenty-fifth Annual ACM Symposium on the Theory of Computing, San Diego, California, May 16-18, 1993
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1993
所蔵情報: loading…
22.

図書
図書
22. Proceedings of the twenty-fourth Annual ACM Symposium on the Theory of Computing : Victoria, British Columbia, Canada, May 4-6, 1992
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : ACM, c1992
所蔵情報: loading…
23.

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

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

図書
図書
25. Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings (: gw ; : us)
J. Leach Albert, B. Monien, M. Rodríguez Artalejo, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 510
所蔵情報: loading…
26.

図書
図書
26. Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing : New Orleans, Louisiana, May 6-8, 1991
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : ACM, c1991
所蔵情報: loading…
27.

図書
図書
27. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings (: gw ; : us)
J.C.M. Baeten, J.F. Groote, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 527
所蔵情報: loading…
28.

図書
図書
28. Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings (: gw ; : us)
M.S. Paterson (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 443
所蔵情報: loading…
29.

図書
図書
29. Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings (: gw ; : us)
G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 372
所蔵情報: loading…
30.

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

図書
図書
31. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings (: gw ; : us)
Timo Lepistö, Arto Salomaa (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 317
所蔵情報: loading…
32.

図書
図書
32. Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (: gw ; : us)
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 254 . Advances in Petri Nets 1986 ; pt. 1
所蔵情報: loading…
33.

図書
図書
33. Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (: gw ; : us)
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 255 . Advances in Petri Nets 1986 ; pt. 2
所蔵情報: loading…
34.

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

図書
図書
35. Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing : Berkeley, California, May 28-30, 1986
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : Additional copies may be orderd from ACM Order Dept., c1986
所蔵情報: loading…
36.

図書
図書
36. Mathematical foundations of computer science 1986 : proceedings of the 12th Symposium, Bratislava, Czechoslovakia, August 25-29, 1986 (: gw ; : us)
edited by J. Gruska, B. Rovan, and J. Wiedermann
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 233
所蔵情報: loading…
37.

図書
図書
37. Advances in Petri nets 1984 (: gw ; : us)
edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 188
所蔵情報: loading…
38.

図書
図書
38. Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 (: ne ; : U.S. : pbk.)
edited by Marek Karpinski and Jan van Leeuwen
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985
シリーズ名: Annals of discrete mathematics ; 24
North-Holland mathematics studies ; 102
所蔵情報: loading…
39.

図書
図書
39. Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 (: gw ; : us)
edited by Jan Paredaens
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 172
所蔵情報: loading…
40.

図書
図書
40. Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen (: gw ; : us)
edited by E. Börger, G. Hasenjaeger, and D. Rödding
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 171
所蔵情報: loading…
41.

図書
図書
41. Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 (: gw ; : us)
edited by J. Díaz
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 154
所蔵情報: loading…
42.

図書
図書
42. Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 (: gw ; : us)
edited by Marek Karpinski
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 158
所蔵情報: loading…
43.

図書
図書
43. Applications and theory of Petri nets : selected papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 (: gw ; : us)
edited by Anastasia Pagnoni and Grzegorz Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Informatik-Fachberichte ; 66
所蔵情報: loading…
44.

図書
図書
44. Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 (: gw ; : us)
edited by A.B. Cremers and H.P. Kriegel
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 145
所蔵情報: loading…
45.

図書
図書
45. Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 (: gw ; : us)
edited by M. Nielsen and E.M. Schmidt
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 140
所蔵情報: loading…
46.

図書
図書
46. Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 (: gw ; : us)
edited by S. Even and O. Kariv
出版情報: Berlin : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 115
所蔵情報: loading…
47.

図書
図書
47. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 (: gw ; : us)
edited by Ferenc Gécseg
出版情報: Berlin : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 117
所蔵情報: loading…
48.

図書
図書
48. Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981 (: gw ; : us)
edited by J. Gruska and M. Chytil
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 118
所蔵情報: loading…
49.

図書
図書
49. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 (: gw ; : us)
edited by Peter Deussen
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 104
所蔵情報: loading…
50.

図書
図書
50. Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 (: gw ; : us)
edited by P. Dembiński
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 88
所蔵情報: loading…