1.

電子ブック
ＥＢ
1. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2
2.

電子ブック
ＥＢ
2. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem. 1st ed. 1996
edited by Patrice Godefroid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1032
オンライン: https://doi.org/10.1007/3-540-60761-7
3.

電子ブック
ＥＢ
3. Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings. 1st ed. 1996
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: https://doi.org/10.1007/3-540-61464-8
4.

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

電子ブック
ＥＢ
5. Over-Constrained Systems. 1st ed. 1996
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: https://doi.org/10.1007/3-540-61479-6
6.

電子ブック
ＥＢ
6. Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings. 1st ed. 1996
edited by Hanne R. Nielson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: https://doi.org/10.1007/3-540-61055-3
7.

電子ブック
ＥＢ
7. Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings. 1st ed. 1996
edited by Vijay Chandru, V. Vinay
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1180
オンライン: https://doi.org/10.1007/3-540-62034-6
8.

電子ブック
ＥＢ
8. Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers. 1st ed. 1996
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: https://doi.org/10.1007/3-540-61780-9
9.

電子ブック
ＥＢ
9. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. 1st ed. 1996
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1055
オンライン: https://doi.org/10.1007/3-540-61042-1
10.

電子ブック
ＥＢ
10. Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings. 1st ed. 1996
edited by Joxan Jaffar, Roland H.C. Yap
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1179
オンライン: https://doi.org/10.1007/BFb0027773