関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
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 |
選択行を:
|