MPG.eBooks - Search Results

Cover Image

1

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

Published 2004

Springer Berlin Heidelberg

Cover Image

2

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

Published 2004

Springer Berlin Heidelberg

Cover Image

3

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

Published 1991

Springer Berlin Heidelberg

Cover Image

4

Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

5

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Found...

Published 1987

Springer Berlin Heidelberg

Cover Image

6

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations o...

Published 1987

Springer Berlin Heidelberg

Cover Image

7

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

Published 1985

Springer Berlin Heidelberg

Cover Image

8

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

Published 2003

Springer Berlin Heidelberg

Cover Image

9

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints

by Ehrig, Hartmut, Mahr, Bernd
Published 1990

Springer Berlin Heidelberg

Cover Image

10

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, 19...

Published 1994

Springer Berlin Heidelberg

Cover Image

11

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics

by Ehrig, Hartmut, Mahr, Bernd
Published 1985

Springer Berlin Heidelberg

Cover Image

12

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

Published 1987

Springer Berlin Heidelberg

Cover Image

13

Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Published 1996

Springer Berlin Heidelberg

Cover Image

14

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

Published 1994

Springer Berlin Heidelberg

Cover Image

15

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

Published 2002

Springer Berlin Heidelberg

Cover Image

16

Unifying Petri Nets : Advances in Petri Nets

Published 2001

Springer Berlin Heidelberg

Cover Image

17

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

Published 2000

Springer Berlin Heidelberg

Cover Image

18

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

Published 2002

Springer Berlin Heidelberg

Cover Image

19

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

Published 1985

Springer Berlin Heidelberg

Cover Image

20

Categorical Methods in Computer Science : With Aspects from Topology

Published 1989

Springer Berlin Heidelberg