Hartmut Ehrig | Akateeminen Kirjakauppa

Fundamentals of Algebraic Graph Transformation

Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

121,40 €

Mathematisch-strukturelle Grundlagen der Informatik

Ehrig, Hartmut; Mahr, Bernd; Cornelius, F.; Große-Rhode, Martin; Zeitz, P.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

38,70 €

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

Ehrig, Hartmut; Kreowski, Hans-Jörg; Rozenberg, Grzegorz
Springer
1991
Pehmeäkantinen kirja

101,40 €

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice

Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
Springer
1985
Pehmeäkantinen kirja

41,40 €

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

Ehrig, Hartmut; Reisig, Wolfgang; Rozenberg, Grzegorz; Weber, Herbert
Springer
2003
Pehmeäkantinen kirja

51,40 €

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS

Ehrig, Hartmut; Orejas, Fernando
Springer
1994
Pehmeäkantinen kirja

51,40 €

Fundamentals of Algebraic Graph Transformation

Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Kovakantinen kirja

121,40 €

Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse,

Ehrig, Hartmut; Jantke, Klaus P.; Orejas, Fernando; Reichel, Horst
Springer
1991
Pehmeäkantinen kirja

51,40 €

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of

Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
Springer
1985
Pehmeäkantinen kirja

48,40 €

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

Corradini, Andrea; Ehrig, Hartmut; Kreowski, Hans-Jörg; Rozenberg, Grzegorz
Springer
2002
Pehmeäkantinen kirja

51,40 €

Fundamentals of Algebraic Specification 2 - Module Specifications and Constraints

Ehrig, Hartmut; Mahr, Bernd
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,40 €

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Hartmut Ehrig; Bernd Mahr
Springer
1985
Kovakantinen kirja

83,30 €

Unifying Petri Nets : Advances in Petri Nets

Ehrig, Hartmut; Juhas, Gabriel; Padberg, Julia; Rozenberg, Grzegorz
Springer
2001
Pehmeäkantinen kirja

51,40 €

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy,

Ehrig, Hartmut; Kowalski, Robert; Levi, Giorgio; Montanari, Ugo
Springer
1987
Pehmeäkantinen kirja

36,40 €

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

Ehrig, Hartmut; Nagl, Manfred; Rozenberg, Grzegorz; Rosenfeld, Azriel
Springer
1987
Pehmeäkantinen kirja

101,40 €

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy,

Ehrig, Hartmut; Kowalski, Robert A.; Levi, Giorgio; Montanari, Ugo
Springer
1987
Pehmeäkantinen kirja

36,40 €

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

Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz
Springer
2000
Pehmeäkantinen kirja

51,40 €

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

Ehrig, Hartmut; Engels, Gregor; Parisi-Presicce, Francesco; Rozenberg, Grzegorz
Springer
2004
Pehmeäkantinen kirja

51,40 €

Categorical Methods in Computer Science : With Aspects from Topology

Ehrig, Hartmut; Herrlich, Horst; Kreowski, Hans-Jörg; Preuß, Gerhard
Springer
1989
Pehmeäkantinen kirja

51,40 €

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German

Ehrig, Hartmut; Damm, Werner; Desel, Jörg; Große-Rhode, Martin; Reif, Wolfgang; Schnieder, Eckehard; Westkämper, Engelbert
Springer
2004
Pehmeäkantinen kirja

51,40 €