1.

電子ブック
ＥＢ
1. Hybrid Systems III : Verification and Control
edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1066
オンライン: http://dx.doi.org/10.1007/BFb0020931
2.

電子ブック
ＥＢ
2. Hybrid Systems II
edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 999
オンライン: http://dx.doi.org/10.1007/3-540-60472-3
3.

電子ブック
ＥＢ
3. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
edited by Jiří Wiedermann, Petr Hájek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: http://dx.doi.org/10.1007/3-540-60246-1
4.

電子ブック
ＥＢ
4. Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: http://dx.doi.org/10.1007/3-540-60117-1
5.

電子ブック
ＥＢ
5. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
edited by Madhu Sudan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1001
オンライン: http://dx.doi.org/10.1007/3-540-60615-7
6.

電子ブック
ＥＢ
6. Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
edited by Igor Prívara, Branislav Rovan, Peter Ruzička
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 841
オンライン: http://dx.doi.org/10.1007/3-540-58338-6
7.

電子ブック
ＥＢ
7. Hybrid Systems
edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 736
オンライン: http://dx.doi.org/10.1007/3-540-57318-6
8.

電子ブック
ＥＢ
8. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
9.

電子ブック
ＥＢ
9. TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
edited by M. -C. Gaudel, J. -P. Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: http://dx.doi.org/10.1007/3-540-56610-4
10.

電子ブック
ＥＢ
10. Mathematical Foundations of Computer Science 1992 : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings
edited by Ivan M. Havel, Václav Koubek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 629
オンライン: http://dx.doi.org/10.1007/3-540-55808-X
11.

電子ブック
ＥＢ
11. Baltic Computer Science : Selected Papers
edited by Janis Bārzdinš, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: http://dx.doi.org/10.1007/BFb0019352
12.

電子ブック
ＥＢ
12. Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings
edited by Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 520
オンライン: http://dx.doi.org/10.1007/3-540-54345-7
13.

電子ブック
ＥＢ
13. Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings
edited by Kesav V. Nori, C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 472
オンライン: http://dx.doi.org/10.1007/3-540-53487-3
14.

電子ブック
ＥＢ
14. Temporal Logic in Specification : Altrincham, UK, April 8–10, 1987 Proceedings
edited by B. Banieqbal, H. Barringer, A. Pnueli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 398
オンライン: http://dx.doi.org/10.1007/3-540-51803-7
15.

電子ブック
ＥＢ
15. Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings
edited by C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 405
オンライン: http://dx.doi.org/10.1007/3-540-52048-1
16.

電子ブック
ＥＢ
16. Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India December 21–23, 1988 Proceedings
edited by Kesav V. Nori, Sanjeev Kumar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 338
オンライン: http://dx.doi.org/10.1007/3-540-50517-2