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
51.

電子ブック
ＥＢ
51. Computer Vision — ECCV '96 : 4th European Conference on Computer Vision Cambridge, UK, April 15–18, 1996 Proceedings, Volume I
edited by Bernard Buxton, Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1064
オンライン: http://dx.doi.org/10.1007/BFb0015518
52.

電子ブック
ＥＢ
52. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
edited by Jacques Calmet, Carla Limongelli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1128
オンライン: http://dx.doi.org/10.1007/3-540-61697-7
53.

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

電子ブック
ＥＢ
54. Evaluating Natural Language Processing Systems : An Analysis and Review
edited by Karen Sparck Jones, Julia R. Galliers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1083
オンライン: http://dx.doi.org/10.1007/BFb0027470
55.

電子ブック
ＥＢ
55. Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050
オンライン: http://dx.doi.org/10.1007/3-540-60983-0
56.

電子ブック
ＥＢ
56. Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings
edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1086
オンライン: http://dx.doi.org/10.1007/3-540-61327-7
57.

電子ブック
ＥＢ
57. Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
edited by Maurizio Proietti
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1048
オンライン: http://dx.doi.org/10.1007/3-540-60939-3
58.

電子ブック
ＥＢ
58. Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
edited by Rajeev Alur, Thomas A. Henzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: http://dx.doi.org/10.1007/3-540-61474-5
59.

電子ブック
ＥＢ
59. Term Indexing
edited by Peter Graf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1053
オンライン: http://dx.doi.org/10.1007/3-540-61040-5
60.

電子ブック
ＥＢ
60. Foundations of Intelligent Systems : 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings
edited by Zbigniew W. Raś, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1079
オンライン: http://dx.doi.org/10.1007/3-540-61286-6
61.

電子ブック
ＥＢ
61. Advances in Structural and Syntactical Pattern Recognition : 6th International Workshop, SSPR '96 Leipzig, Germany, August 20–23, 1996 Proceedings
edited by Petra Perner, Patrick Wang, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1121
オンライン: http://dx.doi.org/10.1007/3-540-61577-6
62.

電子ブック
ＥＢ
62. SOFSEM'96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings
edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: http://dx.doi.org/10.1007/BFb0037392
63.

電子ブック
ＥＢ
63. Practice and Theory of Automated Timetabling : First International Conference Edinburgh, U.K., August 29–September 1, 1995 Selected Papers
edited by Edmund Burke, Peter Ross
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1153
オンライン: http://dx.doi.org/10.1007/3-540-61794-9
64.

電子ブック
ＥＢ
64. Graphics Recognition Methods and Applications : First International Workshop University Park, PA, USA, August 10–11, 1995 Selected Papers
edited by Rangachar Kasturi, Karl Tombre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1072
オンライン: http://dx.doi.org/10.1007/3-540-61226-2
65.

電子ブック
ＥＢ
65. Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings
edited by Walter Velde, John W. Perram
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1038
オンライン: http://dx.doi.org/10.1007/BFb0031841
66.

電子ブック
ＥＢ
66. Towards Evolvable Hardware : The Evolutionary Engineering Approach
edited by Eduardo Sanchez, Marco Tomassini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1062
オンライン: http://dx.doi.org/10.1007/3-540-61093-6
67.

電子ブック
ＥＢ
67. Automated Deduction in Equational Logic and Cubic Curves
by W. McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1095
オンライン: http://dx.doi.org/10.1007/3-540-61398-6
68.

電子ブック
ＥＢ
68. Logics in Artificial Intelligence : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1126
オンライン: http://dx.doi.org/10.1007/3-540-61630-6
69.

電子ブック
ＥＢ
69. Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1138
オンライン: http://dx.doi.org/10.1007/3-540-61732-9
70.

電子ブック
ＥＢ
70. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: http://dx.doi.org/10.1007/BFb0014301
71.

電子ブック
ＥＢ
71. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: http://dx.doi.org/10.1007/3-540-62064-8
72.

電子ブック
ＥＢ
72. Visualization in Biomedical Computing : 4th International Conference, VBC'96 Hamburg, Germamy, September 22–25, 1996 Proceedings
edited by Karl Heinz Höhne, Ron Kikinis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1131
オンライン: http://dx.doi.org/10.1007/BFb0046929
73.

電子ブック
ＥＢ
73. Object Representation in Computer Vision II : ECCV '96 International Workshop Cambridge, U.K., April 13–14, 1996 Proceedings
edited by Jean Ponce, Andrew Zisserman, Martial Hebert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1144
オンライン: http://dx.doi.org/10.1007/3-540-61750-7
74.

電子ブック
ＥＢ
74. Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop Nagoya, Japan, November 14–15, 1995 Selected Papers
edited by Takeshi Furuhashi, Yoshiki Uchikawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1152
オンライン: http://dx.doi.org/10.1007/3-540-61988-7
75.

電子ブック
ＥＢ
75. Reasoning with Uncertainty in Robotics : International Workshop, RUR '95 Amsterdam, The Netherlands December 4–6, 1995 Proceedings
edited by Leo Dorst, Michiel Lambalgen, Frans Voorbraak
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1093
オンライン: http://dx.doi.org/10.1007/BFb0013951
76.

電子ブック
ＥＢ
76. Advances in Knowledge Acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96 Nottingham, United Kingdom, May 14–17, 1996 Proceedings
edited by Nigel Shadbolt, Kieron O'Hara, Guus Schreiber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1076
オンライン: http://dx.doi.org/10.1007/3-540-61273-4
77.

