関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | Jenkins / John Ferguson Smart著 ; 玉川竜司訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.6:S |
2 | Dockerから入るKubernetes : 15Stepで習得 : コンテナ開発からK8s本番運用まで / 高良真穂著. -- リックテレコム, 2019.9. -- (Step UP!選書). | 図書館(閲覧室) 007.6:Ta |
3 | DX時代におけるデジタル・コンテンツ著作権 / 金井重彦, 高橋淳, 宮川利彰著. -- ぎょうせい, 2021.11. | 図書館(閲覧室) 021.2:Ka |
4 | GitHubツールビルディング : GitHub APIを活用したワークフローの拡張とカスタマイズ / Chris Dawson, Ben Straub著 ; 笹井崇司訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.6:D |
5 | Googleのソフトウェアエンジニアリング : 持続可能なプログラミングを支える技術、文化、プロセス / Titus Winters, Tom Manshreck, Hyrum Wright編 ; 久富木隆一訳. -- オライリー・ジャパン, . | 図書館(閲覧室) 007.6:W 図書館(シラバス) 007.6:W |
6 | Making software : エビデンスが変えるソフトウェア開発 / アンディ・オラム, グレッグ・ウィルソン編 ; 久野禎子, 久野靖訳. -- オライリージャパン, . -- (Theory in practice). | 図書館(閲覧室) 007.6:O |
7 | MDAのエッセンス : モデル駆動型ソフトウェア開発入門 / スティーブ J.メラー[ほか]著 ; 二上貴夫, 長瀬嘉秀監訳 ; テクノロジックアート訳. -- 翔泳社, 2004.12. -- (Object oriented selection). | 図書館(閲覧室) 007.6:M |
8 | SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著. -- 近代科学社, 2008.4. | 図書館(書庫) 007.6:N |
9 | SPINモデル検査入門 / Mordechai Ben-Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳. -- オーム社, 2010.3. | 図書館(閲覧室) 007.6:B 図書館(書庫) 007.6:B |
10 | インターネットソフトウェア / 野呂昌満, 後藤邦夫著. -- 共立出版, 2002.8. -- (ソフトウェアテクノロジーシリーズ ; 11 . ネットワークとマルチメディアトラック||ネットワーク ト マルチメディア トラック). | 図書館(書庫) 007.6:So:11 |
選択行を:
|