MPG.eBooks - Search Results

1

Unifying Petri Nets : Advances in Petri Nets

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

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 : Vol...

Published 1985

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

3

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

4

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

5

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

6

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints

by Ehrig, Hartmut, Mahr, Bernd
Published 1990

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

7

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

8

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

9

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics

by Ehrig, Hartmut, Mahr, Bernd
Published 1985

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

10

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

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

11

Fundamentals of Algebraic Graph Transformation

by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

12

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

Subjects: “...Mathematical Logic and Foundations...”

Read Now

13

Categorical Methods in Computer Science : With Aspects from Topology

Published 1989

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

14

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

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

15

Mathematisch-strukturelle Grundlagen der Informatik

by Ehrig, Hartmut, Mahr, Bernd, Cornelius, Felix, Große-Rhode, Martin
Published 1999

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

16

Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

17

Mathematisch-strukturelle Grundlagen der Informatik

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

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

18

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

Published 2012

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

19

Graph Transformations : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Narrow Search