関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | Dockerから入るKubernetes : 15Stepで習得 : コンテナ開発からK8s本番運用まで / 高良真穂著. -- リックテレコム, 2019.9. -- (Step UP!選書). | 図書館(閲覧室) 007.6:Ta |
| 2 | SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著. -- 近代科学社, 2008.4. | 図書館(書庫) 007.6:N |
| 3 | SPINモデル検査入門 / Mordechai Ben-Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳. -- オーム社, 2010.3. | 図書館(閲覧室) 007.6:B
図書館(書庫) 007.6:B |
| 4 | アジャイルコーチング / Rachel Davies, Liz Sedley著 ; 永瀬美穂, 角征典訳. -- オーム社, 2017.1. | 図書館(閲覧室) 007.6:D |
| 5 | オペレーティングシステム : 設計と理論およびMINIXによる実装 / A・S・タネンバウム, A・S・ウッドハル著 ; 千輝順子訳. -- プレンティスホール出版, 1998.5. | 図書館(閲覧室) 007.6:T |
| 6 | 実践ソフトウェアエンジニアリング / Roger S. Pressman, Bruce R. Maxim共著 ; SEPA翻訳プロジェクト訳. -- オーム社, 2021.12. | 図書館(閲覧室) 007.6:P
図書館(シラバス) 007.6:P |
| 7 | ソフトウェア工学 / 玉井哲雄, 中谷多哉子著. -- 放送大学教育振興会, 2013.3. -- (放送大学大学院教材 ; 8970041-1-1311 . 情報学プログラム||ジョウホウガク プログラム). | 図書館(閲覧室) 007.6:Ta |
| 8 | ソフトウェア工学 / 中谷多哉子, 中島震編著. -- 放送大学教育振興会, 2019.3. -- (放送大学大学院教材 ; 8970149-1-1911 . 情報学プログラム||ジョウホウガク プログラム). | 図書館(閲覧室) 007.6:N
図書館(シラバス) 007.6:N |
| 9 | ソフトウェア工学から学ぶ機械学習の品質問題 / 中島震著. -- 丸善出版, 2020.11. | 図書館(閲覧室) 007.6:N |
| 10 | ソフトウェア工学の基礎 / 玉井哲雄著. -- 改訂新版. -- 岩波書店, 2022.6. | 図書館(閲覧室) 007.6:Ta |
選択行を：
|