1.

図書
図書
1. 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
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館
4.

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

図書
図書
5. 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
所蔵情報: 図書館