1.

電子ブック
ＥＢ
1. Progress in Evolutionary Computation : AI '93 and AI '94 Workshops on Evolutionary Computation Melbourne, Victoria, Australia, November 16, 1993 Armidale, NSW, Australia, November 21–22, 1994 Selected Papers
edited by Xin Yao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 956
オンライン: http://dx.doi.org/10.1007/3-540-60154-6
2.

電子ブック
ＥＢ
2. Algorithms and Computations : 6th International Symposium, ISAAC '95 Cairns, Australia, December 4–6, 1995 Proceedings
edited by John Staples, Peter Eades, Naoki Katoh, Alistair Moffat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1004
オンライン: http://dx.doi.org/10.1007/BFb0015401
3.

電子ブック
ＥＢ
3. Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism
edited by Josyula Ramachandra Rao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 908
オンライン: http://dx.doi.org/10.1007/3-540-59173-7
4.

電子ブック
ＥＢ
4. Advances in Intelligent Computing — IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4–8, 1994 Selected Papers
edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 945
オンライン: http://dx.doi.org/10.1007/BFb0035932
5.

電子ブック
ＥＢ
5. Information Theory and Applications : Third Canadian Workshop Rockland, Ontario, Canada, May 30 – June 2, 1993 Proceedings
edited by T. Aaron Gulliver, Norman P. Secord
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 793
オンライン: http://dx.doi.org/10.1007/3-540-57936-2
6.

電子ブック
ＥＢ
6. Distributed Programming Paradigms with Cryptography Applications
edited by Jonathan S. Greenfield
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 870
オンライン: http://dx.doi.org/10.1007/BFb0017590
7.

電子ブック
ＥＢ
7. 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
8.

電子ブック
ＥＢ
8. Algorithms and Computation : 4th International Symposium, ISAAC '93 Hong Kong, December 15–17, 1993 Proceedings
edited by K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 762
オンライン: http://dx.doi.org/10.1007/3-540-57568-5
9.

電子ブック
ＥＢ
9. Algorithm Theory — SWAT '92 : Third Scandinavian Workshop on Algorithm Theory Helsinki, Finland, July 8–10, 1992 Proceedings
edited by Otto Nurmi, Esko Ukkonen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 621
オンライン: http://dx.doi.org/10.1007/3-540-55706-7
10.

電子ブック
ＥＢ
10. Algorithms and Computation : Third International Symposium, ISAAC'92 Nagoya, Japan, December 16–18, 1992 Proceedings
edited by Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 650
オンライン: http://dx.doi.org/10.1007/3-540-56279-6
11.

電子ブック
ＥＢ
11. Uncertainty in Knowledge Bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90 Paris, France, July 2–6, 1990 Proceedings
edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 521
オンライン: http://dx.doi.org/10.1007/BFb0028090
12.

電子ブック
ＥＢ
12. Algorithms and Data Structures : 2nd Workshop, WADS '91 Ottawa, Canada, August 14–16, 1991 Proceedings
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 519
オンライン: http://dx.doi.org/10.1007/BFb0028243
13.

電子ブック
ＥＢ
13. Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
edited by Jan Vytopil
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 571
オンライン: http://dx.doi.org/10.1007/3-540-55092-5
14.

電子ブック
ＥＢ
14. ISA'91 Algorithms : 2nd International Symposium on Algorithms Taipei, Republic of China, December 16–18, 1991 Proceedings
edited by Wen-Lian Hsu, R. C. T. Lee
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 557
オンライン: http://dx.doi.org/10.1007/3-540-54945-5
15.

電子ブック
ＥＢ
15. Advances in Cryptology — CRYPTO’ 88 : Proceedings
edited by Shafi Goldwasser
出版情報: New York, NY : Springer-Verlag Berlin Heidelberg, 1990
シリーズ名: Lecture Notes in Computer Science ; 403
オンライン: http://dx.doi.org/10.1007/0-387-34799-2
16.

電子ブック
ＥＢ
16. A Methodology for Uncertainty in Knowledge-Based Systems
by Kurt Weichselberger, Sigrid Pöhlmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 419
オンライン: http://dx.doi.org/10.1007/BFb0037513
17.

電子ブック
ＥＢ
17. Algorithms : International Symposium SIGAL '90 Tokyo, Japan, August 16–18, 1990 Proceedings
edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 450
オンライン: http://dx.doi.org/10.1007/3-540-52921-7
18.

電子ブック
ＥＢ
18. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings
edited by John R. Gilbert, Rolf Karlsson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 447
オンライン: http://dx.doi.org/10.1007/3-540-52846-6
19.

電子ブック
ＥＢ
19. Algorithms and Data Structures : Workshop WADS '89 Ottawa, Canada, August 17–19, 1989 Proceedings
edited by F. Dehne, J. -R. Sack, N. Santoro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 382
オンライン: http://dx.doi.org/10.1007/3-540-51542-9
20.

電子ブック
ＥＢ
20. Global Optimization
edited by Aimo Törn, Antanas Žilinskas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 350
オンライン: http://dx.doi.org/10.1007/3-540-50871-6
21.

電子ブック
ＥＢ
21. Time Series Package (TSPACK)
edited by François S. Chaghaghi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 187
オンライン: http://dx.doi.org/10.1007/3-540-15202-4
22.

電子ブック
ＥＢ
22. Stochastic Automata: Stability, Nondeterminism, and Prediction
by Ernst-Erich Doberkat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1981
シリーズ名: Lecture Notes in Computer Science ; 113
オンライン: http://dx.doi.org/10.1007/3-540-10835-1