検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA13681738
名称(HDNG)中島, 震(1955-)||ナカジマ, シン
生没年(DATE)1955
注記(NOTE)SRC:オブジェクト指向最前線 / 青山幹雄, 深澤良彰編 (朝倉書店, 1996.7-) 2002の奥付頁による
法政大学経営学部教授(2002-2004)
国立情報学研究所教授(2004-)
選択行を：
資料名所在
1SPINモデル検査入門 / Mordechai Ben-Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳. -- オーム社, 2010.3.図書館(閲覧室) 007.6:B
図書館(書庫) 007.6:B
2形式手法入門 : ロジックによるソフトウェア設計 / 中島震著. -- オーム社, 2012.4.図書館(閲覧室) 007.6:N
3SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著. -- 近代科学社, 2008.4.図書館(書庫) 007.6:N
4ソフトウェア工学から学ぶ機械学習の品質問題 / 中島震著. -- 丸善出版, 2020.11.図書館(閲覧室) 007.6:N
5ソフトウェア工学 / 中谷多哉子, 中島震編著. -- 放送大学教育振興会, 2019.3. -- (放送大学大学院教材 ; 8970149-1-1911 . 情報学プログラム||ジョウホウガク プログラム).図書館(閲覧室) 007.6:N
図書館(シラバス) 007.6:N
選択行を
▲ページトップへ