1.

図書
図書
1. Graph transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 : proceedings
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
2.

図書
図書
2. Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
Grzegorz Rozenberg, Frits Vaandrager (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1494
所蔵情報: loading…
3.

図書
図書
3. Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: loading…
4.

図書
図書
4. Application of Petri nets to communication networks : advances in Petri nets
Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1605
所蔵情報: loading…
5.

図書
図書
5. Unifying Petri nets : advances in Petri nets
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2128
所蔵情報: loading…
6.

図書
図書
6. Concurrent object-oriented programming and Petri nets : advances in Petri nets
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2001
所蔵情報: loading…
7.

図書
図書
7. DNA computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000 : revised papers
Anne Condon, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2054
所蔵情報: loading…
8.

図書
図書
8. Concurrency and hardware design : advances in petri nets
Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2549
所蔵情報: loading…
9.

図書
図書
9. The mathematical theory of L systems
Grzegorz Rozenberg, Arto Salomaa
出版情報: New York : Academic Press, 1980
シリーズ名: Pure and applied mathematics ; 90
所蔵情報: loading…
10.

図書
図書
10. Word, language, grammar
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1
所蔵情報: loading…
11.

図書
図書
11. Linear modeling : background and application
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2
所蔵情報: loading…
12.

図書
図書
12. Beyond words
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3
所蔵情報: loading…
13.

図書
図書
13. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 666
所蔵情報: loading…
14.

図書
図書
14. Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us)
J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 489
所蔵情報: loading…
15.

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

図書
図書
16. A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 803
所蔵情報: loading…
17.

図書
図書
17. Advances in Petri nets 1984 (: gw ; : us)
edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 188
所蔵情報: loading…
18.

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

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

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

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

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

図書
図書
23. Advances in Petri nets 1989 (: gw ; : us)
Grzegorz Rozenberg (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 424
所蔵情報: loading…
24.

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

図書
図書
25. Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (: gw ; : us)
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: loading…
26.

図書
図書
26. Applications and theory of Petri nets : selected papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 (: gw ; : us)
edited by Anastasia Pagnoni and Grzegorz Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Informatik-Fachberichte ; 66
所蔵情報: loading…
27.

図書
図書
27. Current trends in theoretical computer science : essays and tutorials
edited by G. Rozenberg, A. Salomaa
出版情報: Singapore : World Scientific, c1993
シリーズ名: Series in computer science ; Vol. 40
所蔵情報: loading…