1.

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

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

電子ブック
ＥＢ
3. Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I
edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1123
オンライン: http://dx.doi.org/10.1007/3-540-61626-8
4.

電子ブック
ＥＢ
4. Database Issues for Data Visualization : IEEE Visualization '95 Workshop Atlanta, Georgia, USA, October 28, 1995 Proceedings
edited by Andreas Wierse, Georges G. Grinstein, Ulrich Lang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1183
オンライン: http://dx.doi.org/10.1007/3-540-62221-7
5.

電子ブック
ＥＢ
5. Algorithm Theory — SWAT'96 : 5th Scandinavian Workshop on Algorithm Theory Reykjavík, Iceland, July 3–5, 1996 Proceedings
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: http://dx.doi.org/10.1007/3-540-61422-2
6.

電子ブック
ＥＢ
6. Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II
edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1124
オンライン: http://dx.doi.org/10.1007/BFb0024677
7.

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

電子ブック
ＥＢ
8. Metaclasses and Their Application : Data Model Tailoring and Database Integration
by Wolfgang Klas, Michael Schrefl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 943
オンライン: http://dx.doi.org/10.1007/BFb0027185
9.

電子ブック
ＥＢ
9. Algorithms — ESA '95 : Third Annual European Symposium Corfu, Greece, September 25–27, 1995 Proceedings
edited by Paul Spirakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 979
オンライン: http://dx.doi.org/10.1007/3-540-60313-1
10.

電子ブック
ＥＢ
10. Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1017
オンライン: http://dx.doi.org/10.1007/3-540-60618-1
11.

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

電子ブック
ＥＢ
12. Algorithms and Data Structures : 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings
edited by Selim G. Akl, Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 955
オンライン: http://dx.doi.org/10.1007/3-540-60220-8
13.

電子ブック
ＥＢ
13. Management and Processing of Complex Data Structures : Third Workshop on Information Systems and Artificial Intelligence Hamburg, Germany, February 28–March 2, 1994 Proceedings
edited by Kai Luck, Heinz Marburger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 777
オンライン: http://dx.doi.org/10.1007/3-540-57802-1
14.

電子ブック
ＥＢ
14. Algorithms and Computation : 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings
edited by Ding-Zhu Du, Xiang-Sun Zhang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 834
オンライン: http://dx.doi.org/10.1007/3-540-58325-4
15.

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

電子ブック
ＥＢ
16. Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
edited by Hans Jürgen Schneider, Hartmut Ehrig
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 776
オンライン: http://dx.doi.org/10.1007/3-540-57787-4
17.

電子ブック
ＥＢ
17. IGIS '94: Geographic Information Systems : International Workshop on Advanced Research in Geographic Information Systems Monte Verità, Ascona, Switzerland February 28 – March 4, 1994 Proceedings
edited by Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 884
オンライン: http://dx.doi.org/10.1007/3-540-58795-0
18.

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

電子ブック
ＥＢ
19. Algorithm Theory — SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings
edited by Erik M. Schmidt, Sven Skyum
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 824
オンライン: http://dx.doi.org/10.1007/3-540-58218-5
20.

電子ブック
ＥＢ
20. Algorithms — ESA '94 : Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings
edited by Jan Leeuwen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 855
オンライン: http://dx.doi.org/10.1007/BFb0049390
21.

電子ブック
ＥＢ
21. Algorithms and Complexity : Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings
edited by M. Bonuccelli, P. Crescenzi, R. Petreschi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 778
オンライン: http://dx.doi.org/10.1007/3-540-57811-0
22.

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

電子ブック
ＥＢ
23. Algorithms and Data Structures : Third Workshop, WADS '93 Montréal, Canada, August 11–13, 1993 Proceedings
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 709
オンライン: http://dx.doi.org/10.1007/3-540-57155-8
24.

電子ブック
ＥＢ
24. Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
edited by Habib Abdulrab, Jean-Pierre Pécuchet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 677
オンライン: http://dx.doi.org/10.1007/3-540-56730-5
25.

電子ブック
ＥＢ
25. Spatial Information Theory A Theoretical Basis for GIS : European Conference, COSIT'93 Marciana Marina, Elba Island, Italy September 19–22, 1993 Proceedings
edited by Andrew U. Frank, Irene Campari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 716
オンライン: http://dx.doi.org/10.1007/3-540-57207-4
26.

電子ブック
ＥＢ
26. Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings
edited by Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 657
オンライン: http://dx.doi.org/10.1007/3-540-56402-0
27.

電子ブック
ＥＢ
27. Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
edited by Andrzej M. Borzyszkowski, Stefan Sokołowski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 711
オンライン: http://dx.doi.org/10.1007/3-540-57182-5
28.

電子ブック
ＥＢ
28. Foundations of Data Organization and Algorithms : 4th International Conference, FODO '93 Chicago, Illinois, USA, October 13–15, 1993 Proceedings
edited by David B. Lomet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 730
オンライン: http://dx.doi.org/10.1007/3-540-57301-1
29.

