1.

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

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

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

電子ブック
ＥＢ
4. New Developments in Semiconductor Physics : Proceedings of the International Summer School Held in Szeged, Hungary, July 1 – 6, 1979. 1st ed. 1980
edited by F. Beleznay, G. Ferenczi, J. Giber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980
シリーズ名: Lecture Notes in Physics ; 122
オンライン: https://doi.org/10.1007/3-540-09988-3
5.

電子ブック
ＥＢ
5. Quasi One-Dimensional Conductors I : Proceedings of the International Conference, Dubrovnik, SR Croatia, SFR Yugoslavia, 1978. 1st ed. 1979
edited by S. Barisic, A. Bjelis, J.R. Cooper, B. Leontie
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979
シリーズ名: Lecture Notes in Physics ; 95
オンライン: https://doi.org/10.1007/BFb0052761