1.

電子ブック
ＥＢ
1. Elemental Methods in Ergodic Ramsey Theory [e-books]
by Randall McCutcheon
出版情報: Berlin, Heidelberg : Springer-Verlag, 1999
シリーズ名: Lecture Notes in Mathematics ; 1722
オンライン: http://dx.doi.org/10.1007/BFb0093959
2.

電子ブック
ＥＢ
2. Flows on 2-dimensional Manifolds : An Overview [e-books]
by Igor Nikolaev, Evgeny Zhuzhoma
出版情報: Berlin, Heidelberg : Springer-Verlag, 1999
シリーズ名: Lecture Notes in Mathematics ; 1705
オンライン: http://dx.doi.org/10.1007/BFb0093599
3.

電子ブック
ＥＢ
3. Schubert Varieties and Degeneracy Loci [e-books]
by William Fulton, Piotr Pragacz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1998
シリーズ名: Lecture Notes in Mathematics ; 1689
オンライン: http://dx.doi.org/10.1007/BFb0096380
4.

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
12. Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1073
オンライン: http://dx.doi.org/10.1007/3-540-61228-9
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. Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings
edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1084
オンライン: http://dx.doi.org/10.1007/3-540-61310-2
15.

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

電子ブック
ＥＢ
16. Solving Combinatorial Optimization Problems in Parallel : Methods and Techniques
edited by Afonso Ferreira, Panos Pardalos
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1054
オンライン: http://dx.doi.org/10.1007/BFb0027114
17.

電子ブック
ＥＢ
17. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
edited by Wojciech Penczek, Andrzej Szałas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: http://dx.doi.org/10.1007/3-540-61550-4
18.

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

電子ブック
ＥＢ
19. Cryptography: Policy and Algorithms : International Conference Brisbane, Queensland, Australia, July 3–5, 1995 Proceedings
edited by Ed Dawson, Jovan Golić
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1029
オンライン: http://dx.doi.org/10.1007/BFb0032342
20.

電子ブック
ＥＢ
20. Advances in Cryptology — ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security Kyongju, Korea, November 3–7, 1996 Proceedings
edited by Kwangjo Kim, Tsutomu Matsumoto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1163
オンライン: http://dx.doi.org/10.1007/BFb0034829
21.

電子ブック
ＥＢ
21. Information Security and Privacy : First Australasian Conference, ACISP'96 Wollongong, NSW, Australia, June 24–26, 1996 Proceedings
edited by Josef Pieprzyk, Jennifer Seberry
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1172
オンライン: http://dx.doi.org/10.1007/BFb0023281
22.

電子ブック
ＥＢ
22. Bounded Incremental Computation
edited by G. Ramalingam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1089
オンライン: http://dx.doi.org/10.1007/BFb0028290
23.

電子ブック
ＥＢ
23. Progress in Evolutionary Computation : AI '93 and AI '94 Workshops on Evolutionary Computation Melbourne, Victoria, Australia, November 16, 1993 Armidale, NSW, Australia, November 21–22, 1994 Selected Papers
edited by Xin Yao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 956
オンライン: http://dx.doi.org/10.1007/3-540-60154-6
24.

電子ブック
ＥＢ
24. Graph-Theoretic Concepts in Computer Science : 20th International Workshop, WG '94 Herrsching, Germany, June 16–18, 1994 Proceedings
edited by Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 903
オンライン: http://dx.doi.org/10.1007/3-540-59071-4
25.

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

電子ブック
ＥＢ
26. Evolution and Biocomputation : Computational Models of Evolution
edited by Wolfgang Banzhaf, Frank H. Eeckman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 899
オンライン: http://dx.doi.org/10.1007/3-540-59046-3
27.

電子ブック
ＥＢ
27. Algorithms and Computations : 6th International Symposium, ISAAC '95 Cairns, Australia, December 4–6, 1995 Proceedings
edited by John Staples, Peter Eades, Naoki Katoh, Alistair Moffat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1004
オンライン: http://dx.doi.org/10.1007/BFb0015401
28.

電子ブック
ＥＢ
28. Advances in Cryptology — EUROCRYPT ’95 : International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, 1995 Proceedings
edited by Louis C. Guillou, Jean-Jacques Quisquater
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1995
シリーズ名: Lecture Notes in Computer Science ; 921
オンライン: http://dx.doi.org/10.1007/3-540-49264-X
29.

電子ブック
ＥＢ
29. Fast Software Encryption : Second International Workshop Leuven, Belgium, December 14–16, 1994 Proceedings
edited by Bart Preneel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1008
オンライン: http://dx.doi.org/10.1007/3-540-60590-8
30.

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

