抽象によるソフトウェア設計−Alloyではじめる形式手法− Daniel Jackson, 中島 震, 今井 健男, 酒井 政裕, 遠藤 侑介, 片岡 欣夫 Alloy ソフトウェア工学 ソフトウェア設計 +2 1 218
あなたの知らないところでソフトウェアは何をしているのか? ―映画やゲームのグラフィックス、データ検索、暗号化、セキュリティー、データ圧縮、ルート探索……華やかな技術の裏でソフトウェアがしていること V. Anton Spraul, 原 隆文 アルゴリズム グラフィックス コンピュータサイエンス +4 1 91
