1.

電子ブック
ＥＢ
1. Discrete Geometry for Computer Imagery : 6th International Workshop, DGCI'96 Lyon, France, November 13–15, 1996 Proceedings
edited by Serge Miguet, Annick Montanvert, Stéphane Ubéda
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1176
オンライン: http://dx.doi.org/10.1007/3-540-62005-2
2.

電子ブック
ＥＢ
2. Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings
edited by Joxan Jaffar, Roland H. C. Yap
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1179
オンライン: http://dx.doi.org/10.1007/BFb0027773
3.

電子ブック
ＥＢ
3. Dependable Computing — EDCC-2 : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings
edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1150
オンライン: http://dx.doi.org/10.1007/3-540-61772-8
4.

電子ブック
ＥＢ
4. Algorithms — ESA '96 : Fourth Annual European Symposium Barcelona, Spain, September 25–27, 1996 Proceedings
edited by Josep Diaz, Maria Serna
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1136
オンライン: http://dx.doi.org/10.1007/3-540-61680-2
5.

電子ブック
ＥＢ
5. Electronic Commerce : Current Research Issues and Applications
edited by Nabil R. Adam, Yelena Yesha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1028
オンライン: http://dx.doi.org/10.1007/3-540-60738-2
6.

電子ブック
ＥＢ
6. Intelligent Agents II Agent Theories, Architectures, and Languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings
edited by Michael Wooldridge, Jörg P. Müller, Milind Tambe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1037
オンライン: http://dx.doi.org/10.1007/3-540-60805-2
7.

電子ブック
ＥＢ
7. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
8.

電子ブック
ＥＢ
8. Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings
edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1084
オンライン: http://dx.doi.org/10.1007/3-540-61310-2
9.

電子ブック
ＥＢ
9. Trends in Distributed Systems CORBA and Beyond : International Workshop TreDS '96 Aachen, Germany, October 1–2, 1996 Proceedings
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1161
オンライン: http://dx.doi.org/10.1007/3-540-61842-2
10.

電子ブック
ＥＢ
10. Graphics Recognition Methods and Applications : First International Workshop University Park, PA, USA, August 10–11, 1995 Selected Papers
edited by Rangachar Kasturi, Karl Tombre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1072
オンライン: http://dx.doi.org/10.1007/3-540-61226-2
11.

電子ブック
ＥＢ
11. Algorithm Theory — SWAT'96 : 5th Scandinavian Workshop on Algorithm Theory Reykjavík, Iceland, July 3–5, 1996 Proceedings
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: http://dx.doi.org/10.1007/3-540-61422-2
12.

電子ブック
ＥＢ
12. Ada in Europe : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: http://dx.doi.org/10.1007/BFb0015477
13.

電子ブック
ＥＢ
13. Field-Programmable Logic Smart Applications, New Paradigms and Compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23–25, 1996 Proceedings
edited by Reiner W. Hartenstein, Manfred Glesner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1142
オンライン: http://dx.doi.org/10.1007/3-540-61730-2
14.

電子ブック
ＥＢ
14. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
edited by Wojciech Penczek, Andrzej Szałas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: http://dx.doi.org/10.1007/3-540-61550-4
15.

電子ブック
ＥＢ
15. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: http://dx.doi.org/10.1007/3-540-61629-2
16.

電子ブック
ＥＢ
16. Conceptual Structures: Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96 Sydney, Australia, August 19–22, 1996 Proceedings
edited by Peter W. Eklund, Gerard Ellis, Graham Mann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1115
オンライン: http://dx.doi.org/10.1007/3-540-61534-2
17.

電子ブック
ＥＢ
17. Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: http://dx.doi.org/10.1007/3-540-61551-2
18.

電子ブック
ＥＢ
18. Logic in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
edited by Dino Pedreschi, Carlo Zaniolo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1154
オンライン: http://dx.doi.org/10.1007/BFb0031733
19.

電子ブック
ＥＢ
19. Parallel Symbolic Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1068
オンライン: http://dx.doi.org/10.1007/BFb0023052
20.

電子ブック
ＥＢ
20. Advances in Artifical Intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21–24, 1996 Proceedings
edited by Gordon McCalla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1081
オンライン: http://dx.doi.org/10.1007/3-540-61291-2
21.

電子ブック
ＥＢ
21. Evolutionary Computing : AISB Workshop Brighton, U.K., April 1–2, 1996 Selected Papers
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1143
オンライン: http://dx.doi.org/10.1007/BFb0032768