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. Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: http://dx.doi.org/10.1007/3-540-60299-2
38.

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

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

電子ブック
ＥＢ
40. Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 902
オンライン: http://dx.doi.org/10.1007/BFb0014040
41.

電子ブック
ＥＢ
41. Deductive and Object-Oriented Databases : Fourth International Conference, DOOD '95 Singapore, December 4–7, 1995 Proceedings
edited by Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1013
オンライン: http://dx.doi.org/10.1007/3-540-60608-4
42.

電子ブック
ＥＢ
42. OOER '95: Object-Oriented and Entity-Relationship Modeling : 14th International Conference Gold Coast, Australia, December 13–15, 1995 Proceedings
edited by Michael P. Papazoglou
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1021
オンライン: http://dx.doi.org/10.1007/BFb0020515
43.

電子ブック
ＥＢ
43. Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text
edited by Johan Jeuring, Erik Meijer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 925
オンライン: http://dx.doi.org/10.1007/3-540-59451-5
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. Constraint Programming: Basics and Trends : 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
edited by Andreas Podelski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 910
オンライン: http://dx.doi.org/10.1007/3-540-59155-9
46.

電子ブック
ＥＢ
46. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings
edited by Ernst W. Mayr, Claude Puech
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 900
オンライン: http://dx.doi.org/10.1007/3-540-59042-0
47.

電子ブック
ＥＢ
47. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928
オンライン: http://dx.doi.org/10.1007/3-540-59487-6
48.

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

電子ブック
ＥＢ
49. Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings
edited by Alan Mycroft
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 983
オンライン: http://dx.doi.org/10.1007/3-540-60360-3
50.

電子ブック
ＥＢ
50. Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
edited by Michael Fisher, Richard Owens
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 897
オンライン: http://dx.doi.org/10.1007/3-540-58976-7
51.

電子ブック
ＥＢ
51. Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings
edited by Pieter H. Hartel, Rinus Plasmeijer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1022
オンライン: http://dx.doi.org/10.1007/3-540-60675-0
52.

電子ブック
ＥＢ
52. Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism
edited by Josyula Ramachandra Rao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 908
オンライン: http://dx.doi.org/10.1007/3-540-59173-7
53.

電子ブック
ＥＢ
53. Exploitation of Fine-Grain Parallelism
edited by Günter Böckle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 942
オンライン: http://dx.doi.org/10.1007/BFb0017665
54.

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

電子ブック
ＥＢ
55. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings
edited by Zoltán Fülöp, Ferenc Gécseg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: http://dx.doi.org/10.1007/3-540-60084-1
56.

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

電子ブック
ＥＢ
57. Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: http://dx.doi.org/10.1007/3-540-60117-1
58.

電子ブック
ＥＢ
58. Software Engineering — ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings
edited by Wilhelm Schäfer, Pere Botella
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 989
オンライン: http://dx.doi.org/10.1007/3-540-60406-5
59.

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

電子ブック
ＥＢ
60. ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
edited by Mario Tokoro, Remo Pareschi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1995
シリーズ名: Lecture Notes in Computer Science ; 952
オンライン: http://dx.doi.org/10.1007/3-540-49538-X
61.

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

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

電子ブック
ＥＢ
63. Formal Development of Reactive Systems : Case Study Production Cell
edited by Claus Lewerentz, Thomas Lindner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 891
オンライン: http://dx.doi.org/10.1007/3-540-58867-1
64.

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

電子ブック
ＥＢ
65. Languages and Compilers for Parallel Computing : 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings
edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 892
オンライン: http://dx.doi.org/10.1007/BFb0025866
66.

電子ブック
ＥＢ
66. Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
edited by Manuel Hermenegildo, S. Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 982
オンライン: http://dx.doi.org/10.1007/BFb0026808
67.

電子ブック
ＥＢ
67. Constraint Processing : Selected Papers
edited by Manfred Meyer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 923
オンライン: http://dx.doi.org/10.1007/3-540-59479-5
68.

電子ブック
ＥＢ
68. Languages and Compilers for Parallel Computing : 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: http://dx.doi.org/10.1007/3-540-57659-2
69.

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

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

