1.

電子ブック
ＥＢ
1. Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
by Christian Straßer
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Trends in Logic, Studia Logica Library ; 38
オンライン: http://dx.doi.org/10.1007/978-3-319-00792-2
2.

電子ブック
ＥＢ
2. Control of Nonholonomic Systems: from Sub-Riemannian Geometry to Motion Planning
by Frédéric Jean
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-319-08690-3
3.

電子ブック
ＥＢ
3. Multidimensional Data Visualization : Methods and Applications
by Gintautas Dzemyda, Olga Kurasova, Julius Žilinskas
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Optimization and Its Applications ; 75
オンライン: http://dx.doi.org/10.1007/978-1-4419-0236-8
4.

電子ブック
ＥＢ
4. Extremal Fuzzy Dynamic Systems : Theory and Applications
by Gia Sirbiladze
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: IFSR International Series on Systems Science and Engineering ; 28
オンライン: http://dx.doi.org/10.1007/978-1-4614-4250-9
5.

電子ブック
ＥＢ
5. Automation, Communication and Cybernetics in Science and Engineering 2011/2012
edited by Sabina Jeschke, Ingrid Isenhardt, Frank Hees, Klaus Henning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-642-33389-7
6.

電子ブック
ＥＢ
6. The Naïve Bayes Model for Unsupervised Word Sense Disambiguation : Aspects Concerning Feature Selection
by Florentina T. Hristea
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-3-642-33693-5
7.

電子ブック
ＥＢ
7. Knowledge Spaces : Applications in Education
edited by Jean-Claude Falmagne, Dietrich Albert, Christopher Doble, David Eppstein, Xiangen Hu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-642-35329-1
8.

電子ブック
ＥＢ
8. Novelty, Information and Surprise
by Günther Palm
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: http://dx.doi.org/10.1007/978-3-642-29075-6
9.

電子ブック
ＥＢ
9. Learning Spaces : Interdisciplinary Applied Mathematics [e-books]
by Jean-Claude Falmagne, Jean-Paul Doignon
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-01039-2
10.

電子ブック
ＥＢ
10. Hybrid Optimization : The Ten Years of CPAIOR [e-books]. 1
edited by Pascal van Hentenryck, Michela Milano
出版情報: New York, NY : Springer Science+Business Media LLC, 2011
シリーズ名: Springer Optimization and Its Applications ; 45
オンライン: http://dx.doi.org/10.1007/978-1-4419-1644-0
11.

電子ブック
ＥＢ
11. Towards an Information Theory of Complex Networks : Statistical Methods and Applications. 1
edited by Matthias Dehmer, Frank Emmert-Streib, Alexander Mehler
出版情報: Boston : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-0-8176-4904-3
12.

電子ブック
ＥＢ
12. From Brains to Systems : Brain-Inspired Cognitive Systems 2010
edited by Carlos Hernández, Ricardo Sanz, Jaime Gómez-Ramirez, Leslie S. Smith, Amir Hussain, Antonio Chella, Igor Aleksander
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Advances in Experimental Medicine and Biology ; 718
オンライン: http://dx.doi.org/10.1007/978-1-4614-0164-3
13.

電子ブック
ＥＢ
13. Brain Inspired Cognitive Systems 2008
edited by Amir Hussain, Igor Aleksander, Leslie S. Smith, Allan Kardec Barros, Ron Chrisley, Vassilis Cutsuridis
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Advances in Experimental Medicine and Biology ; 657
オンライン: http://dx.doi.org/10.1007/978-0-387-79100-5
14.

電子ブック
ＥＢ
14. A Missing Link in Cybernetics : Logic and Continuity [e-books]
by Alex M. Andrew
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: IFSR International Series on Systems Science and Engineering ; 26
オンライン: http://dx.doi.org/10.1007/978-0-387-75164-1
15.

電子ブック
ＥＢ
15. The Elements of Statistical Learning : Data Mining, Inference, and Prediction [e-books]
by Jerome Friedman, Robert Tibshirani, Trevor Hastie
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: Springer Series in Statistics ;
オンライン: http://dx.doi.org/10.1007/b94608
16.

電子ブック
ＥＢ
16. Viability Theory [e-books]
by Jean-Pierre Aubin
出版情報: Boston : Birkhäuser Boston, 2009
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4910-4
17.

