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、网络编程和并发编程。
书中所覆盖的内容主要是这些方面是如何影响应用和系统程序员的。例如，在讲述数据表示时，本书说明了用来表示数字的表示方法是有限的，它能够近似地表示整数和实数，但是这种表示方法是有限制的，程序员必须了解。在讲述高速缓存时，本书讨论了矩阵代码中的循环变量的顺序是如何影响程序的性能的。在讨论网络互连时，本书描述了并发服务器如何能有效地处理来自多个客户端的请求。