close
1.

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

図書
図書
5. Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey (: soft ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996
所蔵情報: 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. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, June 28-July 1, 1994, Amsterdam, the Netherlands (: paper ; : microfiche ; : case)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from CWI ... [et al.]
出版情報: Los Alamitos : IEEE Computer Society Press, c1994
所蔵情報: loading…
9.

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

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

図書
図書
11. Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 (: paper ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1992
所蔵情報: loading…
12.

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

図書
図書
13. Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, EATCS
出版情報: Los Alamitos : IEEE Computer Society Press, c1991
所蔵情報: loading…
14.

図書
図書
14. Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands (: paper ; : case ; : microfiche)
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991
所蔵情報: loading…
15.

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

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

図書
図書
17. Automata, languages and programming : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings (: gw ; : us)
edited by Laurent Kott
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 226
所蔵情報: loading…
18.

図書
図書
18. Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 (: gw ; : us)
edited by Wilfried Brauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 194
所蔵情報: loading…
19.

図書
図書
19. Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings (: gw ; : us)
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 173
所蔵情報: loading…
20.

図書
図書
20. Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (: gw ; : us)
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: loading…
21.

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

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

図書
図書
23. Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 (: gw ; : us)
edited by J.W. de Bakker and J. van Leeuwen
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 85
所蔵情報: loading…
24.

図書
図書
24. Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 (: gw ; : us)
edited by Hermann A. Maurer
出版情報: Berlin : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 71
所蔵情報: loading…
25.

図書
図書
25. Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 (: gw ; : us)
edited by G. Ausiello and C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in computer science ; 62
所蔵情報: loading…
26.

図書
図書
26. Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 (: gw ; : us)
edited by Arto Salomaa and Magnus Steinby
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 52
所蔵情報: loading…
27.

図書
図書
27. Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 (: gw ; : us)
edited by Jacques Loeckx
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 14
所蔵情報: loading…