郝谦，孙英华主编；曾辉，曾纯清，钟敏娟副主编2005 年出版256 页ISBN：7563510761
本书是为配合《C程序设计》（郝谦、孙英华主编，北京邮电大学出版社出版）一书的教学而编写的。全书按照由浅入深、循序渐进的风格组织编写。...
蔡启先，林川，吴启明等编著2010 年出版280 页ISBN：9787111288305
本书是作者多年从事语言教学和教改的经验总结。全书的最大特点是重视程序设计素质的培训，内容上以零程序设计为起点。
（美）Andrew Koenig著2009 年出版174 页ISBN：7115171793
本书分为8章，从词法分析、语法语义、连接、库函数、预处理器、可移植性缺陷等几个方面分析了C编程中可能遇到的问题，并给出了若干具有实用价值的建议。...
周雯主编；徐凤梅，于继武，龚丽副主编2012 年出版298 页ISBN：9787561844502
本书采用理论与实践相结合的方式进行讲解，将全国计算机等级考试（二级C语言）的考试内容贯穿于各章。
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
