1.

電子ブック
ＥＢ
1. Context Management for Distributed and Dynamic Context-Aware Computing. 1st ed. 2012
by Ricardo Couto Antunes da Rocha, Markus Endler
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4471-4020-7
2.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
64. Multiagent Systems : A Theoretical Framework for Intentions, Know-How, and Communications
by Munindar P. Singh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 799
オンライン: http://dx.doi.org/10.1007/BFb0030531
65.

電子ブック
ＥＢ
65. Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings
edited by Gerard Tel, Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 857
オンライン: http://dx.doi.org/10.1007/BFb0020419
66.

電子ブック
ＥＢ
66. Mobile Communications Advanced Systems and Components : 1994 International Zurich Seminar on Digital Communications Zurich, Switzerland, March 8–11, 1994 Proceedings
edited by Christoph G. Günther
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 783
オンライン: http://dx.doi.org/10.1007/3-540-57856-0
67.

電子ブック
ＥＢ
67. Multimedia: Advanced Teleservices and High-Speed Communication Architectures : Second International Workshop, IWACA '94 Heidelberg, Germany, September 26–28, 1994 Proceedings
edited by Ralf Steinmetz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 868
オンライン: http://dx.doi.org/10.1007/3-540-58494-3
68.

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

電子ブック
ＥＢ
69. Multimedia Transport and Teleservices : International COST 237 Workshop Vienna, Austria, November 13–15, 1994 Proceedings
edited by D. Hutchison, A. Danthine, H. Leopold, G. Coulson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 882
オンライン: http://dx.doi.org/10.1007/3-540-58759-4
70.

電子ブック
ＥＢ
70. High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 796
オンライン: http://dx.doi.org/10.1007/BFb0020340
71.

電子ブック
ＥＢ
71. Computer Aided Verification : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
edited by David L. Dill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 818
オンライン: http://dx.doi.org/10.1007/3-540-58179-0
72.

電子ブック
ＥＢ
72. Network and Operating System Support for Digital Audio and Video : 4th International Workshop, NOSSDAV '93 Lancaster, U.K., November 3–5, 1993 Proceedings
edited by Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 846
オンライン: http://dx.doi.org/10.1007/3-540-58404-8
73.

電子ブック
ＥＢ
73. Application and Theory of Petri Nets 1994 : 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
edited by Robert Valette
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 815
オンライン: http://dx.doi.org/10.1007/3-540-58152-9
74.

電子ブック
ＥＢ
74. Computer Security — ESORICS 94 : Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings
edited by Dieter Gollmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 875
オンライン: http://dx.doi.org/10.1007/3-540-58618-0
75.

電子ブック
ＥＢ
75. Parallel Computer Routing and Communication : First International Workshop, PCRCW '94 Seattle, Washington, USA, May 16–18, 1994 Proceedings
edited by Kevin Bolding, Lawrence Snyder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 853
オンライン: http://dx.doi.org/10.1007/3-540-58429-3
76.

電子ブック
ＥＢ
76. PARLE'94 Parallel Architectures and Languages Europe : 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings
edited by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 817
オンライン: http://dx.doi.org/10.1007/3-540-58184-7
77.

電子ブック
ＥＢ
77. Parallel Processing: CONPAR 94 — VAPP VI : Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
edited by Bruno Buchberger, Jens Volkert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 854
オンライン: http://dx.doi.org/10.1007/3-540-58430-7
78.

電子ブック
ＥＢ
78. High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings Volume II: Networking and Tools
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 797
オンライン: http://dx.doi.org/10.1007/3-540-57981-8
79.

電子ブック
ＥＢ
79. Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94 : Second International Conference on Intelligence in Broadband Services and Networks Aachen, Germany, September 7–9, 1994 Proceedings
edited by Hans-Jürgen Kugler, Al Mullery, Norbert Niebert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 851
オンライン: http://dx.doi.org/10.1007/BFb0013391
80.

電子ブック
ＥＢ
80. Parallel and Distributed Computing Theory and Practice : First Canada-France Conference Montréal, Canada, May 19–21, 1994 Proceedings
edited by Michel Cosnard, Afonso Ferreira, Joseph Peters
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 805
オンライン: http://dx.doi.org/10.1007/3-540-58078-6
81.

電子ブック
ＥＢ
81. Advances in Cryptology — CRYPTO ’94 : 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings
edited by Yvo G. Desmedt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 839
オンライン: http://dx.doi.org/10.1007/3-540-48658-5
82.

電子ブック
ＥＢ
82. Parallel Computer Architectures : Theory, Hardware, Software, Applications
edited by Arndt Bode, Mario Cin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 732
オンライン: http://dx.doi.org/10.1007/978-3-662-21577-7
83.

