Your search returned 23 results.

Not what you expected? Check for suggestions
1.
Kategorien und Automaten / von Hartmut Ehrig; Michael Pfender und von Studenten der Mathematik und Informatik.

by Ehrig, Hartmut | Pfender, Michael.

Publisher: Berlin [u.a.] : de Gruyter, 1972Online access: table of contents Availability: Items available for loan: Library (1). Location(s): Computer Science History 512.
2.
Unifying petri nets : advances in petri nets / H. Ehrig [and others], eds.

by Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Ehrig [and others] (eds.).

by Ehrig, Hartmut | Deutsche Forschungsgemeinschaft | INT 2004 (2004 : Barcelona, Spain).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: Priority Program SoftSpez of the German Research Foundation (DFG) | Priority Program SoftSpez.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Petri net technology for communication-based systems : advances in Petri nets / Hartmut Ehrig [and others], eds.

by Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Theory and application of graph transformations : 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers / Hartmut Ehrig [and others] (eds.).

by Ehrig, Hartmut | International Workshop on Theory and Applications of Graph Transformation (6th : 1998 : Paderborn, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski [and others] (eds.).

by Ehrig, Hartmut | Kreowski, H.-J. (Hans-Jörg).

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Graph transformations : 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 : proceedings / Hartmut Ehrig [and others] (eds.).

by ICGT 2008 (2008 : Leicester, England) | Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.).

by Ehrig, Hartmut | Kreowski, H.-J. (Hans-Jörg) | Rozenberg, Grzegorz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
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, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.).

by Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain) | Ehrig, Hartmut | Orejas, F. (Fernando) | COMPASS Workshop (4th : 1992 : Caldes de Malavella, Spain).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : proceedings, Wusterhausen/Dosse, Germany, April 17-20, 1990 / H. Ehrig [and others] (eds.).

by Workshop on Specification of Abstract Data Types (7th : 1990 : Wusterhausen, Brandenburg, Germany) | Ehrig, Hartmut [editor.] | Jantke, K. P. (Klaus P.) [editor.] | Orejas, F. (Fernando) [editor.] | Reichel, Horst [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg.

by Claus, Volker, 1944- | Ehrig, Hartmut | Rozenberg, Grzegorz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig [and others].

by Colloquium on Trees in Algebra and Programming (10th : 1985 : Berlin, Germany) | Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.).

by Schneider, Hans-Jürgen | Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Graph transformations : 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27-October 2, 2010 : proceedings / Hartmut Ehrig [and others] (eds.).

by ICGT 2010 (2010 : Enschede, Netherlands) | Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: ICGT 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg.

by Ehrig, Hartmut | Nagl, Manfred, 1944- | Rozenberg, Grzegorz | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jrg Kreowski, Grzegorz Rozenberg.

by Corradini, Andrea | Ehrig, Hartmut | Kreowski, Hans -Jrg | Rozenberg, Grzegorz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Graph transformations : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / Hartmut Ehrig [and others] (eds.).

by ICGT (Conference) (6th : 2012 : Bremen, Germany) | Ehrig, Hartmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: ICGT 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2-6, 1986 / edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld.

by Ehrig, Hartmut | Nagl, Manfred | Rozenberg, Grzegorz | Rosenfeld, Azriel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1987Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari.

by International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy) | Ehrig, Hartmut | Kowalski, Robert | Levi, Giorgio | Montanari, Ugo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1987-Online access: Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Categorical Methods in Computer Science With Aspects from Topology / edited by H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preuss.

by Ehrig, Hartmut | Herrlich, Horst | Kreowski, H.-J. (Hans-Jörg) | Preuss, G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha