1、《計算機程序設計藝術（第1卷）》
《計算機程序設計藝術》系列是公認的計算機科學領域經典之作，深入闡述了程序設計理論，對計算機領域的發展有着極爲深遠的影響。一共有3卷，第 1 卷，講解基本算法；第2卷，全面講解了半數值算法，分“隨機數”和“算術”兩章；第3卷，全面講述了排序和查找算法。
豆瓣書評：
@Palmer：這也算是需要 一輩子用心來讀 的一本書吧！~@Prayer：毋庸多說，神作！Knuth不僅僅有鼻祖級別的學問，更有曠世大師的氣概！
2、《Software Foundation》
本書對軟件工程的數學基礎進行了詳細的介紹，面向的受衆很廣，從本科生到博士生和研究人員，不要求讀者具備特定的邏輯或編程語言背景，當然如果你具備一定的數學基礎幫助會很大。
豆瓣書評：
@クロムウェル：內容涵蓋coq入門、形式語義、程序驗證、類型系統，可以邊讀邊在coq上做證明，強力推薦 @HashChain：前半部分主講Coq，後面部分和TAPL結合起來看。 好多題目沒做完，需要多看幾遍。
3、《handbook of programming languages》
這是一本完整的手冊，涵蓋了使用最廣的面向對象編程語言，並全面介紹了每種語言的歷史背景、語法、變量、技巧等，本書一共有四卷。
4、《Advanced Topics in Types and Programming Languages》
本書涉及計算機科學的許多領域，從語言設計和實現到軟件工程、網絡安全、數據庫，以及併發和分佈式系統的分析。
5、《Basic Category Theory for computer Scientists》
範疇理論是純數學的一個分支，它正在成爲計算機科學中一個日益重要的工具，特別是在編程語言語義、領域理論和併發性方面。本書介紹了範疇理論的基本內容，而且用四個案例研究說明了範疇理論在編程語言設計、語義和遞歸域方程求解中的應用。
6、《compiler design：virtual machine》
這本書並不是一本關於編譯器的烹飪書，相反，作者介紹了編譯器設計的一些特性，這是多卷集中的第一本書，作者在這裏描述了編譯器的功能，這本書是爲計算機科學專業的學生準備的，閱讀本書之前，你至少需要掌握一門命令式編程語言，如果你能再瞭解一門現代函數式編程語言就再好不過
7、《深入理解計算機系統》
本書的主要論題包括：數據表示、C程序的機器級表示、處理器結構，程序優化、存儲器層次結構、鏈接、異常控制流、虛擬存儲器和存儲器管理、系統級I/O、網絡編程和併發編程。
書中所覆蓋的內容主要是這些方面是如何影響應用和系統程序員的。例如，在講述數據表示時，本書說明了用來表示數字的表示方法是有限的，它能夠近似地表示整數和實數，但是這種表示方法是有限制的，程序員必須瞭解。在講述高速緩存時，本書討論了矩陣代碼中的循環變量的順序是如何影響程序的性能的。在討論網絡互連時，本書描述了併發服務器如何能有效地處理來自多個客戶端的請求。