| ソフトウェア工学から学ぶ 機械学習の品質問題
著者：中島震 出版社：丸善出版 ( 2020年11月21日頃 ) 価格：3,080円 ISBN13：9784621305737 | |
| ソフトウェア工学
著者：中谷多哉子 / 中島震 出版社：放送大学教育振興会 ( 2019年03月20日頃 ) 価格：3,520円 ISBN13：9784595141195 | |
| 優れたデザインにとってコンセプトが重要な理由
著者：中島震 出版社：丸善出版 ( 2023年07月03日 ) 価格：3,520円 ISBN13：9784621308134 | |
| AIリスク・マネジメント
著者：中島震 出版社：丸善出版 ( 2023年01月06日 ) 価格：3,080円 ISBN13：9784621307809 | |
| SPINモデル検査
著者：中島震 出版社：近代科学社 ( 2008年04月 ) 価格：4,180円 ISBN13：9784764903531 | |
| 抽象によるソフトウェア設計
著者：ダニエル・ジャクソン / 中島震 出版社：オーム社 ( 2011年07月 ) 価格：4,950円 ISBN13：9784274068584 | |
| デジタル・プラットフォーム 解体新書
著者：高梨千賀子 / 福本勲 / 中島震 出版社：近代科学社 ( 2019年04月25日頃 ) 価格：2,750円 ISBN13：9784764905894 | |
| SPINモデル検査入門
著者：M．ベン・アリ / 中島震 出版社：オーム社 ( 2010年03月 ) 価格：3,630円 ISBN13：9784274208447 | |
| Event-B
著者：中島震 / 来間啓伸 出版社：近代科学社 ( 2015年02月 ) 価格：4,180円 ISBN13：9784764904248 | |
| ソフト・エッジ
著者：中島震 / みわよしこ 出版社：丸善出版 ( 2013年03月 ) 価格：836円 ISBN13：9784621053836 | |
| 形式手法入門
著者：中島震 出版社：オーム社 ( 2012年04月 ) 価格：3,080円 ISBN13：9784274211881 | |
| Bメソッドによる形式仕様記述
著者：来間啓伸 / 中島震 出版社：近代科学社 ( 2007年12月 ) 価格：3,960円 ISBN13：9784764903470 | |
| ソフトウェア工学の基礎（16）
著者：中島震 / 鷲崎弘宜 出版社：近代科学社 ( 2009年11月 ) 価格：6,600円 ISBN13：9784764903760 | |
| オブジェクト指向最前線（2002）
著者：中島震 / 三ツ井欽一 出版社：近代科学社 ( 2002年09月01日頃 ) 価格：3,850円 ISBN13：9784764903029 |