Hans-Jörg Kreowski

H. Kreowski · Hans J. Kreowski · Hans-Jörg · J.K.

Springer Berlin Heidelberg

TitelArtISBN-13Erschei-
nungsjahr
andere Autoren
Algebraic Foundations of Systems SpecificationGebundene Ausgabe978-3-540-63772-11999Egidio Astesiano · Bernd Krieg-Brückner
Algebraic System Specification and Development: A Survey and Annotated BibliographyTaschenbuch978-3-540-54060-11991Michel Bidoit · Pierre Lescanne · Fernando Orejas · Donald Sannella
Categorical Methods in Computer Science: With Aspects from Topology  "978-3-540-51722-11989Hartmut Ehrig · Horst Herrlich · Gerhard Preuß
Dynamics in Logistics: First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings  "978-3-642-09555-92010Hans-Dietrich Haasis · Bernd Scholz-Reiter
Dynamics in Logistics: First International Conference, LDIC 2007, Bremen, Germany, August 2007. ProceedingsGebundene Ausgabe978-3-540-76861-62008Hans-Dietrich Haasis · Bernd Scholz-Reiter
Dynamics in Logistics: Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings  "978-3-642-11995-82011Bernd Scholz-Reiter · Klaus-Dieter Thoben
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th BirthdayTaschenbuch978-3-540-24936-82008Ugo Montanari · Gabriele Taentzer
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings: International ... 4th, 1990  "978-3-540-54478-41991Hartmut Ehrig · Grzegorz Rozenberg
Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings  "978-3-540-44310-02009Andrea Corradini · Grzegorz Rozenberg · Hartmut Ehrig
Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers  "978-3-540-67203-62000Hartmut Ehrig · Gregor Engels

Hans-Jörg Krumpholz