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

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

電子ブック
ＥＢ
4. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
edited by Wojciech Penczek, Andrzej Szałas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: http://dx.doi.org/10.1007/3-540-61550-4
5.

電子ブック
ＥＢ
5. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: http://dx.doi.org/10.1007/3-540-61629-2
6.

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

電子ブック
ＥＢ
7. Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings. 1st ed. 1996
edited by Joseph Diaz, Maria Serna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1136
オンライン: https://doi.org/10.1007/3-540-61680-2
8.

電子ブック
ＥＢ
8. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2
9.

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

電子ブック
ＥＢ
10. Constraint Databases and Applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers. 1st ed. 1996
edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1191
オンライン: https://doi.org/10.1007/3-540-62501-1
11.

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

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

電子ブック
ＥＢ
13. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers. 1st ed. 1996
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: https://doi.org/10.1007/3-540-61629-2
14.

電子ブック
ＥＢ
14. Algorithm Theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings. 1st ed. 1996
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: https://doi.org/10.1007/3-540-61422-2
15.

電子ブック
ＥＢ
15. Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada June 3–5, 1996 Proceedings. 1st ed. 1996
edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1084
オンライン: https://doi.org/10.1007/3-540-61310-2
16.

電子ブック
ＥＢ
16. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings. 1st ed. 1996
edited by Wojciech Penczek, Andrzej Szalas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: https://doi.org/10.1007/3-540-61550-4
17.

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

電子ブック
ＥＢ
18. Dependable Computing - EDCC-2 : Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings. 1st ed. 1996
edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1150
オンライン: https://doi.org/10.1007/3-540-61772-8
19.

電子ブック
ＥＢ
19. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: http://dx.doi.org/10.1007/3-540-60271-2
20.

電子ブック
ＥＢ
20. Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
edited by Paolo E. Camurati, Hans Eveking
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 987
オンライン: http://dx.doi.org/10.1007/3-540-60385-9
21.

電子ブック
ＥＢ
21. SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings
edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: http://dx.doi.org/10.1007/3-540-60609-2
22.

電子ブック
ＥＢ
22. SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings. 1st ed. 1995
edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: https://doi.org/10.1007/3-540-60609-2
23.

電子ブック
ＥＢ
23. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings. 1st ed. 1995
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: https://doi.org/10.1007/3-540-60271-2
24.

電子ブック
ＥＢ
24. Theory and Practice of Parallel Programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings. 1st ed. 1995
edited by Takayasu Ito, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 907
オンライン: https://doi.org/10.1007/BFb0026561
25.

電子ブック
ＥＢ
25. Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. 1st ed. 1995
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 996
オンライン: https://doi.org/10.1007/3-540-60579-7
26.

電子ブック
ＥＢ
26. Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Kanchana Kanchanasut, Jean-Jacques Levy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1023
オンライン: https://doi.org/10.1007/3-540-60688-2
27.

電子ブック
ＥＢ
27. High-Performance Computing and Networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995. Proceedings. 1st ed. 1995
edited by Bob Hertzberger, Giuseppe Serazzi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 919
オンライン: https://doi.org/10.1007/BFb0046600
28.

電子ブック
ＥＢ
28. Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings. 1st ed. 1995
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: https://doi.org/10.1007/3-540-60299-2
29.

電子ブック
ＥＢ
29. Human-Computer Interaction : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 876
オンライン: http://dx.doi.org/10.1007/3-540-58648-2
30.

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

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

電子ブック
ＥＢ
32. Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings. 1st ed. 1994
edited by P.S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: https://doi.org/10.1007/3-540-58715-2
33.

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

電子ブック
ＥＢ
34. Object-Oriented Methodologies and Systems : International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings. 1st ed. 1994
edited by Elisa Bertino, Susan Urban
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 858
オンライン: https://doi.org/10.1007/BFb0014012
35.

電子ブック
ＥＢ
35. Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers. 1st ed. 1994
edited by Hartmut Ehrig, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 785
オンライン: https://doi.org/10.1007/3-540-57867-6
36.

電子ブック
ＥＢ
36. Human-Computer Interaction : 4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers. 1st ed. 1994
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 876
オンライン: https://doi.org/10.1007/3-540-58648-2
37.

電子ブック
ＥＢ
37. Compiler Construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings. 1st ed. 1994
edited by Peter A. Fritzson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 786
オンライン: https://doi.org/10.1007/3-540-57877-3
38.

電子ブック
ＥＢ
38. Computers for Handicapped Persons : 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994. Proceedings. 1st ed. 1994
edited by Wolfgang L. Zagler, Geoffrey Busby, Roland Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 860
オンライン: https://doi.org/10.1007/3-540-58476-5
39.

電子ブック
ＥＢ
39. Fast Software Encryption : Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings. 1st ed. 1994
edited by Ross Anderson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 809
オンライン: https://doi.org/10.1007/3-540-58108-1
40.

電子ブック
ＥＢ
40. Applications of Invariance in Computer Vision : Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings. 1st ed. 1994
edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 825
オンライン: https://doi.org/10.1007/3-540-58240-1
41.

電子ブック
ＥＢ
41. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 755
オンライン: http://dx.doi.org/10.1007/3-540-57499-9
42.

電子ブック
ＥＢ
42. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: http://dx.doi.org/10.1007/BFb0039695
43.

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

電子ブック
ＥＢ
44. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
45.

電子ブック
ＥＢ
45. Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
edited by Michel Bidoit, Christine Choppy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 655
オンライン: http://dx.doi.org/10.1007/3-540-56379-2
46.

電子ブック
ＥＢ
46. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: http://dx.doi.org/10.1007/3-540-56883-2
47.

電子ブック
ＥＢ
47. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. 1st ed. 1993
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: https://doi.org/10.1007/3-540-56883-2
48.

電子ブック
ＥＢ
48. Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings. 1st ed. 1993
edited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 724
オンライン: https://doi.org/10.1007/3-540-57264-3
49.

電子ブック
ＥＢ
49. Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers. 1st ed. 1993
edited by Michel Bidoit, Christine Choppy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 655
オンライン: https://doi.org/10.1007/3-540-56379-2
50.

電子ブック
ＥＢ
50. Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings. 1st ed. 1993
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: https://doi.org/10.1007/BFb0039695