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