Showing
1 - 26
results of
26
for search '
Ehrig, Hartmut
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Ehrig, Hartmut
Showing
1 - 26
results of
26
for search '
Ehrig, Hartmut
'
, query time: 0.08s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Fundamentals of Algebraic Specification 1 Equations and Initial Semantics by Hartmut Ehrig, Bernd Mahr.
by
Ehrig, Hartmut
,
Mahr, Bernd
Published 1985
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Fundamentals of Algebraic Specification 2 Module Specifications and Constraints by Hartmut Ehrig, Bernd Mahr.
by
Ehrig, Hartmut
,
Mahr, Bernd
Published 1990
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Fundamentals of Algebraic Graph Transformation by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer.
by
Ehrig, Hartmut
,
Ehrig, Karsten
,
Prange, Ulrike
,
Taentzer, Gabriele
Published 2006
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Graph and Model Transformation General Framework and Applications by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann.
by
Ehrig, Hartmut
,
Ermel, Claudia
,
Golas, Ulrike
,
Hermann, Frank
Published 2015
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
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... edited by Hartmut Ehrig, Fernando Orejas.
Published 1994
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Graph Transformations in Computer Science International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings edited by Hans J. Schneider, Hartmut Ehrig.
Published 1994
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Graph Grammars and Their Application to Computer Science 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings edited by Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg.
Published 1991
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Graph Grammars and Their Application to Computer Science 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg.
Published 1996
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Petri Net Technology for Communication-Based Systems Advances in Petri Nets edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber.
Published 2003
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1... edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Published 1985
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr.
Published 2010
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 12
12
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer.
Published 2008
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 13
13
Unifying Petri Nets Advances in Petri Nets edited by Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg.
Published 2001
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 14
14
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.
Published 1987
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 15
15
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 Volume 1: Advanced Seminar on Foundations of... edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari.
Published 1987
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 16
16
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volum... edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Published 1985
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 17
17
Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg.
Published 2002
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 18
18
Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel.
Published 1991
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 19
19
Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg.
Published 2000
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 20
20
Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg.
Published 2012
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 21
21
Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa.
Published 2002
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 22
22
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 Volume 2: Advanced Seminar on Foundat... edited by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari.
Published 1987
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 23
23
Categorical Methods in Computer Science With Aspects from Topology edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß.
Published 1989
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 24
24
Graph Transformations Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg.
Published 2004
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 25
25
Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.
Published 2006
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 26
26
Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG) Final Report edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper.
Published 2004
Other Authors:
“…
Ehrig, Hartmut
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Electronic resources (E-books)
Software engineering
Computer logic
Computers
Mathematical logic
Computer science—Mathematics
Data structures (Computer science)
Programming languages (Electronic computers)
Algorithms
Computer programming
Discrete mathematics
Artificial intelligence
Pattern recognition
Algebra
Combinatorics
Computer communication systems
Mathematics
Applied mathematics
Architecture, Computer
Category theory (Mathematics)
Computer science
Database management
Engineering mathematics
Health informatics
Homological algebra
K-theory
Optical data processing