電子ブック
ＥＢ
77. Artificial Evolution : European Conference, AE 95 Brest, France, September 4–6, 1995 Selected Papers
edited by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1063
オンライン: http://dx.doi.org/10.1007/3-540-61108-8
78.

電子ブック
ＥＢ
78. Artificial Neural Networks — ICANN 96 : 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings
edited by Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: http://dx.doi.org/10.1007/3-540-61510-5
79.

電子ブック
ＥＢ
79. Algebraic and Logic Programming : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
edited by Michael Hanus, Mario Rodríguez-Artalejo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: http://dx.doi.org/10.1007/3-540-61735-3
80.

電子ブック
ＥＢ
80. Computer Aided Systems Theory — EUROCAST '95 : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings
edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1030
オンライン: http://dx.doi.org/10.1007/BFb0034745
81.

電子ブック
ＥＢ
81. Advances in Database Technology — EDBT '96 : 5th International Conference on Extending Database Technology Avignon, France, March 25–29, 1996 Proceedings
edited by Peter Apers, Mokrane Bouzeghoub, Georges Gardarin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1057
オンライン: http://dx.doi.org/10.1007/BFb0014139
82.

電子ブック
ＥＢ
82. The Design of Intelligent Agents : A Layered Approach
by Jörg P. Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1177
オンライン: http://dx.doi.org/10.1007/BFb0017806
83.

電子ブック
ＥＢ
83. Efficient Visual Recognition Using the Hausdorff Distance
edited by William Rucklidge
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1173
オンライン: http://dx.doi.org/10.1007/BFb0015091
84.

電子ブック
ＥＢ
84. Conceptual Structures: Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96 Sydney, Australia, August 19–22, 1996 Proceedings
edited by Peter W. Eklund, Gerard Ellis, Graham Mann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1115
オンライン: http://dx.doi.org/10.1007/3-540-61534-2
85.

電子ブック
ＥＢ
85. Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29–31, 1996 Proceedings
edited by Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1108
オンライン: http://dx.doi.org/10.1007/BFb0022584
86.

電子ブック
ＥＢ
86. Advances in Case-Based Reasoning : Third European Workshop EWCBR-96 Lausanne, Switzerland, November 14–16, 1996 Proceedings
edited by Ian Smith, Boi Faltings
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1168
オンライン: http://dx.doi.org/10.1007/BFb0020597
87.

電子ブック
ＥＢ
87. Time Structures : Formal Description and Algorithmic Representation
edited by Elżbieta Hajnicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1047
オンライン: http://dx.doi.org/10.1007/3-540-60941-5
88.

電子ブック
ＥＢ
88. Grammatical Interference: Learning Syntax from Sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25–27, 1996 Proceedings
edited by Laurent Miclet, Colin Higuera
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1147
オンライン: http://dx.doi.org/10.1007/BFb0033338
89.

電子ブック
ＥＢ
89. Automatic Ambiguity Resolution in Natural Language Processing : An Empirical Approach
edited by Alexander Franz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1171
オンライン: http://dx.doi.org/10.1007/BFb0021059
90.

電子ブック
ＥＢ
90. Database and Expert Systems Applications : 7th International Conference, DEXA '96 Zurich, Switzerland, September 9–13, 1996 Proceedings
edited by Roland R. Wagner, Helmut Thoma
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1134
オンライン: http://dx.doi.org/10.1007/BFb0034664
91.

電子ブック
ＥＢ
91. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings
edited by Herbert Kuchen, S. Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: http://dx.doi.org/10.1007/3-540-61756-6
92.

電子ブック
ＥＢ
92. Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
edited by Chengqi Zhang, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1087
オンライン: http://dx.doi.org/10.1007/3-540-61314-5
93.

電子ブック
ＥＢ
93. Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: http://dx.doi.org/10.1007/3-540-61551-2
94.

電子ブック
ＥＢ
94. Computer Vision — ECCV '96 : 4th European Conference on Computer Vision Cambridge, UK, April 15–18, 1996 Proceedings Volume II
edited by Bernard Buxton, Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1065
オンライン: http://dx.doi.org/10.1007/3-540-61123-1
95.

電子ブック
ＥＢ
95. Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
edited by Hans Kleine Büning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: http://dx.doi.org/10.1007/3-540-61377-3
96.

電子ブック
ＥＢ
96. Logic in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
edited by Dino Pedreschi, Carlo Zaniolo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1154
オンライン: http://dx.doi.org/10.1007/BFb0031733
97.

電子ブック
ＥＢ
97. Advances in Artifical Intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21–24, 1996 Proceedings
edited by Gordon McCalla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1081
オンライン: http://dx.doi.org/10.1007/3-540-61291-2
98.

電子ブック
ＥＢ
98. Evolutionary Computing : AISB Workshop Brighton, U.K., April 1–2, 1996 Selected Papers
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1143
オンライン: http://dx.doi.org/10.1007/BFb0032768
99.

電子ブック
ＥＢ
99. Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1085
オンライン: http://dx.doi.org/10.1007/3-540-61313-7
100.

電子ブック
ＥＢ
100. Computer Vision, Virtual Reality and Robotics in Medicine : First International Conference, CVRMed ’95, Nice, France, April 3–6, 1995 Proceedings
edited by Nicholas Ayache
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 905
オンライン: http://dx.doi.org/10.1007/978-3-540-49197-2