1.

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

電子ブック
ＥＢ
2. Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
edited by Pierre Wolper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 939
オンライン: http://dx.doi.org/10.1007/3-540-60045-0
3.

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

電子ブック
ＥＢ
4. Theorem Provers in Circuit Design : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings
edited by Ramayya Kumar, Thomas Kropf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 901
オンライン: http://dx.doi.org/10.1007/3-540-59047-1
5.

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

電子ブック
ＥＢ
6. The Complexity of Simple Computer Architectures
edited by Silvia M. Müller, Wolfgang J. Paul
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 995
オンライン: http://dx.doi.org/10.1007/3-540-60580-0
7.

電子ブック
ＥＢ
7. Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 971
オンライン: http://dx.doi.org/10.1007/3-540-60275-5
8.

電子ブック
ＥＢ
8. Memory Management : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings
edited by Henry G. Baler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 986
オンライン: http://dx.doi.org/10.1007/3-540-60368-9
9.

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

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

電子ブック
ＥＢ
11. Computer Aided Verification : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
edited by David L. Dill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 818
オンライン: http://dx.doi.org/10.1007/3-540-58179-0
12.

電子ブック
ＥＢ
12. Programming Languages and System Architectures : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: http://dx.doi.org/10.1007/3-540-57840-4
13.

電子ブック
ＥＢ
13. FM8501: A Verified Microprocessor
edited by Warren A. Hunt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 795
オンライン: http://dx.doi.org/10.1007/3-540-57960-5
14.

電子ブック
ＥＢ
14. Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
edited by Costas Courcoubetis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 697
オンライン: http://dx.doi.org/10.1007/3-540-56922-7
15.

電子ブック
ＥＢ
15. Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings
edited by George J. Milne, Laurence Pierre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 683
オンライン: http://dx.doi.org/10.1007/BFb0021709
16.

電子ブック
ＥＢ
16. New Trends in Neural Computation : International Workshop on Artificial Neural Networks, IWANN '93 Sitges, Spain, June 9–11, 1993 Proceedings
edited by José Mira, Joan Cabestany, Alberto Prieto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 686
オンライン: http://dx.doi.org/10.1007/3-540-56798-4
17.

電子ブック
ＥＢ
17. Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
edited by Gregor Bochmann, David Karl Probst
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 663
オンライン: http://dx.doi.org/10.1007/3-540-56496-9
18.

電子ブック
ＥＢ
18. Field-Programmable Gate Arrays: Architecture and Tools for Rapid Prototyping : Second International Workshop on Field-Programmable Logic and Applications Vienna, Austria, August 31 – September 2, 1992 Selected Papers
edited by Herbert Grünbacher, Reiner W. Hartenstein
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 705
オンライン: http://dx.doi.org/10.1007/3-540-57091-8
19.

電子ブック
ＥＢ
19. Graph-Theoretic Concepts in Computer Science : 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings
edited by Gunther Schmidt, Rudolf Berghammer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 570
オンライン: http://dx.doi.org/10.1007/3-540-55121-2
20.

電子ブック
ＥＢ
20. Artificial Neural Networks : International Workshop IWANN '91 Granada, Spain, September 17–19, 1991 Proceedings
edited by Alberto Prieto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 540
オンライン: http://dx.doi.org/10.1007/BFb0035870
21.

電子ブック
ＥＢ
21. Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
edited by Miriam Leeser, Geoffrey Brown
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 408
オンライン: http://dx.doi.org/10.1007/0-387-97226-9
22.

電子ブック
ＥＢ
22. Database Machines : Sixth International Workshop, IWDM '89 Deauville, France, June 19–21, 1989 Proceedings
edited by Haran Boral, Pascal Faudemay
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 368
オンライン: http://dx.doi.org/10.1007/3-540-51324-8
23.

電子ブック
ＥＢ
23. Trace Theory and VLSJ Design
by Jan L. A. Snepscheut
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 200
オンライン: http://dx.doi.org/10.1007/BFb0031414