関連資料一覧：（本学所蔵）
選択行を：
| 資料名 | 所在 |
| 1 | Jenkins / John Ferguson Smart著 ; 玉川竜司訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.6:S |
| 2 | Dockerから入るKubernetes : 15Stepで習得 : コンテナ開発からK8s本番運用まで / 高良真穂著. -- リックテレコム, 2019.9. -- (Step UP!選書). | 図書館(閲覧室) 007.6:Ta |
| 3 | GitHubツールビルディング : GitHub APIを活用したワークフローの拡張とカスタマイズ / Chris Dawson, Ben Straub著 ; 笹井崇司訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.6:D |
| 4 | Googleのソフトウェアエンジニアリング : 持続可能なプログラミングを支える技術、文化、プロセス / Titus Winters, Tom Manshreck, Hyrum Wright編 ; 久富木隆一訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.6:W
図書館(シラバス) 007.6:W |
| 5 | Making software : エビデンスが変えるソフトウェア開発 / アンディ・オラム, グレッグ・ウィルソン編 ; 久野禎子, 久野靖訳. -- オライリージャパン, . -- (Theory in practice). | 図書館(閲覧室) 007.6:O |
| 6 | SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著. -- 近代科学社, 2008.4. | 図書館(書庫) 007.6:N |
| 7 | SPINモデル検査入門 / Mordechai Ben-Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳. -- オーム社, 2010.3. | 図書館(閲覧室) 007.6:B
図書館(書庫) 007.6:B |
| 8 | 大いなるソフトウェア論議 : より深く,より主体的に考えるために / Alan M.Davis著 ; 富野壽, 荒木貞雄共訳. -- 構造計画研究所, . | 図書館(閲覧室) 007.6:D |
| 9 | オートモーティブソフトウェアエンジニアリング : 原則、プロセス、手法、ツール : 日本語版 / ヨーク・ショイフェレ, トーマス・ツラフカ著; シュタールジャパン翻訳. -- シュタールジャパン, . | 図書館(書庫) 537.6:S |
| 10 | 形式手法入門 : ロジックによるソフトウェア設計 / 中島震著. -- オーム社, 2012.4. | 図書館(閲覧室) 007.6:N |
選択行を：
|