電子ブック
ＥＢ
71. Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
edited by Frank Pfenning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 822
オンライン: http://dx.doi.org/10.1007/3-540-58216-9
72.

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

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

電子ブック
ＥＢ
74. Automata, Languages and Programming : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
edited by Serge Abiteboul, Eli Shamir
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 820
オンライン: http://dx.doi.org/10.1007/3-540-58201-0
75.

電子ブック
ＥＢ
75. Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings
edited by Roy Dyckhoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 798
オンライン: http://dx.doi.org/10.1007/3-540-58025-5
76.

電子ブック
ＥＢ
76. Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings
edited by Alan Borning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 874
オンライン: http://dx.doi.org/10.1007/3-540-58601-6
77.

電子ブック
ＥＢ
77. High-Performance Computing and Networking : International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 796
オンライン: http://dx.doi.org/10.1007/BFb0020340
78.

電子ブック
ＥＢ
78. Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
edited by Masami Hagiya, John C. Mitchell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 789
オンライン: http://dx.doi.org/10.1007/3-540-57887-0
79.

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

電子ブック
ＥＢ
80. Visualization of Scientific Parallel Programs
edited by Gerald Tomas, Christoph W. Ueberhuber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 771
オンライン: http://dx.doi.org/10.1007/3-540-57738-6
81.

電子ブック
ＥＢ
81. Parallel Problem Solving from Nature — PPSN III : International Conference on Evolutionary Computation The Third Conference on Parallel Problem Solving from Nature Jerusalem, Israel, October 9–14, 1994 Proceedings
edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 866
オンライン: http://dx.doi.org/10.1007/3-540-58484-6
82.

電子ブック
ＥＢ
82. Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
edited by Manuel Hermenegildo, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 844
オンライン: http://dx.doi.org/10.1007/3-540-58402-1
83.

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

電子ブック
ＥＢ
84. Object-Oriented Programming : 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings
edited by Mario Tokoro, Remo Pareschi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 821
オンライン: http://dx.doi.org/10.1007/BFb0052172
85.

電子ブック
ＥＢ
85. PARLE'94 Parallel Architectures and Languages Europe : 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings
edited by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 817
オンライン: http://dx.doi.org/10.1007/3-540-58184-7
86.

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

電子ブック
ＥＢ
87. Trees in Algebra and Programming — CAAP'94 : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
edited by Sophie Tison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 787
オンライン: http://dx.doi.org/10.1007/BFb0017469
88.

電子ブック
ＥＢ
88. Parallel Processing: CONPAR 94 — VAPP VI : Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
edited by Bruno Buchberger, Jens Volkert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 854
オンライン: http://dx.doi.org/10.1007/3-540-58430-7
89.

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

電子ブック
ＥＢ
90. Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
edited by Baudouin Charlier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 864
オンライン: http://dx.doi.org/10.1007/3-540-58485-4
91.

電子ブック
ＥＢ
91. Distributed Programming Paradigms with Cryptography Applications
edited by Jonathan S. Greenfield
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 870
オンライン: http://dx.doi.org/10.1007/BFb0017590
92.

電子ブック
ＥＢ
92. FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 873
オンライン: http://dx.doi.org/10.1007/3-540-58555-9
93.

電子ブック
ＥＢ
93. Constraints in Computational Logics : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 845
オンライン: http://dx.doi.org/10.1007/BFb0016839
94.

電子ブック
ＥＢ
94. Parallel Computer Architectures : Theory, Hardware, Software, Applications
edited by Arndt Bode, Mario Cin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 732
オンライン: http://dx.doi.org/10.1007/978-3-662-21577-7
95.

電子ブック
ＥＢ
95. The Generic Development Language Deva : Presentation and Case Studies
by Matthias Weber, Martin Simons, Christine Lafontaine
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 738
オンライン: http://dx.doi.org/10.1007/3-540-57335-6
96.

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

電子ブック
ＥＢ
97. CONCUR'93 : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings
edited by Eike Best
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 715
オンライン: http://dx.doi.org/10.1007/3-540-57208-2
98.

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

電子ブック
ＥＢ
99. Automata, Languages and Programming : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings
edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 700
オンライン: http://dx.doi.org/10.1007/3-540-56939-1
100.

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