検索条件
著者情報：Rozenberg, Grzegorz.
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings Berlin : alk. paper , New York : alk. paper ( Lecture notes in computer science ; 489 ) | 中央図書館 | J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||489 |
| 2 |  | Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings Berlin : alk. paper , New York : alk. paper ( Lecture notes in computer science ; 532 ) | 中央図書館 | H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||532 |
| 3 |  | Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 U.S. : alk. paper ( Lecture notes in computer science ; 354 ) | 中央図書館 | J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds. | Springer-Verlag | 1989 | 中央５階洋 007.1||L 49||354 |
| 4 |  | Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 ( Lecture notes in computer science ; 73. ) | 中央図書館 | edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg. | Springer-Verlag | 1979 | 中央５階洋 007.1||L 49||73 |
| 5 | | Advances in Petri nets, 1988 U.S. ( Lecture notes in computer science ; 340 ) | 中央図書館 | Grzegorz Rozenberg, ed. | Springer-Verlag | 1988 | 中央５階洋 007.1||L 49||340 |
| 6 | | Current trends in concurrency : overviews and tutorials U.S. : pbk. ( Lecture notes in computer science ; 224 ) | 中央図書館 | edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg. | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||224 |
| 7 |  | Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science ; 430 ) | 中央図書館 | J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds. | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||430 |
| 8 | | Advances in Petri nets, 1985 U.S. : pbk. ( Lecture notes in computer science ; 222 ) | 中央図書館 | edited by G. Rozenberg. | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||222 |
| 9 | | Advances in Petri nets, 1987 pbk. ( Lecture notes in computer science ; 266 ) | 中央図書館 | Grzegorz Rozenberg, ed. | Springer-Verlag | 1987 | 中央５階洋 007.1||L 49||266 |
| 10 | | Advances in Petri nets, 1990 ( Lecture notes in computer science ; 483 ) | 中央図書館 | Grzegorz Rozenberg (ed.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||483 |
選択行を
|