型システム入門 −プログラミング言語と型の理論− Benjamin C. Pierce, 住井 英二郎, 遠藤 侑介, 酒井 政裕, 今井 敬吾, 黒木 裕介, 今井 宜洋, 才川 隆文, 今井 健男 コンパイラ コンピュータ科学 プログラミング言語 +1 1 126
マグロウヒル大学演習 離散数学(改訂3版): コンピュータサイエンスの基礎数学 Seymour Lipschutz, Marc Lipson, 渡邉 均 アルゴリズム グラフ理論 コンピュータ科学 +2 1 72
![Cプログラミング入門以前 [第3版] (Compass Programming)の表紙](https://m.media-amazon.com/images/I/61YwZIIWLGL._SY522_.jpg)
