1.

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

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

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

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

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

電子ブック
ＥＢ
6. Parallel Algorithms for Irregularly Structured Problems : Third International Workshop, IRREGULAR '96 Santa Barbara, CA, USA, August 19–21, 1996 Proceedings
edited by Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1117
オンライン: http://dx.doi.org/10.1007/BFb0030093
7.

電子ブック
ＥＢ
7. Object Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96 Kanazawa, Japan, March 11–15, 1996 Proceedings
edited by Kokichi Futatsugi, Satoshi Matsuoka
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1049
オンライン: http://dx.doi.org/10.1007/3-540-60954-7
8.

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

電子ブック
ＥＢ
9. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: http://dx.doi.org/10.1007/3-540-60922-9
10.

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

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

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

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

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

電子ブック
ＥＢ
15. Information Hiding : First International Workshop Cambridge, U.K., May 30 – June 1, 1996 Proceedings
edited by Ross Anderson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1174
オンライン: http://dx.doi.org/10.1007/3-540-61996-8
16.

電子ブック
ＥＢ
16. Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1135
オンライン: http://dx.doi.org/10.1007/3-540-61648-9
17.

電子ブック
ＥＢ
17. Bounded Incremental Computation
edited by G. Ramalingam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1089
オンライン: http://dx.doi.org/10.1007/BFb0028290
18.

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

電子ブック
ＥＢ
19. Integrity Primitives for Secure Information Systems : Final Report of RACE Integrity Primitives Evaluation RIPE-RACE 1040
edited by Antoon Bosselaers, Bart Preneel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1007
オンライン: http://dx.doi.org/10.1007/3-540-60640-8
20.

電子ブック
ＥＢ
20. Job Scheduling Strategies for Parallel Processing : IPPS '95 Workshop Santa Barbara, CA, USA, April 25, 1995 Proceedings
edited by Dror G. Feitelson, Larry Rudolph
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 949
オンライン: http://dx.doi.org/10.1007/3-540-60153-8
21.

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

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

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

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

電子ブック
ＥＢ
25. Object-Based Models and Languages for Concurrent Systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings
edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 924
オンライン: http://dx.doi.org/10.1007/3-540-59450-7
26.

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

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

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

電子ブック
ＥＢ
29. Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 971
オンライン: http://dx.doi.org/10.1007/3-540-60275-5
30.

電子ブック
ＥＢ
30. Memory Management : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings
edited by Henry G. Baler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 986
オンライン: http://dx.doi.org/10.1007/3-540-60368-9
31.

電子ブック
ＥＢ
31. Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
edited by Afonso Ferreira, José Rolim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 980
オンライン: http://dx.doi.org/10.1007/3-540-60321-2
32.

電子ブック
ＥＢ
32. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 775
オンライン: http://dx.doi.org/10.1007/3-540-57785-8
33.

電子ブック
ＥＢ
33. Advances in Cryptology — EUROCRYPT ’93 : Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23–27, 1993 Proceedings
edited by Tor Helleseth
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 765
オンライン: http://dx.doi.org/10.1007/3-540-48285-7
34.

電子ブック
ＥＢ
34. A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 803
オンライン: http://dx.doi.org/10.1007/3-540-58043-3
35.

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

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

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

電子ブック
ＥＢ
38. Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 887
オンライン: http://dx.doi.org/10.1007/3-540-58822-1
39.

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

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

電子ブック
ＥＢ
41. Hardware and Software Architectures for Fault Tolerance : Experiences and Perspectives
edited by Michel Banâtre, Peter A. Lee
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 774
オンライン: http://dx.doi.org/10.1007/BFb0020017
42.

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

電子ブック
ＥＢ
43. Programming Languages and System Architectures : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: http://dx.doi.org/10.1007/3-540-57840-4
44.

電子ブック
ＥＢ
44. Advances in Cryptology — CRYPTO’ 93 : 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22–26, 1993 Proceedings
edited by Douglas R. Stinson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 773
オンライン: http://dx.doi.org/10.1007/3-540-48329-2
45.

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

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

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

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

