（美）Andrew W. Appel，（美）With Jens Palsberg2003 年出版501 页ISBN：7040135019
本书阐述了编译程序的各个方面：词法分析，句法分析，抽象语法，语义行为，中间件表示，通过树匹配实现的指令选择，数据流分析，配色图寄存器分配和运行系统。书中内容较好地涵盖了代码生成和寄存器分配的新技术，还......
（英）Lawrence C.Paulson著；柯韦译2005 年出版369 页ISBN：7111161211
本书是关于ML程序设计的经典教材，详细介绍如何使用ML语言进行程序设计，并讲解函数式程序设计的基本原理。书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法...
谭浩强主编；张玲，谢琛编著2005 年出版402 页ISBN：7508037294
本书根据教育部五年制高职教育公共课开发指导委员会“公共课课程基本要求”编写，被教育部职成司列为公共课推荐教材。
（美）Brad Stone，（美）Julie Symons著；王艺等译2000 年出版295 页ISBN：7505361694
王莹莹主编；高静波，方云副主编2007 年出版250 页ISBN：7802213851
本书根据《信号与线性交流》（第四版）的教学计划及大纲要求编写，将教材中的难点归纳总结整理，将教学中的问题给予指导并将课后练习全解，帮助学生更好的掌握所学知识。...