電子ブック
ＥＢ
17. Proof Theory for Fuzzy Logics [e-books]
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Applied Logic Series ; 36
オンライン: http://dx.doi.org/10.1007/978-1-4020-9409-5
18.

電子ブック
ＥＢ
18. Game Theoretic Problems in Network Economics and Mechanism Design Solutions [e-books]
by Hastagiri Prakash, Ramasuri Narayanam, Dinesh Garg, Y. Narahari
出版情報: London : Springer-Verlag London, 2009
シリーズ名: Advanced Information and Knowledge Processing ;
オンライン: http://dx.doi.org/10.1007/978-1-84800-938-7
19.

電子ブック
ＥＢ
19. Reactive Search and Intelligent Optimization
by Roberto Battiti, Mauro Brunato, Franco Mascia
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2009
シリーズ名: Operations Research/Computer Science Interfaces Series ; 45
オンライン: http://dx.doi.org/10.1007/978-0-387-09624-7
20.

電子ブック
ＥＢ
20. Artificial Intelligence Methods in the Environmental Sciences
edited by Sue Ellen Haupt, Antonello Pasini, Caren Marzban
出版情報: Dordrecht : Springer Netherlands, 2009
オンライン: http://dx.doi.org/10.1007/978-1-4020-9119-3
21.

電子ブック
ＥＢ
21. Bayesian Networks and Influence Diagrams : A Guide to Construction and Analysis
by Uffe B. Kjærulff, Anders L. Madsen
出版情報: New York, NY : Springer Science+Business Media, LLC, 2008
シリーズ名: Information Science and Statistics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-74101-7
22.

電子ブック
ＥＢ
22. Medial Representations : Mathematics, Algorithms and Applications
edited by Max Viergever, Kaleem Siddiqi, Stephen M. Pizer
出版情報: Dordrecht : Springer Science + Business Media B.V, 2008
シリーズ名: Computational Imaging and Vision ; 37
オンライン: http://dx.doi.org/10.1007/978-1-4020-8658-8
23.

電子ブック
ＥＢ
23. Media Theory : Interdisciplinary Applied Mathematics. First edition
by David Eppstein, Jean-Claude Falmagne, Sergei Ovchinnikov
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-71697-6
24.

電子ブック
ＥＢ
24. A Theory of Shape Identification
by Frédéric Cao, José-Luis Lisani, Jean-Michel Morel, Pablo Musé, Frédéric Sur ; edited by J. -M. Morel, F. Takens, B. Teissier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Mathematics ; 1948
オンライン: http://dx.doi.org/10.1007/978-3-540-68481-7
25.

電子ブック
ＥＢ
25. Evolutionary Computation for Modeling and Optimization [e-books]
by Daniel Ashlock
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-31909-3
26.

電子ブック
ＥＢ
26. All of Nonparametric Statistics [e-books]
by Larry Wasserman
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
シリーズ名: Springer Texts in Statistics ;
オンライン: http://dx.doi.org/10.1007/0-387-30623-4
27.

電子ブック
ＥＢ
27. Differential Evolution : In Search of Solutions [e-books]
by Vitaliy Feoktistov
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Springer Optimization and Its Applications ; 5
オンライン: http://dx.doi.org/10.1007/978-0-387-36896-2
28.

電子ブック
ＥＢ
28. Intelligent Algorithms in Ambient and Biomedical Computing [e-books]
edited by Wim Verhaegh, Emile Aarts, Jan Korst
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-4995-1
29.

電子ブック
ＥＢ
29. Statistical and Inductive Inference by Minimum Message Length [e-books]
by C.S. Wallace
出版情報: New York, NY : Springer Science+Business Media, Inc., 2005
シリーズ名: Information Science and Statistics ;
オンライン: http://dx.doi.org/10.1007/0-387-27656-4
30.

電子ブック
ＥＢ
30. Statistical Learning Theory and Stochastic Optimization : Ecole d’Eté de Probabilités de Saint-Flour XXXI - 2001 [e-books]
by Olivier Catoni ; edited by Jean Picard
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004
シリーズ名: Lecture Notes in Mathematics ; 1851
オンライン: http://dx.doi.org/10.1007/b99352
31.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
49. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: http://dx.doi.org/10.1007/BFb0105392
50.

電子ブック
ＥＢ
50. Parallel Problem Solving from Nature — PPSN IV : International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings
edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: http://dx.doi.org/10.1007/3-540-61723-X