1.

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

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

電子ブック
ＥＢ
3. Applied Computational Geometry Towards Geometric Engineering : FCRC'96 Workshop, WACG'96 Philadelphia, PA, May 27–28, 1996 Selected Papers
edited by Ming C. Lin, Dinesh Manocha
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1148
オンライン: http://dx.doi.org/10.1007/BFb0014474
4.

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

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

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

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

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

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

電子ブック
ＥＢ
10. Field-Programmable Logic and Applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings
edited by Will Moore, Wayne Luk
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 975
オンライン: http://dx.doi.org/10.1007/3-540-60294-1
11.

電子ブック
ＥＢ
11. Image Analysis and Processing : 8th International Conference, ICIAP'95 San Remo, Italy, September 13–15, 1995 Proceedings
edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 974
オンライン: http://dx.doi.org/10.1007/3-540-60298-4
12.

電子ブック
ＥＢ
12. Information Management in Computer Integrated Manufacturing : A Comprehensive Guide to State-of-the-Art CIM Solutions
edited by Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 973
オンライン: http://dx.doi.org/10.1007/3-540-60286-0
13.

電子ブック
ＥＢ
13. Image Analysis Applications and Computer Graphics : Third International Computer Science Conference, ICSC '95 Hong Kong, December 11–13, 1995 Proceedings
edited by Roland T. Chin, Horace H. S. Ip, Avi C. Naiman, Ting-Chuen Pong
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1024
オンライン: http://dx.doi.org/10.1007/3-540-60697-1
14.

電子ブック
ＥＢ
14. Formal Development of Reactive Systems : Case Study Production Cell
edited by Claus Lewerentz, Thomas Lindner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 891
オンライン: http://dx.doi.org/10.1007/3-540-58867-1
15.

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

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

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

電子ブック
ＥＢ
18. Fuzzy Logic and Fuzzy Control : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control Sydney, Australia, August 24, 1991 Proceedings
edited by Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 833
オンライン: http://dx.doi.org/10.1007/3-540-58279-7
19.

電子ブック
ＥＢ
19. Parallel, Distributed and Multiagent Production Systems
by Toru Ishida
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 878
オンライン: http://dx.doi.org/10.1007/3-540-58698-9
20.

電子ブック
ＥＢ
20. Field-Programmable Logic Architectures, Synthesis and Applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL'94 Prague, Czech Republic, September 7–9, 1994 Proceedings
edited by Reiner W. Hartenstein, Michal Z. Servít
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 849
オンライン: http://dx.doi.org/10.1007/3-540-58419-6
21.

電子ブック
ＥＢ
21. Qualitative Representation of Spatial Knowledge
edited by Daniel Hernández
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 804
オンライン: http://dx.doi.org/10.1007/BFb0020328
22.

電子ブック
ＥＢ
22. Computer Aided Systems Theory — EUROCAST '93 : A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 Proceedings
edited by Franz Pichler, Roberto Moreno Díaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 763
オンライン: http://dx.doi.org/10.1007/3-540-57601-0
23.

電子ブック
ＥＢ
23. Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop Chamberry, France, August 28, 1993 Proceedings
edited by Anca L. Ralescu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 847
オンライン: http://dx.doi.org/10.1007/3-540-58409-9
24.

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

電子ブック
ＥＢ
25. Applications of Invariance in Computer Vision : Second Joint European — US Workshop Ponta Delgada, Azores, Portugal October 9–14, 1993 Proceedings
edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 825
オンライン: http://dx.doi.org/10.1007/3-540-58240-1
26.

電子ブック
ＥＢ
26. Advances in Spatial Databases : Third International Symposium, SSD '93 Singapore, June 23–25, 1993 Proceedings
edited by David Abel, Beng Chin Ooi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 692
オンライン: http://dx.doi.org/10.1007/3-540-56869-7
27.

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

電子ブック
ＥＢ
28. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 636
オンライン: http://dx.doi.org/10.1007/3-540-55930-2
29.

電子ブック
ＥＢ
29. Future Tendencies in Computer Science, Control and Applied Mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA Paris, France, December 8–11, 1992 Proceedings
edited by A. Bensoussan, J. -P. Verjus
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 653
オンライン: http://dx.doi.org/10.1007/3-540-56320-2
30.

電子ブック
ＥＢ
30. Computer Aided Systems Theory — EUROCAST '91 : A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings
edited by Franz Pichler, Roberto Moreno Díaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 585
オンライン: http://dx.doi.org/10.1007/BFb0021000
31.

電子ブック
ＥＢ
31. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems : 5th International Conference, IEA/AIE - 92 Paderborn, Germany, June 9–12, 1992 Proceedings
edited by Fevzi Belli, Franz Josef Radermacher
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 604
オンライン: http://dx.doi.org/10.1007/BFb0024949
32.

電子ブック
ＥＢ
32. Attribute Grammars, Applications and Systems : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings
edited by Henk Alblas, Bořivoj Melichar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 545
オンライン: http://dx.doi.org/10.1007/3-540-54572-7
33.

電子ブック
ＥＢ
33. Computational Geometry-Methods, Algorithms and Applications : International Workshop on Computational Geometry CG'91 Bern, Switzerland, March 21–22, 1991 Proceedings
edited by H. Bieri, H. Noltemeier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 553
オンライン: http://dx.doi.org/10.1007/3-540-54891-2
34.

電子ブック
ＥＢ
34. On the Computational Geometry of Pocket Machining
by Martin Held
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 500
オンライン: http://dx.doi.org/10.1007/3-540-54103-9
35.

電子ブック
ＥＢ
35. Computer-Aided Cooperative Product Development : MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 Proceedings
edited by Duvvuru Sriram, Robert Logcher, Shuichi Fukuda
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 492
オンライン: http://dx.doi.org/10.1007/BFb0014269
36.

電子ブック
ＥＢ
36. Computer Aided Systems Theory — EUROCAST '89 : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings
edited by F. Pichler, R. Moreno-Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 410
オンライン: http://dx.doi.org/10.1007/3-540-52215-8
37.

電子ブック
ＥＢ
37. Expert Systems in Engineering Principles and Applications : International Workshop Vienna, Austria, September 24–26, 1990 Proceedings
edited by Georg Gottlob, Wolfgang Nejdl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 462
オンライン: http://dx.doi.org/10.1007/3-540-53104-1
38.

電子ブック
ＥＢ
38. Database Systems of the 90s : International Symposium Müggelsee, Berlin, FRG, November 5–7, 1990 Proceedings
edited by Albrecht Blaser
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 466
オンライン: http://dx.doi.org/10.1007/3-540-53397-4
39.

電子ブック
ＥＢ
39. Error Detection and Recovery in Robotics
by Bruce R. Donald
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 336
オンライン: http://dx.doi.org/10.1007/BFb0039640
40.

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

電子ブック
ＥＢ
41. Computer Aided Design Modelling, Systems Engineering, CAD-Systems : CREST Advanced Course Darmstadt, 8.–19. September 1980
edited by Jose Encarnacao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1980
シリーズ名: Lecture Notes in Computer Science ; 89
オンライン: http://dx.doi.org/10.1007/BFb0040157