ID:DA00014581
Ehrig, H. (Hartmut)
同姓同名の著者を検索
edited by Hartmut Ehrig ... [et al.]
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
: gw , : us
所蔵館51館
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
所蔵館45館
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
H. Ehrig, B. Mahr
Springer-Verlag c1985 EATCS monographs on theoretical computer science v. 6 . Fundamentals of algebraic specification ; v. 1
: U.S. , : Germany
所蔵館49館
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
Springer-Verlag 1983 Lecture notes in computer science 153
edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
Springer-Verlag 1980 Lecture notes in computer science 73
所蔵館2館
Springer-Verlag 1979 Lecture notes in computer science 73
所蔵館57館
Hartmut Ehrig, Manfred Nagl, Hans-Jürgen Schneider
[Friedrich Alexander Universität Erlangen Nürnberg] 1975 Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung Bd. 8, Nr. 1
所蔵館1館