Hartmut Ehrig | Booky.fi

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 €

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 €

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Hartmut Ehrig; Bernd Mahr
Springer
1985
Kovakantinen kirja

83,30 €

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 €

Unifying Petri Nets - Advances in Petri Nets

Ehrig, Hartmut; Juhas, Gabriel; Padberg, Julia; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

51,40 €

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

Ehrig, Hartmut; Kowalski, Robert; Levi, Giorgio; Montanari, Ugo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1987
Pehmeäkantinen kirja

36,40 €

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

Ehrig, Hartmut; Jantke, Klaus P.; Orejas, Fernando; Reichel, Horst
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1991
Pehmeäkantinen kirja

51,40 €

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

Ehrig, Hartmut; Kreowski, Hans-Jörg; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1991
Pehmeäkantinen kirja

101,40 €

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

Ehrig, Hartmut; Nagl, Manfred; Rozenberg, Grzegorz; Rosenfeld, Azriel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1987
Pehmeäkantinen kirja

101,40 €

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

Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1985
Pehmeäkantinen kirja

41,40 €

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

Ehrig, Hartmut; Kowalski, Robert A.; Levi, Giorgio; Montanari, Ugo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1987
Pehmeäkantinen kirja

36,40 €

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

Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1985
Pehmeäkantinen kirja

48,40 €

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

Ehrig, Hartmut; Orejas, Fernando
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1994
Pehmeäkantinen kirja

51,40 €

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

Ehrig, Hartmut; Reisig, Wolfgang; Rozenberg, Grzegorz; Weber, Herbert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

51,40 €

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

Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,40 €

Categorical Methods in Computer Science - With Aspects from Topology

Ehrig, Hartmut; Herrlich, Horst; Kreowski, Hans-Jorg; Preus, Gerhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1989
Pehmeäkantinen kirja

51,40 €

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

Ehrig, Hartmut; Damm, Werner; Desel, Jörg; Große-Rhode, Martin; Reif, Wolfgang; Schnieder, Eckehard; Westkämper, Engelbert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,40 €

Graph Transformations - 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Ehrig, Hartmut; Heckel, Reiko; Rozenberg, Grzegorz; Taentzer, Gabriele
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
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
1989
Kovakantinen kirja

51,40 €