著者典拠情報

著者標目形：
Ehrig, Hartmut
属性：
Personal
日付：
1944
から見よ参照形：
Ehrig, H. (Hartmut)
注記：
His Kategorien und Automaten, 1972
His Fundamentals of algebraic specification, c1985- : v. 1, CIP t.p. (H. Ehrig) t.p. verso (Prof. Dr. Hartmut Ehrig; Techn. Univ. Berlin)
著者典拠ID：
DA00014581


1.

図書
図書
1. Unifying Petri nets : advances in Petri nets
Hartmut Ehrig, ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2128
所蔵情報: 図書館
2.

図書
図書
2. Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: 図書館
3.

図書
図書
3. Applications, languages and tools
edited by H Ehrig, G Engels, H-J Kreowski, G Rozenberg
出版情報: Singapore : World Scientific, c1999
シリーズ名: Handbook of graph grammars and computing by graph transformation ; v. 2
所蔵情報: 図書館
4.

図書
図書
4. Concurrency, parallelism, and distribution (: hard)
edited by H Ehrig, H-J Kreowski, U Montanari and G Rozenberg
出版情報: Singapore : World Scientific, c1999
シリーズ名: Handbook of graph grammars and computing by graph transformation ; v. 3
所蔵情報: 図書館
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 : selected papers (: gw ; : us)
Hartmut Ehrig, Fernando Orejas, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 785
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
6.

図書
図書
6. Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings (: Berlin ; : New York)
H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 532
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
7.

図書
図書
7. Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings (: Berlin ; : New York)
H. Ehrig ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 534
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
8.

図書
図書
8. Module specifications and constraints (: us ; : gw)
Ehrig, Hartmut ; Mahr, Bernd
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2
所蔵情報: 図書館
9.

図書
図書
9. Categorical methods in computer science : with aspects from topology (: us ; : gw)
H. Ehrig ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 393
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
10.

図書
図書
10. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館