1.

電子ブック
ＥＢ
1. 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. 1st ed. 1994
edited by Hartmut Ehrig, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 785
オンライン: https://doi.org/10.1007/3-540-57867-6
2.

電子ブック
ＥＢ
2. Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 534
オンライン: https://doi.org/10.1007/3-540-54496-8
3.

電子ブック
ＥＢ
3. Categorical Methods in Computer Science : With Aspects from Topology. 1st ed. 1989
edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 393
オンライン: https://doi.org/10.1007/3-540-51722-7
4.

電子ブック
ＥＢ
4. Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. 1st ed. 1987
edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 291
オンライン: https://doi.org/10.1007/3-540-18771-5
5.

電子ブック
ＥＢ
5. 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 Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP). 1st ed. 1987
edited by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 250
オンライン: https://doi.org/10.1007/BFb0014968
6.

電子ブック
ＥＢ
6. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). 1st ed. 1985
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 185
オンライン: https://doi.org/10.1007/3-540-15198-2
7.

電子ブック
ＥＢ
7. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE). 1st ed. 1985
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 186
オンライン: https://doi.org/10.1007/3-540-15199-0