1.

電子ブック
ＥＢ
1. Algorithmic Number Theory : Second International Symposium, ANTS-II Talence, France, May 18–23, 1996 Proceedings
edited by Henri Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1122
オンライン: http://dx.doi.org/10.1007/3-540-61581-4
2.

電子ブック
ＥＢ
2. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
edited by Jacques Calmet, Carla Limongelli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1128
オンライン: http://dx.doi.org/10.1007/3-540-61697-7
3.

電子ブック
ＥＢ
3. Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1138
オンライン: http://dx.doi.org/10.1007/3-540-61732-9
4.

電子ブック
ＥＢ
4. Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science : Second International Workshop, PARA '95 Lyngby, Denmark, August 21–24, 1995 Proceedings
edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1041
オンライン: http://dx.doi.org/10.1007/3-540-60902-4
5.

電子ブック
ＥＢ
5. Advances in Cryptology — EUROCRYPT ’96 : International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12–16, 1996 Proceedings
edited by Ueli Maurer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1996
シリーズ名: Lecture Notes in Computer Science ; 1070
オンライン: http://dx.doi.org/10.1007/3-540-68339-9
6.

電子ブック
ＥＢ
6. Fast Software Encryption : Second International Workshop Leuven, Belgium, December 14–16, 1994 Proceedings
edited by Bart Preneel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1008
オンライン: http://dx.doi.org/10.1007/3-540-60590-8
7.

電子ブック
ＥＢ
7. Parallel Scientific Computing : First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
edited by Jack Dongarra, Jerzy Waśniewski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 879
オンライン: http://dx.doi.org/10.1007/BFb0030129
8.

電子ブック
ＥＢ
8. The Traveling Salesman : Computational Solutions for TSP Applications
by Gerhard Reinelt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 840
オンライン: http://dx.doi.org/10.1007/3-540-48661-5
9.

電子ブック
ＥＢ
9. Visualization of Scientific Parallel Programs
edited by Gerald Tomas, Christoph W. Ueberhuber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 771
オンライン: http://dx.doi.org/10.1007/3-540-57738-6
10.

電子ブック
ＥＢ
10. Algorithms—ESA '93 : First Annual European Symposium Bad Honnef, Germany September 30–October 2, 1993 Proceedings
edited by Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 726
オンライン: http://dx.doi.org/10.1007/3-540-57273-2
11.

電子ブック
ＥＢ
11. Computer Algebra and Parallelism : Second International Workshop Ithaca, USA, May 9–11, 1990 Proceedings
edited by Richard E. Zippel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 584
オンライン: http://dx.doi.org/10.1007/3-540-55328-2
12.

電子ブック
ＥＢ
12. Eurocal '87 : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
edited by James H. Davenport
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 378
オンライン: http://dx.doi.org/10.1007/3-540-51517-8
13.

電子ブック
ＥＢ
13. Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
edited by J. L. A. Snepscheut
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 375
オンライン: http://dx.doi.org/10.1007/3-540-51305-1