MPG.eBooks - Search Results - "Berlin"

Cover Image

1

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

2

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

Published 1985

Springer Berlin Heidelberg

Cover Image

3

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

Published 1985

Springer Berlin Heidelberg

Cover Image

4

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

5

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

by Ehrig, Hartmut
Published 2003

Springer Berlin Heidelberg

Cover Image

6

Unifying Petri Nets : Advances in Petri Nets

by Ehrig, Hartmut
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

7

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

8

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

9

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by Brauer, Wilfried
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

10

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

11

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

12

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

by Ehrig, Hartmut
Published 1994

Springer

Cover Image

13

Graph Transformation : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Cover Image

14

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

15

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

16

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

17

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

18

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

19

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

20

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

1
2
3