1.

電子ブック
ＥＢ
1. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: http://dx.doi.org/10.1007/BFb0014301
2.

電子ブック
ＥＢ
2. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: http://dx.doi.org/10.1007/3-540-55844-6
3.

電子ブック
ＥＢ
3. Methods of Programming : Selected Papers on the CIP-Project
edited by Manfred Broy, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 544
オンライン: http://dx.doi.org/10.1007/BFb0018265
4.

電子ブック
ＥＢ
4. Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
edited by Jan Maluszyński, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 528
オンライン: http://dx.doi.org/10.1007/3-540-54444-5
5.

電子ブック
ＥＢ
5. Algebraic Methods: Theory, Tools and Applications
edited by Martin Wirsing, Jan A. Bergstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 394
オンライン: http://dx.doi.org/10.1007/BFb0015032
6.

電子ブック
ＥＢ
6. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
edited by Robert Cori, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 294
オンライン: http://dx.doi.org/10.1007/BFb0035825
7.

電子ブック
ＥＢ
7. STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings
edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 247
オンライン: http://dx.doi.org/10.1007/BFb0039590