1.

電子ブック
ＥＢ
1. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
2.

電子ブック
ＥＢ
2. Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings
edited by Franz J. Brandenburg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1027
オンライン: http://dx.doi.org/10.1007/BFb0021783
3.

電子ブック
ＥＢ
3. Graph Drawing : Symposium on Graph Drawing, GD'95; Passau, Germany, September 20-22, 1995. Proceedings. 1st ed. 1996
edited by Franz Brandenburg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1027
オンライン: https://doi.org/10.1007/BFb0021783
4.

電子ブック
ＥＢ
4. Formal Development of Reactive Systems : Case Study Production Cell
edited by Claus Lewerentz, Thomas Lindner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 891
オンライン: http://dx.doi.org/10.1007/3-540-58867-1
5.

電子ブック
ＥＢ
5. Graph Drawing : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10–12, 1994 Proceedings
edited by Roberto Tamassia, Ioannis G. Tollis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 894
オンライン: http://dx.doi.org/10.1007/3-540-58950-3
6.

電子ブック
ＥＢ
6. Field-Programmable Logic and Applications : 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings. 1st ed. 1995
edited by Will Moore, Wayne Luk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 975
オンライン: https://doi.org/10.1007/3-540-60294-1
7.

電子ブック
ＥＢ
7. High-Performance Computing and Networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995. Proceedings. 1st ed. 1995
edited by Bob Hertzberger, Giuseppe Serazzi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 919
オンライン: https://doi.org/10.1007/BFb0046600
8.

電子ブック
ＥＢ
8. Formal Development of Reactive Systems : Case Study Production Cell. 1st ed. 1995
edited by Claus Lewerentz, Thomas Lindner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 891
オンライン: https://doi.org/10.1007/3-540-58867-1
9.

電子ブック
ＥＢ
9. Parallel, Distributed and Multiagent Production Systems
by Toru Ishida
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 878
オンライン: http://dx.doi.org/10.1007/3-540-58698-9
10.

電子ブック
ＥＢ
10. Parallel, Distributed and Multiagent Production Systems. 1st ed. 1994
edited by Toru Ishida
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 878
オンライン: https://doi.org/10.1007/3-540-58698-9