* [Structure and Interpretation of Computer Programs -- 《计算机程序的构造和解释》](http://mitpress.mit.edu/sicp/)
* [Programming Languages: Application and Interpretation -- 《编程语言:适用范围及释义》](http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/)
* [Programming Languages: Application and Interpretation -- 《程序语言:应用及解释》](http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/)
* [Introduction to Computing -- 《计算概论》](http://www.computingbook.org/)
* [An Introduction to the Theory of Computation -- 《计算理论简介》](http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html)
* [Think Complexity -- 《思想复杂性》](http://www.greenteapress.com/compmod/) - Allen B. Downey
####操作系统
* [The Art of Unix Programming -- 《Unix编程的艺术》](http://catb.org/esr/writings/taoup/html/)
* [The Art of Unix Programming -- 《Unix编程艺术》](http://catb.org/esr/writings/taoup/html/)
* [The Little Book of Semaphores -- 《信号灯的手册》](http://greenteapress.com/semaphores/) - Allen B. Downey
* [Operating Systems and Middleware -- 《操作系统和中间件》](https://gustavus.edu/mcs/max/os-book/) (PDF and LaTeX)
* [Practical File System Design:The Be File System -- 《实用的文件系统设计:BE文件系统》](http://www.nobius.org/~dbg/practical-file-system-design.pdf)(PDF) - Dominic Giampaolo
@ -206,10 +206,10 @@
* [Let's Build a Compiler -- 《建立一个编译器》](http://www.stack.nl/~marcov/compiler.pdf) (PDF)
* [Linkers and loaders -- 《链接器和加载器》](http://www.iecc.com/linker/)
* [Compiler Design: Theory, Tools, and Examples -- 《编译器设计:理论,工具和范例》](http://elvis.rowan.edu/~bergmann/books.html)
* [Practical and Theoretical Aspects of Compiler Construction -- 《编译器建设方面的理论与实践》](http://www.stanford.edu/class/archive/cs/cs143/cs143.1128/) (class lectures and slides)
* [Practical and Theoretical Aspects of Compiler Construction -- 《编译器构造的理论与实践》](http://www.stanford.edu/class/archive/cs/cs143/cs143.1128/) (class lectures and slides)
####编程范式
* [Introduction to Functional Programming -- 《功能性编程简介》](http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh-1996/) (class lectures and slides)
* [Introduction to Functional Programming -- 《函数式编程简介》](http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh-1996/) (class lectures and slides)
* [Type Theory and Functional Programming -- 《类型理论与函数式编程》](https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/)
####并行化编程
@ -219,7 +219,7 @@
* [Introduction to Parallel Computing -- 《并行计算简介》](https://computing.llnl.gov/tutorials/parallel_comp/) - Blaise Barney