電子ブック
ＥＢ
29. Algorithm Theory — SWAT '92 : Third Scandinavian Workshop on Algorithm Theory Helsinki, Finland, July 8–10, 1992 Proceedings
edited by Otto Nurmi, Esko Ukkonen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 621
オンライン: http://dx.doi.org/10.1007/3-540-55706-7
30.

電子ブック
ＥＢ
30. Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
edited by K. U. Schulz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 572
オンライン: http://dx.doi.org/10.1007/3-540-55124-7
31.

電子ブック
ＥＢ
31. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space : International Conference GIS — From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning Pisa, Italy, September 21–23, 1992 Proceedings
edited by A. U. Frank, I. Campari, U. Formentini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 639
オンライン: http://dx.doi.org/10.1007/3-540-55966-3
32.

電子ブック
ＥＢ
32. Automata, Languages and Programming : 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
edited by W. Kuich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 623
オンライン: http://dx.doi.org/10.1007/3-540-55719-9
33.

電子ブック
ＥＢ
33. CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings
edited by J. -C. Raoult
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 581
オンライン: http://dx.doi.org/10.1007/3-540-55251-0
34.

電子ブック
ＥＢ
34. Data structures and efficient algorithms : Final Report on the DFG Special Joint Initiative
edited by B. Monien, Th. Ottmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 594
オンライン: http://dx.doi.org/10.1007/3-540-55488-2
35.

電子ブック
ＥＢ
35. Graph-Theoretic Concepts in Computer Science : 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings
edited by Gunther Schmidt, Rudolf Berghammer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 570
オンライン: http://dx.doi.org/10.1007/3-540-55121-2
36.

電子ブック
ＥＢ
36. Automata, Languages and Programming : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings
edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 510
オンライン: http://dx.doi.org/10.1007/3-540-54233-7
37.

電子ブック
ＥＢ
37. Graph-Theoretic Concepts in Computer Science : 16th International Workshop WG '90 Berlin, Germany, June 20–22, 1990 Proceedings
edited by Rolf H. Möhring
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 484
オンライン: http://dx.doi.org/10.1007/3-540-53832-1
38.

電子ブック
ＥＢ
38. Design and Implementation of Large Spatial Databases : First Symposium SSD '89 Santa Barbara, California, July 17/18, 1989 Proceedings
edited by Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, Yuan-Fang Wang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 409
オンライン: http://dx.doi.org/10.1007/3-540-52208-5
39.

電子ブック
ＥＢ
39. Automata, Languages and Programming : 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings
edited by Michael S. Paterson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 443
オンライン: http://dx.doi.org/10.1007/BFb0032016
40.

電子ブック
ＥＢ
40. Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 425
オンライン: http://dx.doi.org/10.1007/BFb0043074
41.

電子ブック
ＥＢ
41. Efficient Query Processing in Geographic Information Systems
by Beng Chin Ooi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 471
オンライン: http://dx.doi.org/10.1007/BFb0019984
42.

電子ブック
ＥＢ
42. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11–14, 1990 Proceedings
edited by John R. Gilbert, Rolf Karlsson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 447
オンライン: http://dx.doi.org/10.1007/3-540-52846-6
43.

電子ブック
ＥＢ
43. Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings
edited by C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 405
オンライン: http://dx.doi.org/10.1007/3-540-52048-1
44.

電子ブック
ＥＢ
44. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: http://dx.doi.org/10.1007/BFb0013019
45.

電子ブック
ＥＢ
45. Concrete and Abstract Voronoi Diagrams
by Rolf Klein
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 400
オンライン: http://dx.doi.org/10.1007/3-540-52055-4
46.

電子ブック
ＥＢ
46. Optimal Algorithms : International Symposium Varna, Bulgaria, May 29–June 2, 1989 Proceedings
edited by Hristo Djidjev
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 401
オンライン: http://dx.doi.org/10.1007/3-540-51859-2
47.

電子ブック
ＥＢ
47. Efficient Structures for Geometric Data Management
edited by Oliver Günther
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 337
オンライン: http://dx.doi.org/10.1007/BFb0046097
48.

電子ブック
ＥＢ
48. The Munich Project CIP : Volume II: The Program Transformation System CIP-S
edited by F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 292
オンライン: http://dx.doi.org/10.1007/3-540-18779-0
49.

電子ブック
ＥＢ
49. ICDT '86 : International Conference on Database Theory Rome, Italy, September 8–10, 1986 Proceedings
edited by Giorgio Ausiello, Paolo Atzeni
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 243
オンライン: http://dx.doi.org/10.1007/3-540-17187-8
50.

電子ブック
ＥＢ
50. Paragon : A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types
by Mark Steven Sherman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 189
オンライン: http://dx.doi.org/10.1007/3-540-15212-1
51.

電子ブック
ＥＢ
51. The Design of Dynamic Data Structures
by Mark H. Overmars
出版情報: Berlin, Heidelberg : Springer-Verlag, 1983
シリーズ名: Lecture Notes in Computer Science ; 156
オンライン: http://dx.doi.org/10.1007/BFb0014927