1.

電子ブック
ＥＢ
1. Workflow Management Systems for Process Organisations
by Thomas Schäl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1096
オンライン: http://dx.doi.org/10.1007/978-3-662-21574-6
2.

電子ブック
ＥＢ
2. Communication and Cooperation in Agent Systems : A Pragmatic Theory
edited by Afsaneh Haddadi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1056
オンライン: http://dx.doi.org/10.1007/3-540-61044-8
3.

電子ブック
ＥＢ
3. Trends in Natural Language Generation An Artificial Intelligence Perspective : Fourth European Workshop, EWNLG '93 Pisa, Italy, April 28–30, 1993 Selected Papers
edited by Giovanni Adorni, Michael Zock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1036
オンライン: http://dx.doi.org/10.1007/3-540-60800-1
4.

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

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

電子ブック
ＥＢ
6. Discrete Geometry for Computer Imagery : 6th International Workshop, DGCI'96 Lyon, France, November 13–15, 1996 Proceedings
edited by Serge Miguet, Annick Montanvert, Stéphane Ubéda
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1176
オンライン: http://dx.doi.org/10.1007/3-540-62005-2
7.

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

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

電子ブック
ＥＢ
9. Information Theory and Applications II : 4th Canadian Workshop Lac Delage, Québec, Canada, May 28–30, 1995 Selected Papers
edited by Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1133
オンライン: http://dx.doi.org/10.1007/BFb0025130
10.

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

電子ブック
ＥＢ
11. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
12.

電子ブック
ＥＢ
12. Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings
edited by Tibor Gyimóthy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: http://dx.doi.org/10.1007/3-540-61053-7
13.

電子ブック
ＥＢ
13. Algorithms — ESA '96 : Fourth Annual European Symposium Barcelona, Spain, September 25–27, 1996 Proceedings
edited by Josep Diaz, Maria Serna
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1136
オンライン: http://dx.doi.org/10.1007/3-540-61680-2
14.

電子ブック
ＥＢ
14. Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing
edited by Stefan Wermter, Ellen Riloff, Gabriele Scheler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1040
オンライン: http://dx.doi.org/10.1007/3-540-60925-3
15.

電子ブック
ＥＢ
15. Optimization of SQL Queries for Parallel Machines
edited by Waqar Hasan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1182
オンライン: http://dx.doi.org/10.1007/BFb0020710
16.

電子ブック
ＥＢ
16. Rewriting Techniques and Applications : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: http://dx.doi.org/10.1007/3-540-61464-8
17.

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

電子ブック
ＥＢ
18. Logics for Concurrency : Structure versus Automata
edited by Faron Moller, Graham Birtwistle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1043
オンライン: http://dx.doi.org/10.1007/3-540-60915-6
19.

電子ブック
ＥＢ
19. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071
オンライン: http://dx.doi.org/10.1007/3-540-61208-4
20.

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

電子ブック
ＥＢ
21. Adaption and Learning in Multi-Agent Systems : IJCAI'95 Workshop Montréal, Canada, August 21, 1995 Proceedings
edited by Gerhard Weiß, Sandip Sen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1042
オンライン: http://dx.doi.org/10.1007/3-540-60923-7
22.

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

電子ブック
ＥＢ
23. Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings
edited by Franz J. Brandenburg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1027
オンライン: http://dx.doi.org/10.1007/BFb0021783
24.

電子ブック
ＥＢ
24. Active Visual Inference of Surface Shape
by Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1016
オンライン: http://dx.doi.org/10.1007/3-540-60642-4
25.

電子ブック
ＥＢ
25. Automata, Languages and Programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings
edited by Friedhelm Meyer, Burkhard Monien
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1099
オンライン: http://dx.doi.org/10.1007/3-540-61440-0
26.

電子ブック
ＥＢ
26. Applied Computational Geometry Towards Geometric Engineering : FCRC'96 Workshop, WACG'96 Philadelphia, PA, May 27–28, 1996 Selected Papers
edited by Ming C. Lin, Dinesh Manocha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1148
オンライン: http://dx.doi.org/10.1007/BFb0014474
27.

電子ブック
ＥＢ
27. Algorithms and Computation : 7th International Symposium, ISAAC '96 Osaka, Japan, December 16–18, 1996 Proceedings
edited by Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1178
オンライン: http://dx.doi.org/10.1007/BFb0009475
28.

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

電子ブック
ＥＢ
29. Foundations of Software Technology and Theoretical Computer Science : 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
edited by V. Chandru, V. Vinay
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1180
オンライン: http://dx.doi.org/10.1007/3-540-62034-6
30.

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

電子ブック
ＥＢ
31. Teleservices and Multimedia Communications : Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings
edited by David Hutchison, Henning Christiansen, Geoff Coulson, André Danthine
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1052
オンライン: http://dx.doi.org/10.1007/3-540-61028-6
32.

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

電子ブック
ＥＢ
33. Hybrid Systems III : Verification and Control
edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1066
オンライン: http://dx.doi.org/10.1007/BFb0020931
34.

電子ブック
ＥＢ
34. Algorithmic Learning Theory : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings
edited by Setsuo Arikawa, Arun K. Sharma
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1160
オンライン: http://dx.doi.org/10.1007/3-540-61863-5
35.

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

電子ブック
ＥＢ
36. Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: http://dx.doi.org/10.1007/3-540-61780-9
37.

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

電子ブック
ＥＢ
38. Studies of Software Design : ICSE'93 Workshop Maltimore, Maryland, USA, May 17–18, 1993 Selected Papers
edited by David Alex Lamb
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1078
オンライン: http://dx.doi.org/10.1007/BFb0030514
39.

電子ブック
ＥＢ
39. Electronic Commerce : Current Research Issues and Applications
edited by Nabil R. Adam, Yelena Yesha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1028
オンライン: http://dx.doi.org/10.1007/3-540-60738-2
40.

電子ブック
ＥＢ
40. Algorithmic Number Theory : Second International Symposium, ANTS-II Talence, France, May 18–23, 1996 Proceedings
edited by Henri Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1122
オンライン: http://dx.doi.org/10.1007/3-540-61581-4
41.

電子ブック
ＥＢ
41. Fast Software Encryption : Third International Workshop Cambridge, UK, February 21–23 1996 Proceedings
edited by Dieter Gollmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1039
オンライン: http://dx.doi.org/10.1007/3-540-60865-6
42.

電子ブック
ＥＢ
42. Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
edited by M. A. McRobbie, J. K. Slaney
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104
オンライン: http://dx.doi.org/10.1007/3-540-61511-3
43.

電子ブック
ＥＢ
43. Computing and Combinatorics : Second Annual International Conference, COCOON '96 Hong Kong, June 17–19, 1996 Proceedings
edited by Jin-Yi Cai, Chak Kuen Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: http://dx.doi.org/10.1007/3-540-61332-3
44.

電子ブック
ＥＢ
44. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: http://dx.doi.org/10.1007/3-540-61254-8
45.

電子ブック
ＥＢ
45. Distributed Software Agents and Applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings
edited by John W. Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069
オンライン: http://dx.doi.org/10.1007/3-540-61157-6
46.

電子ブック
ＥＢ
46. PRICAI'96: Topics in Artificial Intelligence : 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings
edited by Norman Foo, Randy Goebel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1114
オンライン: http://dx.doi.org/10.1007/3-540-61532-6
47.

電子ブック
ＥＢ
47. KI-96: Advances in Artificial Intelligence : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings
edited by Günther Görz, Steffen Hölldobler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1137
オンライン: http://dx.doi.org/10.1007/3-540-61708-6
48.

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

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

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