1.

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

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

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

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

図書
図書
5. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 (: gw ; : us)
edited by A.P. Ershov and D.E. Knuth
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 122
所蔵情報: 図書館
6.

図書
図書
6. Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 (: gw ; : us)
edited by J. Gruska
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 53
所蔵情報: 図書館
7.

図書
図書
7. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 (: gw ; : us)
edited by A. Mazurkiewicz
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in computer science ; 45
所蔵情報: 図書館
8.

図書
図書
8. Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 (: gw ; : us)
edited by A. Blikle
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 28
所蔵情報: 図書館
9.

図書
図書
9. Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 (: gw ; : us)
edited by Clemens E. Hackl
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 23
所蔵情報: 図書館
10.

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