1.

電子ブック
ＥＢ
1. Communication and Cooperation in Agent Systems : A Pragmatic Theory
edited by Afsaneh Haddadi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1056
オンライン: http://dx.doi.org/10.1007/3-540-61044-8
2.

電子ブック
ＥＢ
2. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings
edited by László Böszörményi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: http://dx.doi.org/10.1007/3-540-61695-0
3.

電子ブック
ＥＢ
3. Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers
edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1120
オンライン: http://dx.doi.org/10.1007/3-540-61576-8
4.

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

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

電子ブック
ＥＢ
6. Interactive Distributed Multimedia Systems and Services : European Workshop IDMS'96 Berlin, Germany, March 4–6, 1996 Proceedings
edited by Berthold Butscher, Eckhard Moeller, Herwart Pusch
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1045
オンライン: http://dx.doi.org/10.1007/3-540-60938-5
7.

電子ブック
ＥＢ
7. Algorithms and Computation : 7th International Symposium, ISAAC '96 Osaka, Japan, December 16–18, 1996 Proceedings
edited by Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1178
オンライン: http://dx.doi.org/10.1007/BFb0009475
8.

電子ブック
ＥＢ
8. Advances in Cryptology — CRYPTO ’96 : 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18–22, 1996 Proceedings
edited by Neal Koblitz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1996
シリーズ名: Lecture Notes in Computer Science ; 1109
オンライン: http://dx.doi.org/10.1007/3-540-68697-5
9.

電子ブック
ＥＢ
9. Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings
edited by Paolo Ciancarini, Chris Hankin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1061
オンライン: http://dx.doi.org/10.1007/3-540-61052-9
10.

電子ブック
ＥＢ
10. Teleservices and Multimedia Communications : Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings
edited by David Hutchison, Henning Christiansen, Geoff Coulson, André Danthine
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1052
オンライン: http://dx.doi.org/10.1007/3-540-61028-6
11.

電子ブック
ＥＢ
11. Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1107
オンライン: http://dx.doi.org/10.1007/3-540-61487-7
12.

電子ブック
ＥＢ
12. Reliable Software Technologies — Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: http://dx.doi.org/10.1007/BFb0013474
13.

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

電子ブック
ＥＢ
14. Computing and Combinatorics : Second Annual International Conference, COCOON '96 Hong Kong, June 17–19, 1996 Proceedings
edited by Jin-Yi Cai, Chak Kuen Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: http://dx.doi.org/10.1007/3-540-61332-3
15.

電子ブック
ＥＢ
15. Distributed Software Agents and Applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings
edited by John W. Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069
オンライン: http://dx.doi.org/10.1007/3-540-61157-6
16.

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

電子ブック
ＥＢ
17. High-Performance Computing and Networking : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings
edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: http://dx.doi.org/10.1007/3-540-61142-8
18.

電子ブック
ＥＢ
18. Multimedia Telecommunications and Applications : Third International COST 237 Workshop Barcelona, Spain, November 25–27, 1996 Proceedings
edited by Giorgio Ventre, Jordi Domingo-Pascual, André Danthine
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1185
オンライン: http://dx.doi.org/10.1007/BFb0020846
19.

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

電子ブック
ＥＢ
20. Advances in Artificial Intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23–25, 1996 Proceedings
edited by Díbio L. Borges, Celso A. A. Kaestner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1159
オンライン: http://dx.doi.org/10.1007/3-540-61859-7
21.

電子ブック
ＥＢ
21. Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings
edited by Jonathan Billington, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1091
オンライン: http://dx.doi.org/10.1007/3-540-61363-3
22.

電子ブック
ＥＢ
22. SOFSEM'96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings
edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: http://dx.doi.org/10.1007/BFb0037392
23.

電子ブック
ＥＢ
23. Digital Signature Schemes : General Framework and Fail-Stop Signatures
by Birgit Pfitzmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1100
オンライン: http://dx.doi.org/10.1007/BFb0024619
24.

電子ブック
ＥＢ
24. Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings
edited by Walter Velde, John W. Perram
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1038
オンライン: http://dx.doi.org/10.1007/BFb0031841
25.

電子ブック
ＥＢ
25. Broadband Network Traffic : Performance Evaluation and Design of Broadband Multiservice Networks
edited by James Roberts, Ugo Mocci, Jorma Virtamo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1155
オンライン: http://dx.doi.org/10.1007/3-540-61815-5
26.

電子ブック
ＥＢ
26. Broadband Communications Networks, Services, Applications, Future Directions : 1996 International Zurich Seminar on Digital Communications, IZS'96 Zurich, Switzerland, February 21–23, 1996 Proceedings
edited by Bernhard Plattner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1044
オンライン: http://dx.doi.org/10.1007/BFb0022212
27.

電子ブック
ＥＢ
27. Formal Systems Specification : The RPC-Memory Specification Case Study
edited by Manfred Broy, Stephan Merz, Katharina Spies
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1169
オンライン: http://dx.doi.org/10.1007/BFb0024423
28.

