Showing
1 - 20
results of
26
for search '
'
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
Tag
Find
Advanced Search
|
Browse
|
Search Tips
Page will reload when a filter is removed.
Applied Filters:
Other:
Remove Filter
Ehrig, Hartmut
Page will reload when a filter is removed.
Show filters (1)
Other:
Remove Filter
Ehrig, Hartmut
Search Results | College of the Holy Cross
Suggested Topics within your search.
Suggested Topics within your search.
Electronic resources (E-books)
26
Software engineering
22
Computer logic
17
Computers
14
Mathematical logic
12
Computer science—Mathematics
8
Data structures (Computer science)
8
Programming languages (Electronic computers)
8
Algorithms
5
Computer programming
5
Discrete mathematics
4
Artificial intelligence
3
Pattern recognition
3
Algebra
2
Combinatorics
2
Computer communication systems
2
Mathematics
2
Applied mathematics
1
Architecture, Computer
1
Category theory (Mathematics)
1
Computer science
1
Database management
1
Engineering mathematics
1
Health informatics
1
Homological algebra
1
K-theory
1
Optical data processing
1
Showing
1 - 20
results of
26
for search '
'
, query time: 0.06s
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
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
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 6
6
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
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
Categorical Methods in Computer Science With Aspects from Topology edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß.
Published 1989
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 12
12
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 13
13
Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa.
Published 2002
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 14
14
Graph Transformations in Computer Science International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings edited by Hans J. Schneider, Hartmut Ehrig.
Published 1994
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 15
15
Petri Net Technology for Communication-Based Systems Advances in Petri Nets edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber.
Published 2003
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 17
17
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 18
18
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
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 19
19
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 20
20
Unifying Petri Nets Advances in Petri Nets edited by Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg.
Published 2001
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
1
2
Next
[2]
Search Tools:
Get RSS Feed
Email this Search
Save Search
Back
Narrow Search
Page will reload when a filter is selected or excluded.
Year of Publication
From:
To:
Format
eBook
26 results
26
Location
E-Resources
26 results
26
Language
English
26 results
26
Library of Congress Call Number
E - United States History
26 results
26
Record Source
FOLIO
26 results
26