1.

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

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

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

電子ブック
ＥＢ
4. Computer Aided Systems Theory — CAST '94 : 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers
edited by George J. Klir, Tuncer I. Ören
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1105
オンライン: http://dx.doi.org/10.1007/3-540-61478-8
5.

電子ブック
ＥＢ
5. Field-Programmable Logic Smart Applications, New Paradigms and Compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23–25, 1996 Proceedings
edited by Reiner W. Hartenstein, Manfred Glesner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1142
オンライン: http://dx.doi.org/10.1007/3-540-61730-2
6.

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

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

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

電子ブック
ＥＢ
9. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: http://dx.doi.org/10.1007/BFb0027227
10.

電子ブック
ＥＢ
10. Automated Modeling of Physical Systems
by P. Pandurang Nayak
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1003
オンライン: http://dx.doi.org/10.1007/3-540-60641-6
11.

電子ブック
ＥＢ
11. Object Representation in Computer Vision : International NSF-ARPA Workshop New York City, NY, USA, December 5–7, 1994 Proceedings
edited by Martial Hebert, Jean Ponce, Terry Boult, Ari Gross
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 994
オンライン: http://dx.doi.org/10.1007/3-540-60477-4
12.

電子ブック
ＥＢ
12. Information Systems and Data Management : 6th International Conference, CISMOD '95 Bombay, India, November 15–17, 1995 Proceedings
edited by Subhash Bhalla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1006
オンライン: http://dx.doi.org/10.1007/3-540-60584-3
13.

電子ブック
ＥＢ
13. High-Performance Computing and Networking : International Conference and Exhibition Milan, Italy, May 3–5, 1995 Proceedings
edited by Bob Hertzberger, Giuseppe Serazzi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 919
オンライン: http://dx.doi.org/10.1007/BFb0046600
14.

電子ブック
ＥＢ
14. Applications of Databases : First International Conference, ADB-94 Vadstena, Sweden, June 21–23, 1994 Proceedings
edited by Witold Litwin, Tore Risch
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 819
オンライン: http://dx.doi.org/10.1007/3-540-58183-9
15.

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

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

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

電子ブック
ＥＢ
18. The Newton-Cauchy Framework : A Unified Approach to Unconstrained Nonlinear Minimization
edited by J. L. Nazareth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 769
オンライン: http://dx.doi.org/10.1007/3-540-57671-1
19.

電子ブック
ＥＢ
19. Fuzzy Logic in Artificial Intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93 Linz, Austria, June 28–30, 1993 Proceedings
edited by Erich P. Klement, Wolfgang Slany
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 695
オンライン: http://dx.doi.org/10.1007/3-540-56920-0
20.

電子ブック
ＥＢ
20. Neural Nets : A Theory for Brains and Machines
by Armando Freitas Rocha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 638
オンライン: http://dx.doi.org/10.1007/3-540-55949-3
21.

電子ブック
ＥＢ
21. Temporally Distributed Symptoms in Technical Diagnosis
by Klaus Nökel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 517
オンライン: http://dx.doi.org/10.1007/3-540-54316-3
22.

電子ブック
ＥＢ
22. Information Systems and Artificial Intelligence: Integration Aspects : First Workshop Ulm, FRG, March 19–21, 1990 Proceedings
edited by Dimitris Karagiannis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 474
オンライン: http://dx.doi.org/10.1007/3-540-53557-8
23.

電子ブック
ＥＢ
23. Eurocal '87 : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings
edited by James H. Davenport
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 378
オンライン: http://dx.doi.org/10.1007/3-540-51517-8
24.

電子ブック
ＥＢ
24. Parallel Computing 1988 : Shell Conference Amsterdam, The Netherlands, June 1/2, 1988 Proceedings
edited by G. A. Zee, J. G. G. Vorst
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 384
オンライン: http://dx.doi.org/10.1007/3-540-51604-2
25.

電子ブック
ＥＢ
25. Statistical and Scientific Database Management : Fourth International Working Conference SSDBM Rome, Italy, June 21–23, 1988 Proceedings
edited by Maurizio Rafanelli, John C. Klensin, Per Svensson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 339
オンライン: http://dx.doi.org/10.1007/BFb0027501
26.

電子ブック
ＥＢ
26. Parallel Computing in Science and Engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences Bonn, Federal Republic of Germany, June 25/26, 1987
edited by Rüdiger Dierstein, Dieter Müller-Wichards, Hans-Martin Wacker
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 295
オンライン: http://dx.doi.org/10.1007/3-540-18923-8
27.

電子ブック
ＥＢ
27. Methods and Tools for Computer Integrated Manufacturing : Advanced CREST Course on Computer Integrated Manufacturing (CIM 83) Karlsruhe, Germany, September 5 to 16, 1983
edited by U. Rembold, R. Dillmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 168
オンライン: http://dx.doi.org/10.1007/BFb0014770