馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Formal and natural computing：essays dedicated to Grzegorz Rozenberg

Group Author: Brauer Wilfried.; Rozenberg Grzegorz.
Published: Springer,
Publication Dates: c2002.
Call Number: TP301/F723

Book

2

Cover is for reference only

The Book of traces

Group Author: Diekert Volker, 1955-; Rozenberg Grzegorz.
Published: World Scientific,
Publication Dates: c1995.
Call Number: O22/B724/

Book

3

Cover is for reference only

Graph-grammars and their application to computer science and biology：international workshop, Bad Honnef, October 30-November 3, 1978

Group Author: Ehrig Hartmut.; Rozenberg Grzegorz.; Claus Volker, 1944-
Published: Springer-Verlag,
Publication Dates: 1979.
Call Number: TP312-53/I61.8/1978/

Book

4

Cover is for reference only

Nanotechnology：science and computation

Group Author: Jonoska Nataša, 1961-; Rozenberg Grzegorz.; Chen Junghuei, 1960-
Published: Springer,
Publication Dates: c2006.

Book

5

Cover is for reference only

Rainbow of computer science：dedicated to Hermann Maurer on the occasion of his 70th birthday

Corporate Authors: SpringerLink (Online service)
Group Author: Rozenberg Grzegorz.; Salomaa Arto.; Calude Cristian, 1952-
Published: Springer,
Publication Dates: c2011.

Book

6

Cover is for reference only

Concurrent object-oriented programming and Petri nets：advances in Petri nets

Group Author: Agha Gul A.; De Cindio Fiorella.; Rozenberg Grzegorz.
Published: Springer,
Publication Dates: c2001.
Call Number: TP311.1/C744

Book

7

Cover is for reference only

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised selected papers /

Corporate Authors: CMC (Conference : Molecular computers) Budapest, Hungary); SpringerLink (Online service)
Group Author: Csuhaj-Varju , E.; Gheorghe, Marian; Rozenberg, Grzegorz.; Salomaa, Arto.; Vaszil, Gyo rgy
Published: Springer,
Publication Dates: [2013]

eBook

8

Cover is for reference only

Concurrency and hardware design：advances in Petri nets

Group Author: Cortadella J.; (Jordi), 1962-; Yakovlev Alex.; Rozenberg Grzegorz.
Published: Springer,
Publication Dates: 2002.
Call Number: TP330.3/C744

Book

9

Cover is for reference only

Graph grammars and their application to computer science：proceedings, 4th international workshop, Bremen, Germany, March 5-9, 1990

Group Author: Ehrig Hartmut.; Kreowski H.-J.; (Hans-Jörg); Rozenberg Grzegorz.
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP301-53/G766.1/1990/

Book

10

Cover is for reference only

Results and trends in theoretical computer science：colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings

Group Author: Salomaa Arto.; Karhumaki J.; (Juliani); Maurer Hermann A., 1941-; Rozenberg Grzegorz.
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP301-532/R436/1994/

Book

11

Cover is for reference only

Semantics：foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

Group Author: Bakker J. W. de; (Jacobus Willem), 1939-; Roever W.-P. de.; Rozenberg Grzegorz.
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP301.2-532/S471/1992/

Book

12

Cover is for reference only

Foundations of object-oriented languages：REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

Corporate Authors: REX School/Workshop (1990 Noordwijkerhout)
Group Author: Bakker J. W. de; (Jacobus Willem), 1939-; Roever W.-P. de.; Rozenberg Grzegorz.
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP311.11-53/R432/1990/

Book

13

Cover is for reference only

A Decade of concurrency：reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings

Group Author: Bakker J. W. de; (Jacobus Willem), 1939-; Roever W.-P. de.; Rozenberg Grzegorz.
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP301.6-532/R432/1993/

Book

14

Cover is for reference only

Stepwise refinement of distributed systems：models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings

Corporate Authors: REX Workshop (1989 Mook)
Group Author: Bakker J. W. de; (Jacobus Willem), 1939-; Roever W.-P. de.; Rozenberg Grzegorz.
Published: Springer-Verlag,
Publication Dates: c1990.
Call Number: TP338.8-53/R432/1989/

Book

15

Cover is for reference only

Handbook of natural computing /

Group Author: Bäck, Thomas, 1963; Kok, Joost N; Rozenberg, Grzegorz
Published:
Call Number: TP301.6-62/H236-3

Book

Narrow Search