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
51.

電子ブック
ＥＢ
51. Cryptography: Policy and Algorithms : International Conference Brisbane, Queensland, Australia, July 3-5, 1995. Proceedings. 1st ed. 1996
edited by Edward Pyle Dawson, Jovan Golic
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1029
オンライン: https://doi.org/10.1007/BFb0032342
52.

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

電子ブック
ＥＢ
53. 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. 1st ed. 1996
edited by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: https://doi.org/10.1007/BFb0037392
54.

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

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

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

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

電子ブック
ＥＢ
58. Reliable Software Technologies - Ada Europe 96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings. 1st ed. 1996
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: https://doi.org/10.1007/BFb0013474
59.

電子ブック
ＥＢ
59. Artificial Neural Networks - ICANN 96 : 6th International Conference, Bochum, Germany, July 16 - 19, 1996. Proceedings. 1st ed. 1996
edited by Christoph von der Malsburg, Werner von Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: https://doi.org/10.1007/3-540-61510-5
60.

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

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

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

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

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

電子ブック
ＥＢ
65. Multimedia, Telecommunications, and Applications : Third International COST 237 Workshop, Barcelona, Spain, November 25 - 27, 1996, Proceedings. 1st ed. 1996
edited by Giorgio Ventre, Jordi Domingo-Pascual, Andre Danthine
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1185
オンライン: https://doi.org/10.1007/BFb0020846
66.

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

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

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

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

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

電子ブック
ＥＢ
71. Distributed Algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings. 1st ed. 1996
edited by Özalp Babaoglu, Keith Marzullo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1151
オンライン: https://doi.org/10.1007/3-540-61769-8
72.

電子ブック
ＥＢ
72. Advances in Artificial Intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23 - 25, 1996; Proceedings. 1st ed. 1996
edited by Dibio L. Borges, Celso A.A. Kaestner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1159
オンライン: https://doi.org/10.1007/3-540-61859-7
73.

電子ブック
ＥＢ
73. Intelligent Agents II: Agent Theories, Architectures, and Languages : IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings. 1st ed. 1996
edited by Michael Wooldridge, Jörg Müller, Milind Tambe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1037
オンライン: https://doi.org/10.1007/3-540-60805-2
74.

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

電子ブック
ＥＢ
75. High-Performance Computing and Networking : International Conference and Exhibition, Brussels, Belgium, April 1996. Proceedings. 1st ed. 1996
edited by H. Liddell, A. Colbrook, Bob Hertzberger, P. Sloot
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: https://doi.org/10.1007/3-540-61142-8
76.

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

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

電子ブック
ＥＢ
78. Broadband Network Traffic : Performance Evaluation and Design of Broadband Multiservice Networks, Final Report of Action COST 242. 1st ed. 1996
edited by James Roberts, Ugo Mocci, Jorma Virtamo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1155
オンライン: https://doi.org/10.1007/3-540-61815-5
79.

電子ブック
ＥＢ
79. Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1019
オンライン: http://dx.doi.org/10.1007/3-540-60630-0
80.

電子ブック
ＥＢ
80. Bringing Telecommunication Services to the People — IS&N '95 : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16–19, 1995 Proceedings
edited by Anne Clarke, Mario Campolargo, Nikos Karatzas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 998
オンライン: http://dx.doi.org/10.1007/BFb0016951
81.

電子ブック
ＥＢ
81. Theory and Practice in Distributed Systems : International Workshop Dagstuhl Castle, Germany, September 5–9, 1994 Selected Papers
edited by Kenneth P. Birman, Friedemann Mattern, André Schiper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 938
オンライン: http://dx.doi.org/10.1007/3-540-60042-6
82.

電子ブック
ＥＢ
82. Advances in Cryptology — EUROCRYPT ’95 : International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, 1995 Proceedings
edited by Louis C. Guillou, Jean-Jacques Quisquater
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1995
シリーズ名: Lecture Notes in Computer Science ; 921
オンライン: http://dx.doi.org/10.1007/3-540-49264-X
83.

電子ブック
ＥＢ
83. Digital Libraries Current Issues : Digital Libraries Workshop DL '94 Newark, NJ, USA, May 19–20, 1994 Selected Papers
edited by Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 916
オンライン: http://dx.doi.org/10.1007/BFb0026845
84.

電子ブック
ＥＢ
84. Network and Operating Systems Support for Digital Audio and Video : 5th International Workshop, NOSSDAV '95 Durham, New Hampshire, USA, April 19–21, 1995 Proceedings
edited by Thomas D. C. Little, Riccardo Gusella
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1018
オンライン: http://dx.doi.org/10.1007/BFb0019246
85.

