close
1.

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

図書
図書
2. KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings (: gw)
Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 981 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Logic and algebra of specification (: us ; : gw)
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; v. 94
所蔵情報: 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. 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…
7.

図書
図書
7. Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 (: gw ; : us)
edited by Wilfried Brauer
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 84
所蔵情報: loading…