1.

電子ブック
ＥＢ
1. Constraints Meet Concurrency
by Jacopo Mauro
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名: Atlantis Studies in Computing ; 5
オンライン: http://dx.doi.org/10.2991/978-94-6239-067-6
2.

電子ブック
ＥＢ
2. Teoria degli Automi Finiti
by Aldo Luca, Flavio D’Alessandro
出版情報: Milano : Springer Milan : Imprint: Springer, 2013
シリーズ名: UNITEXT ; 68
オンライン: http://dx.doi.org/10.1007/978-88-470-5474-5
3.

電子ブック
ＥＢ
3. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
by Fabio Mogavero
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名: Atlantis Studies in Computing ; 3
オンライン: http://dx.doi.org/10.2991/978-94-91216-95-4
4.

電子ブック
ＥＢ
4. Instruction Sequences for Computer Science
by Jan A. Bergstra, Cornelis A. Middelburg
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 2
オンライン: http://dx.doi.org/10.2991/978-94-91216-65-7
5.

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

電子ブック
ＥＢ
6. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
7.

電子ブック
ＥＢ
7. Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings
edited by Tibor Gyimóthy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: http://dx.doi.org/10.1007/3-540-61053-7
8.

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

電子ブック
ＥＢ
9. Logics for Concurrency : Structure versus Automata
edited by Faron Moller, Graham Birtwistle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1043
オンライン: http://dx.doi.org/10.1007/3-540-60915-6
10.

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