程序员书库（ID：CodingBook） 猿妹综合整理

来源：豆瓣、https://www.zhihu.com/question/28438145/answer/758059658等

知乎上曾有一个问题调查：不同领域的圣经级书籍有哪些？这个调查被浏览了6667327次，76017次关注，一共有1820多个答案

其中，最受计算机科学相关的书籍一共有8本，如果你是个程序员，相信你一定有兴趣看看这些书都是哪些，除了让你知道这8本分别是哪些书籍以外，猿妹还对这些书籍做了简单的介绍，并附上豆瓣评分和书评，供大家参考

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、网络编程和并发编程。

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

豆瓣书评：

@cruyff：CMU的经典教材

@Hoffnung：很好的内容，感觉的过去这些知识都分散在，编译原理，操作系统，微机原理，计

这上面的书籍你都读过了么？如果读过，不妨大家分享分享读后感

- End -

技术连载目录（可点击跳转即可阅读）：

Maven系列教程  点击--> Maven技术干货连载目录 跳转

MyBatis系列教程  点击--> MyBatis技术干货连载目录 跳转

JVM调优总结系列教程  点击--> JVM调优技术干货连载目录 跳转

点击在看,愿你我不再陌生