電子ブック
ＥＢ
83. Advances in Cryptology — AUSCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques Gold Coast, Queensland, Australia, December 13–16, 1992 Proceedings
edited by Jennifer Seberry, Yuliang Zheng
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 718
オンライン: http://dx.doi.org/10.1007/3-540-57220-1
84.

電子ブック
ＥＢ
84. The MOSIX Distributed Operating System : Load Balancing for UNIX
edited by Amnon Barak, Shai Guday, Richard G. Wheeler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 672
オンライン: http://dx.doi.org/10.1007/3-540-56663-5
85.

電子ブック
ＥＢ
85. DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond : International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 Proceedings
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: http://dx.doi.org/10.1007/3-540-57306-2
86.

電子ブック
ＥＢ
86. Advances in Petri Nets 1993
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 674
オンライン: http://dx.doi.org/10.1007/3-540-56689-9
87.

電子ブック
ＥＢ
87. Network and Operating System Support for Digital Audio and Video : Third International Workshop La Jolla, California, USA, November 12–13, 1992 Proceedings
edited by P. Venkat Rangan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 712
オンライン: http://dx.doi.org/10.1007/3-540-57183-3
88.

電子ブック
ＥＢ
88. PARLE '93 Parallel Architectures and Languages Europe : 5th International PARLE Conference Munich, Germany, June 14–17, 1993 Proceedings
edited by Arndt Bode, Mike Reeve, Gottfried Wolf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 694
オンライン: http://dx.doi.org/10.1007/3-540-56891-3
89.

電子ブック
ＥＢ
89. Design of Hashing Algorithms
edited by Josef Pieprzyk, Babak Sadeghiyan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 756
オンライン: http://dx.doi.org/10.1007/3-540-57500-6
90.

電子ブック
ＥＢ
90. Computer Security and Industrial Cryptography : State of the Art and Evolution ESAT Course, Leuven, Belgium, May 21–23, 1991
edited by Bart Preneel, René Govaerts, Joos Vandewalle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 741
オンライン: http://dx.doi.org/10.1007/3-540-57341-0
91.

電子ブック
ＥＢ
91. Application and Theory of Petri Nets 1993 : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings
edited by Marco Ajmone Marsan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 691
オンライン: http://dx.doi.org/10.1007/3-540-56863-8
92.

電子ブック
ＥＢ
92. Distributed Algorithms : 7th International Workshop, WDAG'93 Lausanne, Switzerland, September 27–29, 1993 Proceedings
edited by André Schiper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 725
オンライン: http://dx.doi.org/10.1007/3-540-57271-6
93.

電子ブック
ＥＢ
93. Advances in Cryptology — ASIACRYPT '91 : International Conference on the Theory and Application of Cryptology Fujiyosida, Japan, November 1991 Proceedings
edited by Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 739
オンライン: http://dx.doi.org/10.1007/3-540-57332-1
94.

電子ブック
ＥＢ
94. Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 600
オンライン: http://dx.doi.org/10.1007/BFb0031984
95.

電子ブック
ＥＢ
95. Distributed Algorithms : 6th International Workshop, WDAG '92 Haifa, Israel, November 2–4, 1992 Proceedings
edited by Adrian Segall, Shmuel Zaks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 647
オンライン: http://dx.doi.org/10.1007/3-540-56188-9
96.

電子ブック
ＥＢ
96. Network and Operating System Support for Digital Audio and Video : Second International Workshop Heidelberg, Germany, November 18–19 1991 Proceedings
edited by R. G. Herrtwich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 614
オンライン: http://dx.doi.org/10.1007/3-540-55639-7
97.

電子ブック
ＥＢ
97. Advanced Database Systems : 10th British National Conference on Databases, BNCOD 10 Aberdeen, Scotland, July 6–8, 1992 Proceedings
edited by Peter M. D. Gray, Rob J. Lucas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 618
オンライン: http://dx.doi.org/10.1007/3-540-55693-1
98.

電子ブック
ＥＢ
98. PARLE '92 Parallel Architectures and Languages Europe : 4th International PARLE Conference Paris, France, June 15–18, 1992 Proceedings
edited by Daniel Etiemble, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 605
オンライン: http://dx.doi.org/10.1007/3-540-55599-4
99.

電子ブック
ＥＢ
99. Theory of Computing and Systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings
edited by D. Dolev, Z. Galil, M. Rodeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 601
オンライン: http://dx.doi.org/10.1007/BFb0035160
100.

電子ブック
ＥＢ
100. Computer Security — ESORICS 92 : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings
edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture notes in computer science ; 648
オンライン: http://dx.doi.org/10.1007/BFb0013888