1.

電子ブック
ＥＢ
1. Connected Dominating Set: Theory and Applications
by Ding-Zhu Du, Peng-Jun Wan
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Optimization and Its Applications ; 77
オンライン: http://dx.doi.org/10.1007/978-1-4614-5242-3
2.

電子ブック
ＥＢ
2. The Tower of Hanoi – Myths and Maths
by Andreas M. Hinz, Sandi Klavžar, Uroš Milutinović, Ciril Petr
出版情報: Basel : Springer Basel : Imprint: Birkhäuser, 2013
オンライン: http://dx.doi.org/10.1007/978-3-0348-0237-6
3.

電子ブック
ＥＢ
3. Sparsity : Graphs, Structures, and Algorithms
by Jaroslav Nešetřil, Patrice Ossona de Mendez
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
シリーズ名: Algorithms and Combinatorics ; 28
オンライン: http://dx.doi.org/10.1007/978-3-642-27875-4
4.

電子ブック
ＥＢ
4. Notes on Introductory Combinatorics [e-books]. 1st
by George Pólya, Robert E. Tarjan, Donald R. Woods
出版情報: Boston : Birkhäuser Boston, 2010
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4953-1
5.

電子ブック
ＥＢ
5. Digraphs : Theory, Algorithms and Applications [e-books]
by Jørgen Bang-Jensen, Gregory Z. Gutin
出版情報: London : Springer-Verlag London Limited, 2009
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-84800-998-1
6.

電子ブック
ＥＢ
6. Entropy, Search, Complexity [e-books]
edited by Imre Csiszár, Gyula O. H. Katona, Gábor Tardos, Gábor Wiener
出版情報: Berlin, Heidelberg : János Bolyai Mathematical Society and Springer-Verlag, 2007
シリーズ名: Bolyai Society Mathematical Studies ; 16
オンライン: http://dx.doi.org/10.1007/978-3-540-32777-6
7.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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