実用Git
データ構造とアルゴリズム 上達のための基本・常識
群論への第一歩 集合、写像から準同型定理まで
アンダースタンディングコンピュテーション
白と黒のとびら オートマトンと形式言語をめぐる冒険
論理と集合から始める数学の基礎
プログラミング脳
プログラム意味論の基礎
例題で学ぶ集合と論理
フシギなくらい見えてくる 本当にわかる論理学
ちょうぜつソフトウェア設計入門――PHPで理解するオブジェクト指向の活用
Node.jsデザインパターン 第2版
競技プログラミングの鉄則
入門!論理学
なるほどUNIXプロセス
問題解決のための「アルゴリズム×数学」が基礎からしっかり身につく本
APIケーススタディ
新しいシェルプログラミングの教科書
なっとく!関数型プログラミング
オートマトン・言語理論の基礎