石双元主编2012 年出版508 页ISBN：9787302280538
本书以Microsoft.NET和C#语言为背景，系统全面的介绍Web信息系统开发所涉及的各项技术。
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
张雪洪，胡洪波编著（上海交通大学生命科学院）2011 年出版315 页ISBN：9787313032935
本书是国家自然科学基金研究成果专著出版基金项目，阐述生命科学中的数值方法和生命科学中的实验数据处理及实验设计。
张效祥主编2018 年出版1433 页ISBN：9787302495727
《计算机科学技术百科全书》（第三版）是一部全面、系统、科学地阐述计算机科学技术基础知识的、最高层次的专业性工具书。全书按照学科的内在联系、相关程度及性质特点，划分为“计算机理论”“计算机体系结构”...
张宏伟，金光日，施吉林等著2013 年出版379 页ISBN：9787040365955
本书主要介绍计算机上求解数值问题的各种数值方法，包括矩阵计算，插值与逼近及其应用，数值微积分，常微分方程数值解法和小波等，以及以附录形式出现的矩阵分析，计算理论简介和数值实验。由浅入深，叙述严谨，方法......
