Search alternatives:
springer finance » einer finance, merger finance, pardner finance
springer science » stronger science, spring resilience, river science
springer wrangle » springer springe
wrangle business » oracle business, change business, france business
using model » ising model, using mobile
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM...”
Cover Image
Read Now

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... expressions and its use for graph rewriting systems -- On context-free sets of graphs and their monadic second...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... and single pushouts -- The logical expression of graph properties -- Panel discussion: The use of graph...”
Cover Image
Read Now

4
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Software Evolution -- On the Use of Alloy to Analyze Graph Transformation Systems -- Model-Driven...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED...”
Cover Image
Read Now

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

7
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

8
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of Hierarchical Broadcasting Software Architectures Using UML 2.0 -- An Engineer’s Workstation to Support...”
Cover Image
Read Now

9
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... Generator -- Software construction using typed fragments -- Graph grammar engineering: A method used...”
Cover Image
Read Now

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Semantical Correctness and Completeness of Model Transformations Using Graph and Rule...”
Cover Image
Read Now

11
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software...”
Cover Image
Read Now

12
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Transformation Systems -- Model Checking Graph Transformations: A Comparison of Two Approaches -- Graph Theory...”
Cover Image
Read Now

13
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... for Integrating Information from the WWW -- A Model Making Automation Process (MMAP) Using a Graph Grammar...”
Cover Image
Read Now

14
by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...”