1.

電子ブック
ＥＢ
1. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach. 1st ed. 2012
by Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2012
シリーズ名: Atlantis Computational Intelligence Systems ; 5
オンライン: https://doi.org/10.2991/978-94-91216-59-6
2.

電子ブック
ＥＢ
2. The Correctness-by-Construction Approach to Programming. 1st ed. 2012
by Derrick G. Kourie, Bruce W. Watson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-27919-5
3.

電子ブック
ＥＢ
3. Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings. 1st ed. 2012
edited by Tai-hoon Kim, Carlos Ramos, Haeng-kon Kim, Akingbehin Kiumi, Sabah Mohammed, Dominik Slezak
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 340
オンライン: https://doi.org/10.1007/978-3-642-35267-6
4.

電子ブック
ＥＢ
4. The NCL Natural Constraint Language. 1st ed. 2012
by Jianyang Zhou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-23845-1
5.

電子ブック
ＥＢ
5. Foundations of Algebraic Specification and Formal Software Development. 1st ed. 2012
by Donald Sannella, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Monographs in Theoretical Computer Science. An EATCS Series ;
オンライン: https://doi.org/10.1007/978-3-642-17336-3
6.

電子ブック
ＥＢ
6. Theory and Practice of Computation : Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings. 1st ed. 2012
edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez
出版情報: Tokyo : Springer Japan : Imprint: Springer, 2012
シリーズ名: Proceedings in Information and Communications Technology ; 5
オンライン: https://doi.org/10.1007/978-4-431-54106-6
7.

電子ブック
ＥＢ
7. Modern Formal Methods and Applications. 1st ed. 2006
edited by Hossam A. Gabbar
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2006
オンライン: https://doi.org/10.1007/1-4020-4223-X
8.

電子ブック
ＥＢ
8. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
9.

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

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