Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-42 of 42 results for author "Ehrig, Hartmut."
Universal theory of automata : a categorical approach / by H. Ehrig ... [et al.].
- Text
- Stuttgart : Teubner, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 76-590 Offsite 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.
- Text
- Berlin ; New York : Springer-Verlag, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text JSE 85-121 Offsite Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig ... [et al.].
- Text
- Berlin ; New York : Springer-Verlag, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 85-998 Offsite Formal methods and software development / Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig ... [et al.].
- Text
- Berlin ; New York : Springer-Verlag, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 85-997 Offsite Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 / H. Ehrig ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2004 Offsite Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.], eds.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-943 Offsite 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.)
- Text
- Berlin : Springer-Verlag, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-985 Offsite Graph transformations in computer science : International Workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig (Eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1348 Offsite 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.)
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1383 Offsite Theory and application of graph transformations : 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers / Hartmut Ehrig ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-797 Offsite Unifying Petri nets : advances in Petri nets / Harmut Ehrig ... [et al.] (eds.)
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 02-194 Offsite Categorical methods in computer science : with aspects from topology / eds., H. Ehrig ... [et al.]
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSF 89-786 Offsite Petri net technology for communication-based systems : advances in Petri nets / Hartmut Ehrig ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2472Item details Format Call Number Item Location Text JSE 04-804 Offsite Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings / Hartmut Ehrig ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 05-142 Offsite Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Ehrig ... [et al.] (eds.).
- Text
- Berlin ; New York, N.Y. : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3147Item details Format Call Number Item Location Text JSE 05-16 Offsite 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.
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1990 Off-site 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.).
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G68 1991g Off-site Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .G725 1994 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1992 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G68 1983 Off-site Theory and application of graph transformations : 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, selected papers / Harmut Ehrig[and others], eds.
- Text
- Berlin ; London : Springer, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .T441 2000g Off-site Unifying Petri nets : advances in Petri nets / Harmut Ehrig [and others] (eds.)
- Text
- Berlin ; London : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA267 .U545 2001g Off-site Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 / edited by Hartmut Ehrig [and others].
- Text
- Berlin ; New York : Springer-Verlag, [1985], ©1985.
- 1985-1985
- 2 Items
Item details Format Call Number Item Location Text QA76.76.D47 I57 1985 v.2 Off-site Item details Format Call Number Item Location Text QA76.76.D47 I57 1985 v.1 Off-site 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.).
- Text
- Berlin ; New York, N.Y. : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I55 2004g Off-site 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.).
- Text
- Berlin ; New York : Springer, [2005], ©2005.
- 2005-2005
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.9.F67 F66 2005g Off-site 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 [and others].
- Text
- Berlin ; New York : Springer-Verlag, [1987], ©1987.
- 1987-1987
- 2 Items
Item details Format Call Number Item Location Text QA76.76.D47 I58 1987 v.2 Off-site Item details Format Call Number Item Location Text QA76.76.D47 I58 1987 v.1 Off-site Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 / H. Ehrig [and others], (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1987], ©1987.
- 1987-1987
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G68 1987 Off-site Graph transformations : 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 : proceedings / Hartmut Ehrig [and others] (eds.).
- Text
- Berlin ; New York : Springer, 2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .I34 2008g Off-site Categorical methods in computer science : with aspects from topology / eds., H. Ehrig and others.
- Text
- Berlin ; New York : Springer-Verlag, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA75.5 C36 1989 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G7 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G68 1983 Off-site Formal methods and software development / Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig ... [et al.].
- Text
- Berlin ; New York : Springer-Verlag, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I57 1985 vol.2 Off-site Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : [proceedings] / H. Ehrig ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G68 1987 Off-site Categorical methods in computer science : with aspects from topology / eds., H. Ehrig ... et al.
- Text
- Berlin ; New York : Springer-Verlag, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA75.5 C36 1989 Off-site 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.)
- Text
- Berlin ; New York : Springer-Verlag, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G736 1991 Off-site Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .G725 1994 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1992 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G68 1983 Off-site 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 ... [et al.].
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I58 1987 Off-site Categorical methods in computer science : with aspects from topology / eds., H. Ehrig ... <et al.>.
- Text
- Berlin ; New York : Springer-Verlag, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA75.5 C36 1989 Off-site 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.).
- Text
- Berlin ; New York : Springer-Verlag, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .G736 1991 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A23 W67 1992 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