電子ブック
ＥＢ
49. Object Technologies for Advanced Software : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings
edited by Shojiro Nishio, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 742
オンライン: http://dx.doi.org/10.1007/3-540-57342-9
50.

電子ブック
ＥＢ
50. Advances in Cryptology — EUROCRYPT’ 92 : Workshop on the Theory and Application of Cryptographic Techniques Balatonfüred, Hungary, May 24–28, 1992 Proceedings
edited by Rainer A. Rueppel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1993
シリーズ名: Lecture Notes in Computer Science ; 658
オンライン: http://dx.doi.org/10.1007/3-540-47555-9
51.

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

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

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

電子ブック
ＥＢ
54. Performance Evaluation of Computer and Communication Systems : Joint Tutorial Papers of Performance '93 and Sigmetrics '93
edited by Lorenzo Donatiello, Randolph Nelson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 729
オンライン: http://dx.doi.org/10.1007/BFb0013846
55.

電子ブック
ＥＢ
55. Advances in Cryptology — CRYPTO’ 92 : 12th Annual International Cryptology Conference Santa Barbara, California, USA August 16–20, 1992 Proceedings
edited by Ernest F. Brickell
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1993
シリーズ名: Lecture Notes in Computer Science ; 740
オンライン: http://dx.doi.org/10.1007/3-540-48071-4
56.

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

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

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

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

電子ブック
ＥＢ
60. Ada - Europe '93 : 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings
edited by Michel Gauthier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 688
オンライン: http://dx.doi.org/10.1007/3-540-56802-6
61.

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

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

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

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

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

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

電子ブック
ＥＢ
67. Memory Management : International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings
edited by Yves Bekkers, Jacques Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 637
オンライン: http://dx.doi.org/10.1007/BFb0017181
68.

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

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

電子ブック
ＥＢ
70. Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings
edited by K. Jensen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 616
オンライン: http://dx.doi.org/10.1007/3-540-55676-1
71.

電子ブック
ＥＢ
71. Ada: Moving Towards 2000 : 11th Ada-Europe International Conference Zandvoort, The Netherlands, June 1–5, 1992 Proceedings
edited by J. Katwijk
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 603
オンライン: http://dx.doi.org/10.1007/3-540-55585-4
72.

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

電子ブック
ＥＢ
73. Parallel Processing: CONPAR 92—VAPP V : Second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings
edited by Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 634
オンライン: http://dx.doi.org/10.1007/3-540-55895-0
74.

電子ブック
ＥＢ
74. Distributed Algorithms : 5th International Workshop, WDAG '91 Delphi, Greece, October 7–9, 1991 Proceedings
edited by Sam Toueg, Paul G. Spirakis, Lefteris Kirousis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 579
オンライン: http://dx.doi.org/10.1007/BFb0022433
75.

電子ブック
ＥＢ
75. Advances in Petri Nets 1990
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 483
オンライン: http://dx.doi.org/10.1007/3-540-53863-1
76.

電子ブック
ＥＢ
76. PARLE '91 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 506
オンライン: http://dx.doi.org/10.1007/3-540-54152-7
77.

電子ブック
ＥＢ
77. The Stability Theory of Stream Ciphers
edited by Cunsheng Ding, Guozhen Xiao, Weijuan Shan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 561
オンライン: http://dx.doi.org/10.1007/3-540-54973-0
78.

電子ブック
ＥＢ
78. Advances in Cryptology — EUROCRYPT ’91 : Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings
edited by Donald W. Davies
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1991
シリーズ名: Lecture Notes in Computer Science ; 547
オンライン: http://dx.doi.org/10.1007/3-540-46416-6
79.

電子ブック
ＥＢ
79. Operating Systems of the 90s and Beyond : International Workshop Dagstuhl Castle, Germany, July 8–12 1991 Proceedings
edited by Arthur Karshmer, Jürgen Nehmer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 563
オンライン: http://dx.doi.org/10.1007/BFb0024513
80.

電子ブック
ＥＢ
80. Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings
edited by Arndt Bode
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 487
オンライン: http://dx.doi.org/10.1007/BFb0032916
81.

