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