ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
著者名典拠情報
NCID
DA13681738
名称(HDNG)
中島, 震(1955-)||ナカジマ, シン
生没年(DATE)
1955
注記(NOTE)
SRC:オブジェクト指向最前線 / 青山幹雄, 深澤良彰編 (朝倉書店, 1996.7-) 2002の奥付頁による
法政大学経営学部教授(2002-2004)
国立情報学研究所教授(2004-)
図書(5件)
選択行を:
10件
20件
50件
資料名
所在
1
SPINモデル検査入門 / Mordechai Ben-Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳. -- オーム社, 2010.3.
図書館(閲覧室)
007.6:B
図書館(書庫)
007.6:B
2
形式手法入門 : ロジックによるソフトウェア設計 / 中島震著. -- オーム社, 2012.4.
図書館(閲覧室)
007.6:N
3
SPINモデル検査 : 検証モデリング技法 = 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
選択行を
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성