検索条件
著者情報:Rozenberg, Grzegorz.
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41H8yxFqyuL.jpg) | 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 | 中央5階洋 007.1||L 49||489 |
2 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/31X9BDNCgFL.jpg) | 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 | 中央5階洋 007.1||L 49||532 |
3 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41TOARh6sVL.jpg) | 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 | 中央5階洋 007.1||L 49||354 |
4 | ![書影](../Images/noimage.png) | 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 | 中央5階洋 007.1||L 49||73 |
5 | ![書影](../Images/noimage.png) | Advances in Petri nets, 1988 U.S. ( Lecture notes in computer science ; 340 ) | 中央図書館 | Grzegorz Rozenberg, ed. | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||340 |
6 | ![書影](../Images/noimage.png) | 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 | 中央5階洋 007.1||L 49||224 |
7 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41%2BpmOqrQOL.jpg) | 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 | 中央5階洋 007.1||L 49||430 |
8 | ![書影](../Images/noimage.png) | Advances in Petri nets, 1985 U.S. : pbk. ( Lecture notes in computer science ; 222 ) | 中央図書館 | edited by G. Rozenberg. | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||222 |
9 | ![書影](../Images/noimage.png) | Advances in Petri nets, 1987 pbk. ( Lecture notes in computer science ; 266 ) | 中央図書館 | Grzegorz Rozenberg, ed. | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||266 |
10 | ![書影](../Images/noimage.png) | Advances in Petri nets, 1990 ( Lecture notes in computer science ; 483 ) | 中央図書館 | Grzegorz Rozenberg (ed.). | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||483 |
選択行を
|