竹村 彰通／著 -- 岩波書店 -- 2018.4 -- 007.609 , 007.609

国友 直人／監修 -- 東京大学出版会 -- 2008.8 -- 350.1 , 350.1

木村 俊房／[ほか]編集委員 -- 共立出版 -- 2007.9 -- 410.8 , 410.8

奥野 正寛／編著 -- 新世社 -- 2002.11 -- 331.845 , 331.845

東京大学工学部計数工学科数理情報工学コース／編 -- 日本評論社 -- 2002.9 -- 410 , 410

-- 岩波書店 -- 1993.4 -- 308 , 308