Michael Sipser／著 -- 共立出版 -- 2023.5 -- 007.1 -- 計算可能性の理論

Michael Sipser／著 -- 共立出版 -- 2023.5 -- 007.1 -- 複雑さの理論

Michael Sipser／著 -- 共立出版 -- 2023.4 -- 007.1 -- オートマトンと言語

太田 和夫／著 -- メディカ出版 -- 2008.6 -- 494.93 --

Michael Sipser／著 -- 共立出版 -- 2008.5 -- 007.1 -- オートマトンと言語

Michael Sipser／著 -- 共立出版 -- 2008.5 -- 007.1 -- 計算可能性の理論

Michael Sipser／著 -- 共立出版 -- 2008.5 -- 007.1 -- 複雑さの理論

太田 和夫／著 -- 岩波書店 -- 2005.5 -- 007.1 --

フレッド・パイパー／[著] -- 岩波書店 -- 2004.3 -- 007.1 --

太田 和夫／著 -- 羊土社 -- 1999.6 -- 494.28 --