電子ブック
ＥＢ
81. Advances in Petri Nets 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 524
オンライン: http://dx.doi.org/10.1007/BFb0019965
82.

電子ブック
ＥＢ
82. Computing in the 90's : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings
edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga
出版情報: New York, NY : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 507
オンライン: http://dx.doi.org/10.1007/BFb0038464
83.

電子ブック
ＥＢ
83. Distributed Algorithms : 4th International Workshop Bari, Italy, September 24–26, 1990 Proceedings
edited by Jan Leeuwen, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 486
オンライン: http://dx.doi.org/10.1007/3-540-54099-7
84.

電子ブック
ＥＢ
84. Computer Aided Systems Theory — EUROCAST '89 : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings
edited by F. Pichler, R. Moreno-Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 410
オンライン: http://dx.doi.org/10.1007/3-540-52215-8
85.

電子ブック
ＥＢ
85. Advances in Cryptology — EUROCRYPT ’89 : Workshop on the Theory and Application of Cryptographic Techniques Houthalen, Belgium, April 10–13, 1989 Proceedings
edited by Jean-Jacques Quisquater, Joos Vandewalle
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1990
シリーズ名: Lecture Notes in Computer Science ; 434
オンライン: http://dx.doi.org/10.1007/3-540-46885-4
86.

電子ブック
ＥＢ
86. Progress in Distributed Operating Systems and Distributed Systems Management : European Workshop, Berlin, FRG, April 18/19, 1989 Proceedings
edited by Wolfgang Schröder-Preikschat, Wolfgang Zimmer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 433
オンライン: http://dx.doi.org/10.1007/3-540-52609-9
87.

電子ブック
ＥＢ
87. Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
edited by Irène Guessarian
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 469
オンライン: http://dx.doi.org/10.1007/3-540-53479-2
88.

電子ブック
ＥＢ
88. Advances in Petri Nets 1989
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 424
オンライン: http://dx.doi.org/10.1007/3-540-52494-0
89.

電子ブック
ＥＢ
89. Fault-Tolerant Distributed Computing
edited by Barbara Simons, Alfred Spector
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 448
オンライン: http://dx.doi.org/10.1007/BFb0042320
90.

電子ブック
ＥＢ
90. Local Area Network Security : Workshop LANSEC '89 European Institute for System Security (E.I.S.S.) Karlsruhe, FRG, April 3–6, 1989 Proceedings
edited by Thomas A. Berson, Thomas Beth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 396
オンライン: http://dx.doi.org/10.1007/3-540-51754-5
91.

電子ブック
ＥＢ
91. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: http://dx.doi.org/10.1007/BFb0013019
92.

電子ブック
ＥＢ
92. PARLE '89 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 12–16, 1989 Proceedings
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 366
オンライン: http://dx.doi.org/10.1007/3-540-51285-3
93.

電子ブック
ＥＢ
93. Distributed Algorithms : 3rd International Workshop Nice, France, September 26–28, 1989 Proceedings
edited by Jean-Claude Bermond, Michel Raynal
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 392
オンライン: http://dx.doi.org/10.1007/3-540-51687-5
94.

電子ブック
ＥＢ
94. The Cray X-MP/Model 24 : A Case Study in Pipelined Architecture and Vector Processing
by Kay A. Robbins, Steven Robbins
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 374
オンライン: http://dx.doi.org/10.1007/BFb0040661
95.

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

電子ブック
ＥＢ
96. Experiences with Distributed Systems : International Workshop Kaiserslautern, FRG, September 28–30, 1987 Proceedings
edited by J. Nehmer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 309
オンライン: http://dx.doi.org/10.1007/3-540-19333-2
97.

電子ブック
ＥＢ
97. Concepts in User Interfaces: A Reference Model for Command and Response Languages
edited by David Beech
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 234
オンライン: http://dx.doi.org/10.1007/3-540-16791-9
98.

電子ブック
ＥＢ
98. Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980
edited by Mamoru Maekawa, Laszio A. Belady
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 143
オンライン: http://dx.doi.org/10.1007/3-540-11604-4