基础理论
编码：隐匿在计算机软硬件背后的语言 这本书其实不应该叫编码——它更应该叫“Petzold教你造计算机”——作者 Charles Petzold创造性的以编码为主题，从电报机和手电筒讲到数字电路，然后利用 数字电路 中的逻辑门构造出 加法器 和 触发器 ，最后构造出一个完整的 存储程序计算机 。不要被这些电路概念吓到—— 编码 使用大量形象贴切的类比简化了这些概念，使其成为最精彩最通俗易懂的计算机入门读物。
深入理解计算机系统（第2版） 这本书的全名是：Computer Systems：A Programmer’s Perspective（所以它又被称为 CSAPP），我个人习惯把它翻译为程序员所需了解的计算机系统知识，尽管土了些，但更名副其实。
深入理解计算机系统 是我读过的最优秀的计算机系统导论型作品，它创造性的把操作系统，计算机组成结构，数字电路，以及编译原理这些计算机基础学科中的核心概念汇集在一起，从而覆盖了指令集体系架构，汇编语言，代码优化，计算机存储体系架构，链接，装载，进程，以及虚拟内存这些程序员所需了解的关键计算机系统知识。如果想打下扎实的计算机基础又不想把操作系统计算机结构编译原理这些书统统读一遍，阅读 深入理解计算机系统 是最有效率的方式。
编程语言理论
大多数程序员并不需要从头编写一个编译器或解释器，因此 龙书（编译原理） 就显得过于重量级；然而多数程序员还是需要解析文本，处理配置文件，或者写一个小语言， 编程语言实现模式 很好的满足了这个需求。它把常用的文本解析/代码生成方法组织成一个个模式，并为每个模式给出了实例和应用场景。这本书既会提高你的动手能力，也会加深你对编程语言的理解。Python 发明者 Guido van Rossum 甚至为这本书给出了 “Throw away your compiler theory book!” 这样的超高评价。
程序员每天都要和编程语言打交道，但是思考编程语言为什么会被设计成这个样子的程序员并不多， 程序设计语言——实践之路 完美的回答了这个问题。这本书从编程语言的解析和运行开始讲起，系统了介绍了命名空间，作用域，控制流，数据类型以及方法（控制抽象）这些程序设计语言的核心概念，然后展示了这些概念是如何被应用到过程式语言，面向对象语言，函数式语言，脚本式，逻辑编程语言以及并发编程语言这些具有不同编程范式的编程语言之上。这本书或极大的拓宽你的视野——无论你使用什么编程语言，都会从这本书中获益良多。理解这一本书，胜过学习十门新的编程语言。
延伸阅读：
七周七语言：理解多种编程范型 ：尽管我们在日常工作中可能只使用两三门编程语言，但是了解其它编程语言范式是很重要的。 七周七语言 一书用精简的篇幅介绍了 Ruby，Io，Prolog，Scala，Erlang，Clojure，和 Haskell 这七种具有不同编程范式的语言——是的，你没法通过这本书变成这七种语言的专家，但你的视野会得到极大的拓宽；
自制编程语言 ：另一本优秀的编译原理作品， 自制编程语言 通过从零开始制作一门无类型语言 Crowbar 和一门静态类型语言 Diksam，把类型系统，垃圾回收，和代码生成等编程语言的关键概念讲的清清楚楚；
计算的本质：深入剖析程序和计算机 ：披着 Ruby 外衣的 计算理论 入门书籍，使你对编程语言的理解更上一层楼。
程序设计
现代编程语言的语法大多很繁杂，初学者使用这些语言学习编程会导致花大量的时间在编程语言语法（诸如指针，引用和类型定义）而不是程序设计方法（诸如数据抽象和过程抽象）之上。 程序设计方法 解决了这个问题——它专注于程序设计方法，使得读者无需把大量时间花在编程语言上。这本书还有一个与之配套的教学开发环境 DrScheme ，这个环境会根据读者的程度变换编程语言的深度，使得读者可以始终把注意力集中在程序设计方法上。
我个人很奇怪 程序设计方法 这样的佳作为什么会绝版，而谭浩强C语言这样的垃圾却大行其道——好在是程序设计方法 第二版 已经被免费发布在网上。
计算机程序的构造与解释 是另一本被国内大学忽视（至少在我本科时很少有人知道这本书）的教材，这本书和 程序设计方法 有很多共同点——都使用 Scheme )作为教学语言；都专注于程序设计方法而非编程语言本身；都拥有相当出色的课后题。相对于 程序设计方法， 计算机程序的构造与解释 要更加深入程序设计的本质（过程抽象，数据抽象，以及元语言抽象），以至于 Google 技术总监 Peter Norvig 给了这本书 超高的评价 。
延伸阅读：
编程原本 ： STL 作者的关于程序设计方法佳作——他把关系代数和群论引入编程之中，试图为程序设计提供一个坚实的理论基础，从而构建出更加稳固的软件。这本书是 程序设计方法 和 计算机程序的构造与解释 的绝好补充——前者使用函数式语言（Scheme）讲授程序设计，而 编程原本 则使用命令式语言（C++）;
元素模式 ： 设计模式 总结了 面向对象程序设计 中的模式，而 元素模式 这本书分析了 程序设计 中的常见模式的本质，阅读这本书会让你对程序设计有更深的理解；
The Science of Programming ：会编程的人很多，但能够编写正确程序的人就少多了。 The Science of Programming 通过 前条件——不变式——后条件 以及逻辑谓词演算，为编写正确程序提供了强有力的理论基础，然后这本书通过实例阐述了如何应用这些理论到具体程序上。任何一个想大幅提高开发效率的程序员都应阅读此书。
