1.

電子ブック
ＥＢ
1. Reflections on the History of Computing : Preserving Memories and Sharing Stories. 1st ed. 2012
edited by Arthur Tatnall
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP AICT Surveys ;
オンライン: https://doi.org/10.1007/978-3-642-33899-1
2.

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

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

電子ブック
ＥＢ
4. Exploitation of Fine-Grain Parallelism
edited by Günter Böckle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 942
オンライン: http://dx.doi.org/10.1007/BFb0017665
5.

電子ブック
ＥＢ
5. Dependable Computing — EDCC-1 : First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 Proceedings
edited by Klaus Echtle, Dieter Hammer, David Powell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 852
オンライン: http://dx.doi.org/10.1007/3-540-58426-9
6.

電子ブック
ＥＢ
6. Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 863
オンライン: http://dx.doi.org/10.1007/3-540-58468-4
7.

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

電子ブック
ＥＢ
8. Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
edited by Jan Vytopil
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 571
オンライン: http://dx.doi.org/10.1007/3-540-55092-5
9.

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

電子ブック
ＥＢ
10. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: http://dx.doi.org/10.1007/BFb0013019
11.

電子ブック
ＥＢ
11. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16–18, 1989 Proceedings
edited by B. Monien, R. Cori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 349
オンライン: http://dx.doi.org/10.1007/BFb0028968
12.

電子ブック
ＥＢ
12. Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings
edited by J. Csirik, J. Demetrovics, F. Gécseg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 380
オンライン: http://dx.doi.org/10.1007/3-540-51498-8
13.

電子ブック
ＥＢ
13. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
edited by Robert Cori, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 294
オンライン: http://dx.doi.org/10.1007/BFb0035825
14.

電子ブック
ＥＢ
14. LUCAS Associative Array Processor : Design, Programming and Application Studies
by Christer Fernstrom, Ivan Kruzela, Bertil Svensson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 216
オンライン: http://dx.doi.org/10.1007/3-540-16445-6
15.

電子ブック
ＥＢ
15. P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
by André Thayse
出版情報: Berlin, Heidelberg : Springer-Verlag, 1984
シリーズ名: Lecture Notes in Computer Science ; 175
オンライン: http://dx.doi.org/10.1007/3-540-13358-5