1
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... controlled rewriting mechanisms for table Lindenmayer systems -- 3. Images from the Path: Computer Graphics...

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... based specification of interconnection structures for massively parallel computation -- Towards...

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... functions defined by schemes -- Graphic equivalence and computer optimization -- Graph grammars and logic...

4
Published 1986
Springer Berlin Heidelberg
Table of Contents: ...Computer science in industry -- Dataflow and education: Data-driven and demand-driven distributed...

5
Published 1999
Springer Berlin Heidelberg
Subjects: ...Computer Communication Networks...

6
Published 2002
Springer Berlin Heidelberg
Subjects: ...Computation by Abstract Devices...

7
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...24. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri...

8
Published 2003
Springer Berlin Heidelberg
Subjects: ...Computer Communication Networks...

9
Published 2001
Springer Berlin Heidelberg
Subjects: ...Computer Communication Networks...

10
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling...

11
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... and Algorithms -- Election, Naming and Cellular Edge Local Computations -- Embedding in Switching Classes...

12
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... composition of graph grammar productions -- The decomposition of ESM computations -- Formal relationship...

13
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net...

14
Published 1987
Springer Berlin Heidelberg
Subjects: ...Computer Communication Networks...

15
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Interference -- Software Verification of Biomolecular Systems -- Kinetic Modelling as a Modern Technology...

16
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller...