1.

電子ブック
ＥＢ
1. Parallel Virtual Machine - EuroPVM'96 : Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings. 1st ed. 1996
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1156
オンライン: https://doi.org/10.1007/3-540-61779-5
2.

電子ブック
ＥＢ
2. Automated Deduction in Equational Logic and Cubic Curves. 1st ed. 1996
by William McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1095
オンライン: https://doi.org/10.1007/3-540-61398-6
3.

電子ブック
ＥＢ
3. Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings. 1st ed. 1995
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: https://doi.org/10.1007/3-540-60164-3
4.

電子ブック
ＥＢ
4. Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings. 1st ed. 1992
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 598
オンライン: https://doi.org/10.1007/3-540-55511-0
5.

電子ブック
ＥＢ
5. CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. 1st ed. 1990
edited by Andre Arnold
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 431
オンライン: https://doi.org/10.1007/3-540-52590-4