Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Conformon P Systems and Topology of Information Flow -- Formal Verification and Testing Based on P Systems...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Gravitational Topological Quantum Computation -- Computation in Sofic Quantum Dynamical Systems -- Bond...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Transformation for Topology Modelling -- Execution of Graph Transformations -- Embedding and Confluence of Graph...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model...”