|
Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)
by
3.50 avg rating — 2 ratings
—
published
1998
—
2 editions
|
|
|
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)
by
really liked it 4.00 avg rating — 1 rating
—
published
2011
|
|
|
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science (2300))
by
liked it 3.00 avg rating — 1 rating
—
published
2008
—
2 editions
|
|
|
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION
by
it was ok 2.00 avg rating — 1 rating
—
published
1999
|
|
|
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
by
0.00 avg rating — 0 ratings
—
published
2011
|
|
|
Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science Book 3256)
by
0.00 avg rating — 0 ratings
|
|
|
Categorical Methods in Computer Science: With Aspects from Topology
by
|
|
|
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... on Trees in Algebra and Programming (CAAP'85)
by
0.00 avg rating — 0 ratings
|
|
|
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
by
0.00 avg rating — 0 ratings
|
|
|
Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
by
0.00 avg rating — 0 ratings
|
|
|
Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
by
0.00 avg rating — 0 ratings
|
|
|
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
by
0.00 avg rating — 0 ratings
—
published
1991
—
4 editions
|
|
|
Kategorien und Automate (De Gruyter Lehrbuch)
by
|
|
|
Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)
by
0.00 avg rating — 0 ratings
—
published
2015
—
3 editions
|
|
|
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science (2472))
by
0.00 avg rating — 0 ratings
—
published
2003
—
3 editions
|
|
|
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series Book 21)
by
0.00 avg rating — 0 ratings
—
published
1989
|
|
|
Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
by
0.00 avg rating — 0 ratings
—
published
2012
|
|
|
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... (Lecture Notes in Computer Science, 185)
by
0.00 avg rating — 0 ratings
—
published
1985
—
2 editions
|
|
|
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
by
0.00 avg rating — 0 ratings
—
published
2006
—
5 editions
|
|
|
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (Lecture Notes in Computer Science, 250)
by
0.00 avg rating — 0 ratings
—
published
1987
—
4 editions
|
|
|
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) ... (Lecture Notes in Computer Science, 3147)
by
0.00 avg rating — 0 ratings
—
published
2004
—
4 editions
|
|
|
Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings (Lecture Notes in Computer Science, 5214)
by
0.00 avg rating — 0 ratings
—
published
2008
—
4 editions
|
|
|
Fundamentals of Algebraic Specifications 2: Module Specification and Constraints (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
by
0.00 avg rating — 0 ratings
—
published
1989
—
3 editions
|
|
|
Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 : Advance (Lecture Notes in Computer Science)
by
0.00 avg rating — 0 ratings
|
|
|
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186)
by
0.00 avg rating — 0 ratings
—
published
1985
—
3 editions
|
|
|
Recent Trends in Data Type Specification
by
0.00 avg rating — 0 ratings
—
published
1991
—
6 editions
|
|
|
Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science, 393)
by
0.00 avg rating — 0 ratings
—
published
1989
—
2 editions
|
|
|
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)
by
0.00 avg rating — 0 ratings
—
published
1985
—
3 editions
|
|
|
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... '87) (Lecture Notes in Computer Science, 249)
by
0.00 avg rating — 0 ratings
—
published
1987
—
3 editions
|
|
|
Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 (Lecture Notes in Computer Science, 291)
by
0.00 avg rating — 0 ratings
—
published
1987
—
3 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.