（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
张雪洪，胡洪波编著（上海交通大学生命科学院）2011 年出版315 页ISBN：9787313032935
本书是国家自然科学基金研究成果专著出版基金项目，阐述生命科学中的数值方法和生命科学中的实验数据处理及实验设计。
张效祥主编2018 年出版1433 页ISBN：9787302495727
《计算机科学技术百科全书》（第三版）是一部全面、系统、科学地阐述计算机科学技术基础知识的、最高层次的专业性工具书。全书按照学科的内在联系、相关程度及性质特点，划分为“计算机理论”“计算机体系结构”...
张宏伟，金光日，施吉林等著2013 年出版379 页ISBN：9787040365955
本书主要介绍计算机上求解数值问题的各种数值方法，包括矩阵计算，插值与逼近及其应用，数值微积分，常微分方程数值解法和小波等，以及以附录形式出现的矩阵分析，计算理论简介和数值实验。由浅入深，叙述严谨，方法......
教育部高等学校计算机科学与技术教学指导委员会编制2007 年出版81 页ISBN：7302162026
本书是2006～2010制定的高等学校计算机科学与技术专业公共核心知识体系与课程研究。
李衍达（等编著）2005 年出版253 页ISBN：7302116849
本文字版教材共包含8讲内容，体系上可以区分两个部分，一个部分是学科发展的论述，一个部分是专业教育和介绍。全部8讲的内容分别为：由信息科学技术学院的原院长李衍达院士讲授的开篇《信息时代与学习在清华》，由李...
