1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
25. Distributed Algorithms : 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings. 1st ed. 1995
edited by Jean-Michel Helary, Michel Raynal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 972
オンライン: https://doi.org/10.1007/BFb0022134
26.

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

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

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

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

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

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

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

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

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

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

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