1
Published 1989
Springer Berlin Heidelberg
Subjects: ...Compilers (Computer programs)...

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

3
Published 1999
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

4
Published 1985
Springer Berlin Heidelberg
Subjects: ...Software engineering...

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

6
Published 1991
Springer Berlin Heidelberg
Subjects: ...Computer networks ...

7
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... in the Single-Pushout-Approach -- Systematisches Testen sicherheitsrelevanter Software—Methoden, Verfahren und...

8
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques...