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

1

Cover is for reference only

Aspects of molecular computing：essays dedicated to Tom Head on the occasion of his 70th birthday

Group Author: Head Thomas J 1934-; Jonoska Nataša 1961-; Păun Gheorghe 1950-; Rozenberg Grzegorz
Published: Springer,
Publication Dates: c2004.
Call Number: TP384/A838

Book

2

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

3

Cover is for reference only

DNA computing：6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000 : revised papers

Corporate Authors: International Workshop on DNA-Based Computers (6th 2000 University of Leiden
Group Author: Condon Anne; Rozenberg Grzegorz
Published: Springer,
Publication Dates: c2001.
Call Number: TP384-532/I618/2000

Book

4

Cover is for reference only

Application of Petri nets to communication networks：advances in Petri nets

Group Author: Billington Jonathan; Diaz Michel 1945-; Rozenberg Grzegorz
Published: Springer,
Publication Dates: 1999.
Call Number: TN915-1/A652/

Book

5

Cover is for reference only

Structures in logic and computer science：a selection of essays in honor of A. Ehrenfeucht

Group Author: Mycielski Jan 1932-; Rozenberg Grzegorz; Salomaa Arto
Published: Springer,
Publication Dates: c1997.
Call Number: TP30-53/S927/

Book

6

Cover is for reference only

Advances in Petri nets, 1993

Group Author: Rozenberg Grzegorz
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: O157.5-532/A244/1991/

Book

7

Cover is for reference only

Advances in Petri nets, 1991

Group Author: Rozenberg Grzegorz
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: O157.5-53/A244/1990/

Book

8

Cover is for reference only

Advances in Petri nets, 1989

Group Author: Rozenberg Grzegorz
Published: Springer-Verlag,
Publication Dates: c1990.
Call Number: O157.5-53/A244/1988/

Book

9

Cover is for reference only

Advances in Petri nets, 1988

Group Author: Rozenberg Grzegorz
Published: Springer-Verlag,
Publication Dates: c1988.
Call Number: O157.5-53/A244/1987/

Book

10

Cover is for reference only

Graph-grammars and their application to computer science：2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982

Corporate Authors: European Association for Theoretical Computer Science
Group Author: Ehrig Hartmut; Nagl Manfred 1944-; Rozenberg Grzegorz
Published: Springer-Verlag,
Publication Dates: 1983.
Call Number: TP312-53/I61.8/1982/

Book

11

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

12

Cover is for reference only

Lectures on concurrency and Petri nets：advances in Petri nets

Group Author: Reisig Wolfgang 1950-; Rozenberg Grzegorz; Desel Jörg
Published: Springer,
Publication Dates: c2004.
Call Number: TP393.01-532/L471/2003

Book

13

Cover is for reference only

Developments in language theory：5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers

Corporate Authors: Conference on Developments in Language Theory (5th 2001 Wein, Austria
Group Author: Rozenberg Grzegorz; Salomaa Arto; Kuich Werner 1941-
Published: Springer,
Publication Dates: c2002.
Call Number: TP301.2-532/D489/2001

Musical Score Book

14

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

15

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

16

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

17

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

18

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

19

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

20

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

Narrow Search