電子ブック
ＥＢ
28. Management of Telecommunication Systems and Services : Modelling and Implementing TMN-Based Multi-Domain Management
edited by Jane Hall
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1116
オンライン: http://dx.doi.org/10.1007/3-540-61578-4
29.

電子ブック
ＥＢ
29. Artificial Neural Networks — ICANN 96 : 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings
edited by Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: http://dx.doi.org/10.1007/3-540-61510-5
30.

電子ブック
ＥＢ
30. Job Scheduling Strategies for Parallel Processing : IPPS '96 Workshop Honolulu, Hawaii, April 16, 1996 Proceedings
edited by Dror G. Feitelson, Larry Rudolph
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1162
オンライン: http://dx.doi.org/10.1007/BFb0022283
31.

電子ブック
ＥＢ
31. Digital Libraries Research and Technology Advances : ADL'95 Forum McLean, Virginia, USA, May 15–17, 1995 Selected Papers
edited by Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1082
オンライン: http://dx.doi.org/10.1007/BFb0024597
32.

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

電子ブック
ＥＢ
33. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem
edited by Patrice Godefroid
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1032
オンライン: http://dx.doi.org/10.1007/3-540-60761-7
34.

電子ブック
ＥＢ
34. Cryptography: Policy and Algorithms : International Conference Brisbane, Queensland, Australia, July 3–5, 1995 Proceedings
edited by Ed Dawson, Jovan Golić
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1029
オンライン: http://dx.doi.org/10.1007/BFb0032342
35.

電子ブック
ＥＢ
35. Advances in Cryptology — ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security Kyongju, Korea, November 3–7, 1996 Proceedings
edited by Kwangjo Kim, Tsutomu Matsumoto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1163
オンライン: http://dx.doi.org/10.1007/BFb0034829
36.

電子ブック
ＥＢ
36. Computer Security — ESORICS 96 : 4th European Symposium on Research in Computer Security Rome, Italy, September 25–27, 1996 Proceedings
edited by Elisa Bertino, Helmut Kurth, Giancarlo Martella, Emilio Montolivo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1146
オンライン: http://dx.doi.org/10.1007/3-540-61770-1
37.

電子ブック
ＥＢ
37. Managing Information Highways : The PRISM Book: Principles, Methods, and Case Studies for Designing Telecommunications Management Systems
edited by Kim Berquist, Andrew Berquist, Patrick McLaughlin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1164
オンライン: http://dx.doi.org/10.1007/BFb0024333
38.

電子ブック
ＥＢ
38. CONCUR '96: Concurrency Theory : 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
edited by Ugo Montanari, Vladimiro Sassone
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1119
オンライン: http://dx.doi.org/10.1007/3-540-61604-7
39.

電子ブック
ＥＢ
39. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: http://dx.doi.org/10.1007/BFb0027227
40.

電子ブック
ＥＢ
40. Information Security and Privacy : First Australasian Conference, ACISP'96 Wollongong, NSW, Australia, June 24–26, 1996 Proceedings
edited by Josef Pieprzyk, Jennifer Seberry
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1172
オンライン: http://dx.doi.org/10.1007/BFb0023281
41.

電子ブック
ＥＢ
41. Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
edited by Chengqi Zhang, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1087
オンライン: http://dx.doi.org/10.1007/3-540-61314-5
42.

電子ブック
ＥＢ
42. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1055
オンライン: http://dx.doi.org/10.1007/3-540-61042-1
43.

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

電子ブック
ＥＢ
44. Distributed Algorithms : 10th International Workshop, WDAG '96 Bologna, Italy, October 9–11, 1996 Proceedings
edited by Özalp Babaoğlu, Keith Marzullo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1151
オンライン: http://dx.doi.org/10.1007/3-540-61769-8
45.

電子ブック
ＥＢ
45. Information Security and Privacy : First Australasian Conference, ACISP '96, Wollongong, NSW, Australia, June 24 - 26, 1996, Proceedings. 1st ed. 1996
edited by Josef Pieprzyk, Jennifer Seberry
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1172
オンライン: https://doi.org/10.1007/BFb0023281
46.

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

電子ブック
ＥＢ
47. Algorithms and Computation : 7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings. 1st ed. 1996
edited by Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1178
オンライン: https://doi.org/10.1007/BFb0009475
48.

電子ブック
ＥＢ
48. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem. 1st ed. 1996
edited by Patrice Godefroid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1032
オンライン: https://doi.org/10.1007/3-540-60761-7
49.

電子ブック
ＥＢ
49. Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, The Netherlands, January 22 - 25, 1996. Proceedings. 1st ed. 1996
edited by Walter van de Velde, John Perram
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1038
オンライン: https://doi.org/10.1007/BFb0031841
50.

電子ブック
ＥＢ
50. Applications of Multi-Agent Systems : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 1994 Proceedings. 1st ed. 1996
edited by John Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1069
オンライン: https://doi.org/10.1007/3-540-61157-6