1.

電子ブック
ＥＢ
1. Seminaire de Probabilites XXXIII. 1st ed. 1999
edited by J. Azema, M. Emery, M. Ledoux, M. Yor
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999
シリーズ名: Séminaire de Probabilités ; 1709
オンライン: https://doi.org/10.1007/BFb0096508
2.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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