MPG.eBooks - Search Results

Cover Image

1

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

by Ehrig, Hartmut
Published 2000

Springer Berlin Heidelberg

Cover Image

3

Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings

by Corradini, Andrea
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

4

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Unifying Petri Nets : Advances in Petri Nets

by Ehrig, Hartmut
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

6

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by Brauer, Wilfried
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

7

Mathematisch-strukturelle Grundlagen der Informatik

by Ehrig, Hartmut, Mahr, Bernd, Cornelius, F., Große-Rhode, Martin
Published 2001

Springer Berlin Heidelberg

Cover Image

8

Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986

by Ehrig, Hartmut
Published 1987

Springer

Cover Image

9

Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings

by Ehrig, Hartmut
Published 1994

Springer

Cover Image

10

Mathematical Foundations of Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1...

by Ehrig, Hartmut
Published 1985

Springer

Cover Image

11

Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

by Ehrig, Hartmut
Published 1985

Springer

Cover Image

12

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992...

by Ehrig, Hartmut
Published 1994

Springer

Cover Image

13

Graph-Grammars and Their Application to Computer Science and Biology : International Workshop Bad Honnef, October 30 – November 3, 1978

by Claus, Volker
Published 1979

Springer

Cover Image

14

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

by Ehrig, Hartmut
Published 1987

Springer

Cover Image

15

Graph Grammars and Their Application to Computer Science : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings

by Ehrig, Hartmut
Published 1991

Springer

Cover Image

16

Graph-Grammars and Their Application to Computer Science : 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982

by Ehrig, Hartmut
Published 1983

Springer

Cover Image

17

TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

by Ehrig, Hartmut
Published 1987

Springer

Cover Image

18

Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers

by Cuny, Janice
Published 1996

Springer

Cover Image

19

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets

by Ehrig, Hartmut
Published 2003

Springer Berlin Heidelberg