電子ブック
ＥＢ
31. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings
edited by Gérard Cohen, Marc Giusti, Teo Mora
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 948
オンライン: http://dx.doi.org/10.1007/3-540-60114-7
32.

電子ブック
ＥＢ
32. Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings
edited by Horst Reichel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 965
オンライン: http://dx.doi.org/10.1007/3-540-60249-6
33.

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

電子ブック
ＥＢ
34. Advances in Cryptology — CRYPT0’ 95 : 15th Annual International Cryptology Conference Santa Barbara, California, USA, August 27–31, 1995 Proceedings
edited by Don Coppersmith
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1995
シリーズ名: Lecture Notes in Computer Science ; 963
オンライン: http://dx.doi.org/10.1007/3-540-44750-4
35.

電子ブック
ＥＢ
35. Cryptography and Coding : 5th IMA Conference Cirencester, UK, December 18–20, 1995 Proceedings
edited by Colin Boyd
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1025
オンライン: http://dx.doi.org/10.1007/3-540-60693-9
36.

電子ブック
ＥＢ
36. Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 958
オンライン: http://dx.doi.org/10.1007/3-540-60156-2
37.

電子ブック
ＥＢ
37. Advances in Cryptology — ASIACRYPT'94 : 4th International Conferences on the Theory and Applications of Cryptology Wollongong, Australia, November 28 – December 1, 1994 Proceedings
edited by Josef Pieprzyk, Reihanah Safavi-Naini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 917
オンライン: http://dx.doi.org/10.1007/BFb0000419
38.

電子ブック
ＥＢ
38. Integer Programming and Combinatorial Optimization : 4th International IPCO Conference Copenhagen, Denmark, May 29–31, 1995 Proceedings
edited by Egon Balas, Jens Clausen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 920
オンライン: http://dx.doi.org/10.1007/3-540-59408-6
39.

電子ブック
ＥＢ
39. Conceptual Structures: Applications, Implementation and Theory : Third International Conference on Conceptual Structures, ICCS '95 Santa Cruz, CA, USA, August 14–18, 1995 Proceedings
edited by Gerard Ellis, Robert Levinson, William Rich, John F. Sowa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 954
オンライン: http://dx.doi.org/10.1007/3-540-60161-9
40.

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

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

電子ブック
ＥＢ
42. Computing and Combinatorics : First Annual International Conference, COCOON '95 Xi'an, China, August 24–26, 1995 Proceedings
edited by Ding-Zhu Du, Ming Li
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 959
オンライン: http://dx.doi.org/10.1007/BFb0030813
43.

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

電子ブック
ＥＢ
44. Combinatorial Pattern Matching : 6th Annual Symposium, CPM 95 Espoo, Finland, July 5–7, 1995 Proceedings
edited by Zvi Galil, Esko Ukkonen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 937
オンライン: http://dx.doi.org/10.1007/3-540-60044-2
45.

電子ブック
ＥＢ
45. Advances in Artificial Life : Third European Conference on Artificial Life Granada, Spain, June 4–6, 1995 Proceedings
edited by Federico Morán, Alvaro Moreno, Juan Julián Merelo, Pablo Chacón
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 929
オンライン: http://dx.doi.org/10.1007/3-540-59496-5
46.

電子ブック
ＥＢ
46. Foundations of Software Technology and Theoretical Computer Science : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1026
オンライン: http://dx.doi.org/10.1007/3-540-60692-0
47.

電子ブック
ＥＢ
47. Graph Drawing : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10–12, 1994 Proceedings
edited by Roberto Tamassia, Ioannis G. Tollis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 894
オンライン: http://dx.doi.org/10.1007/3-540-58950-3
48.

電子ブック
ＥＢ
48. Artificial Neural Networks : An Introduction to ANN Theory and Practice
edited by P. J. Braspenning, F. Thuijsman, A. J. M. M. Weijters
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 931
オンライン: http://dx.doi.org/10.1007/BFb0027019
49.

電子ブック
ＥＢ
49. LATIN '95: Theoretical Informatics : Second Latin American Symposium Valparaíso, Chile, April 3–7, 1995 Proceedings
edited by Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 911
オンライン: http://dx.doi.org/10.1007/3-540-59175-3
50.

電子ブック
ＥＢ
50. Application and Theory of Petri Nets 1995 : 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
edited by Giorgio Michelis, Michel Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 935
オンライン: http://dx.doi.org/10.1007/3-540-60029-9
51.

