ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:NDLSH:ソフトウェア -- 品質管理
図書(4 件)
選択行を:
10件
20件
50件
資料名
所在
1
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著. -- 近代科学社, 2008.4.
図書館(書庫)
007.6:N
2
SPINモデル検査入門 / Mordechai Ben-Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳. -- オーム社, 2010.3.
図書館(閲覧室)
007.6:B
図書館(書庫)
007.6:B
3
ソフトウェア工学から学ぶ機械学習の品質問題 / 中島震著. -- 丸善出版, 2020.11.
図書館(閲覧室)
007.6:N
4
ソフトウェア信頼性の基礎 : モデリングアプローチ / 山田茂著. -- 共立出版, 2011.8.
図書館(閲覧室)
007.6:Y
選択行を:
▲ページトップへ
動画を再生するには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
초성
중성
종성