1.

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

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

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

電子ブック
ＥＢ
4. Algorithm Theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings. 1st ed. 1996
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: https://doi.org/10.1007/3-540-61422-2
5.

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

電子ブック
ＥＢ
6. Metaclasses and Their Application : Data Model Tailoring and Database Integration. 1st ed. 1995
edited by Wolfgang Klas, Michael Schrefl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 943
オンライン: https://doi.org/10.1007/BFb0027185
7.

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

電子ブック
ＥＢ
8. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings. 1st ed. 1995
edited by Zoltan Fülöp, Ferenc Gecseg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: https://doi.org/10.1007/3-540-60084-1
9.

電子ブック
ＥＢ
9. Algorithms and Complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings. 1st ed. 1994
edited by Maurizio Bonuccelli, Pierluigi Crescenzi, Rossella Petreschi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 778
オンライン: https://doi.org/10.1007/3-540-57811-0
10.

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

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

電子ブック
ＥＢ
12. Algorithmic Number Theory : First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings. 1st ed. 1994
edited by Leonard M. Adleman, Ming-Deh Huang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 877
オンライン: https://doi.org/10.1007/3-540-58691-1
13.

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

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

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

電子ブック
ＥＢ
16. Design of Hashing Algorithms. 1st ed. 1993
by Josef Pieprzyk, Babak Sadeghiyan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 756
オンライン: https://doi.org/10.1007/3-540-57500-6
17.

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

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

電子ブック
ＥＢ
19. Word Equations and Related Topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings. 1st ed. 1993
edited by Habib Abdulrab, Jean-Pierre Pecuchet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 677
オンライン: https://doi.org/10.1007/3-540-56730-5
20.

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

電子ブック
ＥＢ
21. Data Structures and Efficient Algorithms : Final Report on the DFG Special Joint Initiative. 1st ed. 1992
edited by Burkhard Monien, Thomas Ottmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 594
オンライン: https://doi.org/10.1007/3-540-55488-2
22.

電子ブック
ＥＢ
22. 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. 1st ed. 1992
edited by Andrew U. Frank, Irene Campari, Ubaldo Formentini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 639
オンライン: https://doi.org/10.1007/3-540-55966-3
23.

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

電子ブック
ＥＢ
24. Algorithms and Computation : Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992. Proceedings. 1st ed. 1992
edited by Toshihide Ibaraki, Yasuyoshi Inagaki, Kazuo Iwama, Takao Nishizeki, Masafumi Yamashita
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 650
オンライン: https://doi.org/10.1007/3-540-56279-6
25.

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

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

電子ブック
ＥＢ
27. Automata, Languages and Programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings. 1st ed. 1991
edited by Javier Leach Albert, Burkhard Monien, Mario Rodriguez Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 510
オンライン: https://doi.org/10.1007/3-540-54233-7
28.

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

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

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

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

電子ブック
ＥＢ
32. Efficient Query Processing in Geographic Information Systems. 1st ed. 1990
by Beng Chin Ooi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 471
オンライン: https://doi.org/10.1007/BFb0019984
33.

電子ブック
ＥＢ
33. Algorithms and Data Structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings. 1st ed. 1989
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 382
オンライン: https://doi.org/10.1007/3-540-51542-9
34.

電子ブック
ＥＢ
34. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988. 1st ed. 1989
edited by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: https://doi.org/10.1007/BFb0013019
35.

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

電子ブック
ＥＢ
36. Graph-Theoretic Concepts in Computer Science : International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings. 1st ed. 1989
edited by Jan van Leeuwen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 344
オンライン: https://doi.org/10.1007/3-540-50728-0
37.

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

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

電子ブック
ＥＢ
39. Distributed Algorithms : 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings. 1st ed. 1988
edited by Jan van Leeuwen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 312
オンライン: https://doi.org/10.1007/BFb0019789
40.

電子ブック
ＥＢ
40. Efficient Structures for Geometric Data Management. 1st ed. 1988
by Oliver Günther
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 337
オンライン: https://doi.org/10.1007/BFb0046097
41.

電子ブック
ＥＢ
41. The Munich Project CIP : Volume II: The Programme Transformation System CIP-S. 1st ed. 1987
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 292
オンライン: https://doi.org/10.1007/3-540-18779-0
42.

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

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

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