電子ブック
ＥＢ
51. Graph-Theoretic Concepts in Computer Science : 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings
edited by Jan Leeuwen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 790
オンライン: http://dx.doi.org/10.1007/3-540-57899-4
52.

電子ブック
ＥＢ
52. Advances in Cryptology — EUROCRYPT ’93 : Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23–27, 1993 Proceedings
edited by Tor Helleseth
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 765
オンライン: http://dx.doi.org/10.1007/3-540-48285-7
53.

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

電子ブック
ＥＢ
54. Treewidth : Computations and Approximations
edited by Ton Kloks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 842
オンライン: http://dx.doi.org/10.1007/BFb0045375
55.

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

電子ブック
ＥＢ
56. Combinatorial Pattern Matching : 5th Annual Symposium, CPM 94 Asilomar, CA, USA, June 5–8, 1994 Proceedings
edited by Maxime Crochemore, Dan Gusfield
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 807
オンライン: http://dx.doi.org/10.1007/3-540-58094-8
57.

電子ブック
ＥＢ
57. Parallel Scientific Computing : First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
edited by Jack Dongarra, Jerzy Waśniewski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 879
オンライン: http://dx.doi.org/10.1007/BFb0030129
58.

電子ブック
ＥＢ
58. The Traveling Salesman : Computational Solutions for TSP Applications
by Gerhard Reinelt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 840
オンライン: http://dx.doi.org/10.1007/3-540-48661-5
59.

電子ブック
ＥＢ
59. Closed Object Boundaries from Scattered Points
by Remco C. Veltkamp
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 885
オンライン: http://dx.doi.org/10.1007/3-540-58808-6
60.

電子ブック
ＥＢ
60. Orders, Algorithms, and Applications : International Workshop ORDAL '94 Lyon, France, July 4–8, 1994 Proceedings
edited by Vincent Bouchitté, Michel Morvan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 831
オンライン: http://dx.doi.org/10.1007/BFb0019422
61.

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

電子ブック
ＥＢ
62. Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings
edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 812
オンライン: http://dx.doi.org/10.1007/3-540-58131-6
63.

電子ブック
ＥＢ
63. Algebraic Coding : First French-Israeli Workshop Paris, France, July 19–21, 1993 Proceedings
edited by G. Cohen, S. Litsyn, A. Lobstein, G. Zémor
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 781
オンライン: http://dx.doi.org/10.1007/3-540-57843-9
64.

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

電子ブック
ＥＢ
65. Conceptual Structures: Current Practices : Second International Conference on Conceptual Structures, ICCS'94 College Park, Maryland, USA August 16–20, 1994 Proceedings
edited by William M. Tepfenhart, Judith P. Dick, John F. Sowa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 835
オンライン: http://dx.doi.org/10.1007/3-540-58328-9
66.

電子ブック
ＥＢ
66. Advances in Cryptology — CRYPTO’ 93 : 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22–26, 1993 Proceedings
edited by Douglas R. Stinson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 773
オンライン: http://dx.doi.org/10.1007/3-540-48329-2
67.

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

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

電子ブック
ＥＢ
69. Advances in Cryptology — CRYPTO ’94 : 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings
edited by Yvo G. Desmedt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1994
シリーズ名: Lecture Notes in Computer Science ; 839
オンライン: http://dx.doi.org/10.1007/3-540-48658-5
70.

電子ブック
ＥＢ
70. Foundation of Software Technology and Theoretical Computer Science : 14th Conference Madras, India, December 15–17, 1994 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: http://dx.doi.org/10.1007/3-540-58715-2
71.

電子ブック
ＥＢ
71. Fast Software Encryption : Cambridge Security Workshop Cambridge, U. K., December 9–11,1993 Proceedings
edited by Ross Anderson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 809
オンライン: http://dx.doi.org/10.1007/3-540-58108-1
72.

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

電子ブック
ＥＢ
73. Towards Dynamic Randomized Algorithms in Computational Geometry
by Monique Teillaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 758
オンライン: http://dx.doi.org/10.1007/3-540-57503-0
74.

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

電子ブック
ＥＢ
75. Advances in Cryptology — AUSCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques Gold Coast, Queensland, Australia, December 13–16, 1992 Proceedings
edited by Jennifer Seberry, Yuliang Zheng
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 718
オンライン: http://dx.doi.org/10.1007/3-540-57220-1
76.

電子ブック
ＥＢ
76. Advances in Cryptology — EUROCRYPT’ 92 : Workshop on the Theory and Application of Cryptographic Techniques Balatonfüred, Hungary, May 24–28, 1992 Proceedings
edited by Rainer A. Rueppel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1993
シリーズ名: Lecture Notes in Computer Science ; 658
オンライン: http://dx.doi.org/10.1007/3-540-47555-9
77.

