close
1.

図書
図書
1. Universal theory of automata : a categorical approach
by H. Ehrig ... [et al.]
出版情報: Stuttgart : Teubner, 1974
シリーズ名: Teubner Studienbucher. Informatik
所蔵情報: loading…
2.

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

図書
図書
3. 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
所蔵情報: loading…
4.

図書
図書
4. Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2
所蔵情報: loading…
5.

図書
図書
5. Formal methods and software development : Colloquium on Software Engineering (CSE) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985
シリーズ名: Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
所蔵情報: loading…
6.

図書
図書
6. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 (: gw ; : us)
H. Ehrig ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 291
所蔵情報: loading…
7.

図書
図書
7. Equations and initial semantics (: U.S. ; : Germany)
H. Ehrig, B. Mahr
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: EATCS monographs on theoretical computer science ; v. 6 . Fundamentals of algebraic specification ; v. 1
所蔵情報: loading…
8.

図書
図書
8. Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
所蔵情報: loading…
9.

図書
図書
9. Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 (: gw ; : us)
edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 73
所蔵情報: loading…
10.

図書
図書
10. Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (: gw ; : us)
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: loading…