検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：中島, 震(1955-)
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN 中央図書館中島震著近代科学社2008中央５階 007.63||N 34
2書影形式手法入門 : ロジックによるソフトウェア設計 中央図書館中島震著オーム社2012中央５階 007.63||N 34
3書影ソフト・エッジ : ソフトウェア開発の科学を求めて ( 丸善ライブラリー ; 383[ 情報研シリーズ ; 17] )多摩図書館中島震, みわよしこ著丸善出版2013多摩
4書影ソフトウェア工学から学ぶ機械学習の品質問題 中央図書館中島震著丸善出版2020中央５階 007.63||N 34
5書影AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論 : electronic bk 中央図書館中島震著丸善出版2022電子ブック 007.63||N 34
選択行を
▲ページトップへ