1.

図書
図書
1. Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings (: us ; : gw)
J. Karhumäki, H. Maurer, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 812
所蔵情報: loading…
2.

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

図書
図書
3. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 430
所蔵情報: loading…
4.

図書
図書
4. Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 354
所蔵情報: loading…
5.

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

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

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

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

図書
図書
9. Current trends in concurrency : overviews and tutorials (: gw ; : us)
edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 224
所蔵情報: loading…
10.

図書
図書
10. Advances in Petri nets 1985 (: gw ; : us)
edited by G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 222
所蔵情報: loading…