1.

図書
図書
1. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Wilfried Brauer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2300
所蔵情報: loading…
2.

図書
図書
2. Foundations of computer science : potential--theory--cognition
Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1337
所蔵情報: loading…
3.

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

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

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