1.

電子ブック
ＥＢ
1. Handbook of Service Description : USDL and Its Methods. 1st ed. 2012
edited by Alistair Barros, Daniel Oberle
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-1864-1
2.

電子ブック
ＥＢ
2. Studies of Software Design : ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers. 1st ed. 1996
edited by David Alex Lamb
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1078
オンライン: https://doi.org/10.1007/BFb0030514
3.

電子ブック
ＥＢ
3. FME '96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. 1st ed. 1996
edited by Marie-Claude Gaudel, James Woodcock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1051
オンライン: https://doi.org/10.1007/3-540-60973-3
4.

電子ブック
ＥＢ
4. ECOOP '95 - Object-Oriented Programming : 9th European Conference, Aarhus, Denmark, August 7 - 11, 1995. Proceedings. 1st ed. 1995
edited by Walter Olthoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 952
オンライン: https://doi.org/10.1007/3-540-49538-X
5.

電子ブック
ＥＢ
5. ECOOP '94 - Object-Oriented Programming : 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings. 1st ed. 1994
edited by Mario Tokoro, Remo Pareschi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 821
オンライン: https://doi.org/10.1007/BFb0052172
6.

電子ブック
ＥＢ
6. ECOOP '93 - Object-Oriented Programming : 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings. 1st ed. 1993
edited by Oscar M. Nierstrasz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 707
オンライン: https://doi.org/10.1007/3-540-47910-4
7.

電子ブック
ＥＢ
7. ECOOP '92. European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29 - July 3, 1992. Proceedings. 1st ed. 1992
edited by Ole Lehrmann Madsen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 615
オンライン: https://doi.org/10.1007/BFb0053026
8.

電子ブック
ＥＢ
8. Next Generation Information System Technology : First International East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990. Procceedings. 1st ed. 1991
edited by Joachim W. Schmidt, Anatoly A. Stogny
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 504
オンライン: https://doi.org/10.1007/3-540-54141-1