Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Objects -- Modelling Constrained Geometric Objects with OBJSA Nets -- An Object-Based Modular CPN Approach...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... graph grammars -- Tutorial introduction to the algebraic approach of graph grammars based on double...”
Cover Image
Read Now

4
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... with an Error-Correcting Approach -- Computational Completeness of Tissue P Systems with Conditional Uniport...”
Cover Image
Read Now

5
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and DNA -- A Supramolecular Approach to Metal Array Programming Using Artificial DNA -- Multicomponent...”
Cover Image
Read Now

6
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... of proofsystems for partial correctness of CSP -- Logic programming: The foundations, the approach and the role...”
Cover Image
Read Now

7
Published 2014
Springer International Publishing
Table of Contents: “... Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane...”
Cover Image
Read Now

8
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...A partial algebras approach to graph transformation -- The contractum in algebraic graph rewriting...”
Cover Image
Read Now

9
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- A Framework for Adding Packages to Graph Transformation Approaches -- Refinements of Graph...”
Cover Image
Read Now

10
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Formal Models -- Composing Snippets -- A Programming Approach to the Design of Asynchronous Logic...”
Cover Image
Read Now

11
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... the Mysteries of DNA -- Formal Modelling of C. elegans Development. A Scenario-Based Approach -- P Systems...”
Cover Image
Read Now

12
by Paun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto
Published 1998
Springer Berlin Heidelberg
“...This is the first text and monograph about DNA computing, a molecular approach that might...”
Cover Image
Read Now

13
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Approach to Learning from Structured Data -- Rational Models of Cognitive Control -- Fault-Tolerance...”
Cover Image
Read Now

14
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Model checking timed automata -- On modeling real-time task systems -- A modular approach...”
Cover Image
Read Now

15
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach...”
Cover Image
Read Now

16
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- BASYSNET – An Integrated Approach for Automated Control System Development -- The Electronic Tool...”
Cover Image
Read Now

17
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... to Biological Phenomena -- An Approach to Computational Complexity in Membrane Computing -- LMNtal: A Language...”
Cover Image
Read Now

18
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Systems and Genomics: A Preliminary Approach -- Probabilistic P Systems -- Decision P Systems and the P?NP...”
Cover Image
Read Now

19
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Tutorial introduction to the algebraic approach of graph grammars -- May we introduce to you...”
Cover Image
Read Now

20
Published 2019
Springer International Publishing
Table of Contents: “... Optic Flow -- Testing Identifiable Kernel P Systems using an X-machine Approach -- Actor-like cP Systems...”