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

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

電子ブック
ＥＢ
21. Languages and Compilers for Parallel Computing : 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings. 1st ed. 1996
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: https://doi.org/10.1007/BFb0014187
22.

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

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

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

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

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

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

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

電子ブック
ＥＢ
29. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, September, 23 - 25, 1996, Proceedings. 1st ed. 1996
edited by Laszlo Böszörmenyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: https://doi.org/10.1007/3-540-61695-0
30.

電子ブック
ＥＢ
30. Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995. 1st ed. 1996
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: https://doi.org/10.1007/BFb0015477
31.

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

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

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

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

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

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

電子ブック
ＥＢ
37. Bounded Incremental Computation. 1st ed. 1996
by G. Ramalingam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1089
オンライン: https://doi.org/10.1007/BFb0028290
38.

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
51. Quantitative Evaluation of Computing and Communication Systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95Heidelberg, Germany, Septem. 1st ed. 1995
edited by Heinz Beilner, Falko Bause
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 977
オンライン: https://doi.org/10.1007/BFb0024302
52.

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

電子ブック
ＥＢ
53. 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. Selected Papers. 1st ed. 1995
edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 924
オンライン: https://doi.org/10.1007/3-540-59450-7
54.

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

電子ブック
ＥＢ
55. Memory Management : International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings. 1st ed. 1995
edited by Henry G. Baker
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 986
オンライン: https://doi.org/10.1007/3-540-60368-9
56.

電子ブック
ＥＢ
56. Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers. 1st ed. 1995
edited by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1019
オンライン: https://doi.org/10.1007/3-540-60630-0
57.

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

電子ブック
ＥＢ
58. Disconnected Operation in a Distributed File System. 1st ed. 1995
edited by James J. Kistler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1002
オンライン: https://doi.org/10.1007/3-540-60627-0
59.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
77. Hardware and Software Architectures for Fault Tolerance : Experiences and Perspectives. 1st ed. 1994
edited by Michel Banatre, Peter A. Lee
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 774
オンライン: https://doi.org/10.1007/BFb0020017
78.

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

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

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

電子ブック
ＥＢ
81. Multiagent Systems : A Theoretical Framework for Intentions, Know-How, and Communications. 1st ed. 1994
by Munidar P. Singh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 799
オンライン: https://doi.org/10.1007/BFb0030531
82.

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

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

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

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

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

電子ブック
ＥＢ
87. Object-Based Distributed Programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings. 1st ed. 1994
edited by Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 791
オンライン: https://doi.org/10.1007/BFb0017530
88.

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

電子ブック
ＥＢ
89. Parallel and Distributed Computing: Theory and Practice : Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Proceedings. 1st ed. 1994
edited by Michel Cosnard, Afonso Ferreira, Joseph Peters
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 805
オンライン: https://doi.org/10.1007/3-540-58078-6
90.

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

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

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

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

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

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

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

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

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

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

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