John MacCormick／著 -- オライリー・ジャパン -- 2020.12 -- 007.1

野崎 昭弘／著 -- 講談社 -- 2015.9 -- 410.9

高岡 詠子／著 -- 講談社 -- 2014.2 -- 007.1

Michael Sipser／著 -- 共立出版 -- 2008.5 -- 007.1

Michael Sipser／著 -- 共立出版 -- 2008.5 -- 007.1

Michael Sipser／著 -- 共立出版 -- 2008.5 -- 007.1

J.ホップクロフト／共著 -- サイエンス社 -- 2003.8 -- 007.1

J.ホップクロフト／共著 -- サイエンス社 -- 2003.4 -- 007.1

G.ミルバーン／[著] -- 岩波書店 -- 2003.1 -- 007.1

西野 哲朗／著 -- 培風館 -- 2002.12 -- 007.1