close
1.

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

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

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

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

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

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

図書
図書
7. [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 (: gw ; : us)
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 37
所蔵情報: loading…
8.

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

図書
図書
9. International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 (: gw ; : us)
edited by Andrei Ershov and Valery A. Nepomniaschy
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 5
所蔵情報: loading…