電子ブック
ＥＢ
85. Disconnected Operation in a Distributed File System
by James Jay Kistler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1002
オンライン: http://dx.doi.org/10.1007/3-540-60627-0
86.

電子ブック
ＥＢ
86. Advances in Cryptology — CRYPT0’ 95 : 15th Annual International Cryptology Conference Santa Barbara, California, USA, August 27–31, 1995 Proceedings
edited by Don Coppersmith
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1995
シリーズ名: Lecture Notes in Computer Science ; 963
オンライン: http://dx.doi.org/10.1007/3-540-44750-4
87.

電子ブック
ＥＢ
87. Towards a CSCW Framework for Scientific Cooperation in Europe
edited by Hannes P. Lubich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 889
オンライン: http://dx.doi.org/10.1007/3-540-58844-2
88.

電子ブック
ＥＢ
88. Cryptography and Coding : 5th IMA Conference Cirencester, UK, December 18–20, 1995 Proceedings
edited by Colin Boyd
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1025
オンライン: http://dx.doi.org/10.1007/3-540-60693-9
89.

電子ブック
ＥＢ
89. EURO-PAR '95 Parallel Processing : First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings
edited by Seif Haridi, Khayri Ali, Peter Magnusson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 966
オンライン: http://dx.doi.org/10.1007/BFb0020448
90.

電子ブック
ＥＢ
90. Advances in Cryptology — ASIACRYPT'94 : 4th International Conferences on the Theory and Applications of Cryptology Wollongong, Australia, November 28 – December 1, 1994 Proceedings
edited by Josef Pieprzyk, Reihanah Safavi-Naini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 917
オンライン: http://dx.doi.org/10.1007/BFb0000419
91.

電子ブック
ＥＢ
91. Analysis of Dynamical and Cognitive Systems : Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings
edited by Stig I. Andersson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 888
オンライン: http://dx.doi.org/10.1007/3-540-58843-4
92.

電子ブック
ＥＢ
92. Parallel Computing Technologies : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12–25, 1995 Proceedings
edited by Victor Malyshkin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 964
オンライン: http://dx.doi.org/10.1007/3-540-60222-4
93.

電子ブック
ＥＢ
93. Distributed Algorithms : 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13–15, 1995 Proceedings
edited by Jean-Michel Hélary, Michel Raynal
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 972
オンライン: http://dx.doi.org/10.1007/BFb0022134
94.

電子ブック
ＥＢ
94. From Natural to Artificial Neural Computation : International Workshop on Artificial Neural Networks Malaga-Torremolinos, Spain, June 7–9, 1995 Proceedings
edited by José Mira, Francisco Sandoval
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 930
オンライン: http://dx.doi.org/10.1007/3-540-59497-3
95.

電子ブック
ＥＢ
95. Quantitative Evaluation of Computing and Communication Systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95
edited by Heinz Beilner, Falko Bause
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 977
オンライン: http://dx.doi.org/10.1007/BFb0024302
96.

電子ブック
ＥＢ
96. Application and Theory of Petri Nets 1995 : 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
edited by Giorgio Michelis, Michel Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 935
オンライン: http://dx.doi.org/10.1007/3-540-60029-9
97.

電子ブック
ＥＢ
97. Advances in Cryptology - ASIACRYPT '94 : 4th International Conference on the Theory and Application of Cryptology, Wollongong, Australia, November 28 - December 1, 1994. Proceedings. 1st ed. 1995
edited by Josef Pieprzyk, Reihanah Safavi-Naini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 917
オンライン: https://doi.org/10.1007/BFb0000419
98.

電子ブック
ＥＢ
98. Cryptography and Coding : Fifth IMA Conference; Cirencester, UK, December 1995. Proceedings. 1st ed. 1995
edited by Colin Boyd
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1025
オンライン: https://doi.org/10.1007/3-540-60693-9
99.

電子ブック
ＥＢ
99. Analysis of Dynamical and Cognitive Systems : Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings. 1st ed. 1995
edited by Stig I. Andersson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 888
オンライン: https://doi.org/10.1007/3-540-58843-4
100.

電子ブック
ＥＢ
100. Bringing Telecommunication Services to the People - IS&N '95 : Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 - 20, 1995. Proceedings. 1st ed. 1995
edited by Anne Clarke, Mario Campolargo, Nikos Karatzas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 998
オンライン: https://doi.org/10.1007/BFb0016951