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
所蔵情報: loading…
2.

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

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

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

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

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

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

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

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

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