1.

電子ブック
ＥＢ
1. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings
edited by László Böszörményi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: http://dx.doi.org/10.1007/3-540-61695-0
2.

電子ブック
ＥＢ
2. Over-Constrained Systems
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: http://dx.doi.org/10.1007/3-540-61479-6
3.

電子ブック
ＥＢ
3. Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers
edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1120
オンライン: http://dx.doi.org/10.1007/3-540-61576-8
4.

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

電子ブック
ＥＢ
5. Parallel Virtual Machine — EuroPVM '96 : Third European PVM Conference Munich, Germany, October 7–9, 1996 Proceedings
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1156
オンライン: http://dx.doi.org/10.1007/3-540-61779-5
6.

電子ブック
ＥＢ
6. Applied Parallel Computing Industrial Computation and Optimization : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings
edited by Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1184
オンライン: http://dx.doi.org/10.1007/3-540-62095-8
7.

電子ブック
ＥＢ
7. Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings
edited by Paolo Ciancarini, Chris Hankin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1061
オンライン: http://dx.doi.org/10.1007/3-540-61052-9
8.

電子ブック
ＥＢ
8. Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hanne Riis Nielson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: http://dx.doi.org/10.1007/3-540-61055-3
9.

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

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

電子ブック
ＥＢ
11. Reasoning with Logic Programming
edited by José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111
オンライン: http://dx.doi.org/10.1007/3-540-61488-5
12.

電子ブック
ＥＢ
12. Advanced Functional Programming : Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
edited by John Launchbury, Erik Meijer, Tim Sheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1129
オンライン: http://dx.doi.org/10.1007/3-540-61628-4
13.

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

電子ブック
ＥＢ
14. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
15.

電子ブック
ＥＢ
15. High-Performance Computing and Networking : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings
edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: http://dx.doi.org/10.1007/3-540-61142-8
16.

電子ブック
ＥＢ
16. Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050
オンライン: http://dx.doi.org/10.1007/3-540-60983-0
17.

電子ブック
ＥＢ
17. Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
edited by Maurizio Proietti
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1048
オンライン: http://dx.doi.org/10.1007/3-540-60939-3
18.

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

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

電子ブック
ＥＢ
20. Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
edited by Radhia Cousot, David A. Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1145
オンライン: http://dx.doi.org/10.1007/3-540-61739-6
21.

電子ブック
ＥＢ
21. The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications
edited by Guy-René Perrin, Alain Darte
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1132
オンライン: http://dx.doi.org/10.1007/3-540-61736-1
22.

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

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

電子ブック
ＥＢ
24. Languages and Compilers for Parallel Computing : 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: http://dx.doi.org/10.1007/BFb0014187
25.

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

電子ブック
ＥＢ
26. Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science : Second International Workshop, PARA '95 Lyngby, Denmark, August 21–24, 1995 Proceedings
edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1041
オンライン: http://dx.doi.org/10.1007/3-540-60902-4
27.

電子ブック
ＥＢ
27. Constraint Databases and Application : ESPRIT WG CONTESSA Workshop Friedrichshafen, Germany, September 8#9, 1995 Proceedings
edited by Gabriel Kuper, Mark Wallace
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1034
オンライン: http://dx.doi.org/10.1007/3-540-60794-3
28.

電子ブック
ＥＢ
28. FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
edited by Marie-Claude Gaudel, James Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1051
オンライン: http://dx.doi.org/10.1007/3-540-60973-3
29.

電子ブック
ＥＢ
29. CONCUR '96: Concurrency Theory : 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
edited by Ugo Montanari, Vladimiro Sassone
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1119
オンライン: http://dx.doi.org/10.1007/3-540-61604-7
30.

電子ブック
ＥＢ
30. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: http://dx.doi.org/10.1007/BFb0027227
31.

電子ブック
ＥＢ
31. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings
edited by Herbert Kuchen, S. Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: http://dx.doi.org/10.1007/3-540-61756-6
32.

電子ブック
ＥＢ
32. Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: http://dx.doi.org/10.1007/3-540-61551-2
33.

電子ブック
ＥＢ
33. Partial Evaluation : International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
edited by Olivier Danvy, Robert Glück, Peter Thiemann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1110
オンライン: http://dx.doi.org/10.1007/3-540-61580-6
34.

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

電子ブック
ＥＢ
35. ECOOP ’96 — Object-Oriented Programming : 10th European Conference Linz, Austria, July 8–12, 1996 Proceedings
edited by Pierre Cointe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1098
オンライン: http://dx.doi.org/10.1007/BFb0053051
36.

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

電子ブック
ＥＢ
37. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
38.

電子ブック
ＥＢ
38. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control. 1st ed. 1996
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: https://doi.org/10.1007/BFb0027227
39.

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

電子ブック
ＥＢ
40. Applied Parallel Computing. Industrial Computation and Optimization : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996, Proceedings. 1st ed. 1996
edited by Jerzy Wasniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1184
オンライン: https://doi.org/10.1007/3-540-62095-8
41.

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

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

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

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

電子ブック
ＥＢ
45. Over-Constrained Systems. 1st ed. 1996
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: https://doi.org/10.1007/3-540-61479-6
46.

電子ブック
ＥＢ
46. Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings. 1st ed. 1996
edited by Hanne R. Nielson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: https://doi.org/10.1007/3-540-61055-3
47.

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

電子ブック
ＥＢ
48. Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. 1st ed. 1996
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1050
オンライン: https://doi.org/10.1007/3-540-60983-0
49.

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

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