電子ブック
ＥＢ
77. Conceptual Structures: Theory and Implementation : 7th Annual Workshop Las Cruces, NM, USA, July 8–10, 1992 Proceedings
edited by Heather D. Pfeiffer, Timothy E. Nagle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 754
オンライン: http://dx.doi.org/10.1007/3-540-57454-9
78.

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

電子ブック
ＥＢ
79. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
80.

電子ブック
ＥＢ
80. Conceptual Graphs for Knowledge Representation : First International Conference on Conceptual Structures, ICCS'93 Quebec City, Canada, August 4–7, 1993 Proceedings
edited by Guy W. Mineau, Bernard Moulin, John F. Sowa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 699
オンライン: http://dx.doi.org/10.1007/3-540-56979-0
81.

電子ブック
ＥＢ
81. Algorithms—ESA '93 : First Annual European Symposium Bad Honnef, Germany September 30–October 2, 1993 Proceedings
edited by Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 726
オンライン: http://dx.doi.org/10.1007/3-540-57273-2
82.

電子ブック
ＥＢ
82. Advances in Cryptology — CRYPTO’ 92 : 12th Annual International Cryptology Conference Santa Barbara, California, USA August 16–20, 1992 Proceedings
edited by Ernest F. Brickell
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1993
シリーズ名: Lecture Notes in Computer Science ; 740
オンライン: http://dx.doi.org/10.1007/3-540-48071-4
83.

電子ブック
ＥＢ
83. Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: http://dx.doi.org/10.1007/3-540-56992-8
84.

電子ブック
ＥＢ
84. The Design of an Extendible Graph Editor
edited by Frances Newbery Paulisch
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 704
オンライン: http://dx.doi.org/10.1007/BFb0019371
85.

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

電子ブック
ＥＢ
86. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings
edited by Gérard Cohen, Teo Mora, Oscar Moreno
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 673
オンライン: http://dx.doi.org/10.1007/3-540-56686-4
87.

電子ブック
ＥＢ
87. Algorithms and Computation : 4th International Symposium, ISAAC '93 Hong Kong, December 15–17, 1993 Proceedings
edited by K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 762
オンライン: http://dx.doi.org/10.1007/3-540-57568-5
88.

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

電子ブック
ＥＢ
89. Fundamentals of Computation Theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
edited by Zoltán Ésik
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 710
オンライン: http://dx.doi.org/10.1007/3-540-57163-9
90.

電子ブック
ＥＢ
90. Computer Security and Industrial Cryptography : State of the Art and Evolution ESAT Course, Leuven, Belgium, May 21–23, 1991
edited by Bart Preneel, René Govaerts, Joos Vandewalle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 741
オンライン: http://dx.doi.org/10.1007/3-540-57341-0
91.

電子ブック
ＥＢ
91. Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings
edited by Rudrapatna K. Shyamasundar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 761
オンライン: http://dx.doi.org/10.1007/3-540-57529-4
92.

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

電子ブック
ＥＢ
93. Ray Shooting, Depth Orders and Hidden Surface Removal
edited by Mark Berg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 703
オンライン: http://dx.doi.org/10.1007/BFb0029813
94.

電子ブック
ＥＢ
94. Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 737
オンライン: http://dx.doi.org/10.1007/3-540-57322-4
95.

電子ブック
ＥＢ
95. Combinatorial Pattern Matching : 4th Annual Symposium, CPM 93 Padova, Italy, June 2–4, 1993 Proceedings
edited by Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 684
オンライン: http://dx.doi.org/10.1007/BFb0029791
96.

電子ブック
ＥＢ
96. Advances in Cryptology — ASIACRYPT '91 : International Conference on the Theory and Application of Cryptology Fujiyosida, Japan, November 1991 Proceedings
edited by Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 739
オンライン: http://dx.doi.org/10.1007/3-540-57332-1
97.

電子ブック
ＥＢ
97. Axioms and Hulls
edited by Donald E. Knuth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 606
オンライン: http://dx.doi.org/10.1007/3-540-55611-7
98.

電子ブック
ＥＢ
98. Hyperedge Replacement: Grammars and Languages
by Annegret Habel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 643
オンライン: http://dx.doi.org/10.1007/BFb0013875
99.

電子ブック
ＥＢ
99. Combinatorial Pattern Matching : Third Annual Symposium Tucson, Arizona, USA, April 29–May 1, 1992 Proceedings
edited by Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 644
オンライン: http://dx.doi.org/10.1007/3-540-56024-6
100.

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