沈恩绍著2003 年出版198 页ISBN：7030110471
21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
（美）R. Mark Meyer著；王瑾等译2003 年出版138 页ISBN：7505387049
本书通过实验讲述了计算机科学的各个基础部分，包括数字系统、逻辑电路、计算机周期、低级语言、计算机绘图、操作系统、磁盘规划、电子数据表、数据库、人工智能、网络、HTML基础、计算的局限性等内容。每个...
（英）盖伊·德·拉·贝杜瓦耶，艾伦·莫顿著2009 年出版132 页ISBN：9787543653108
本书主要介绍了计算机、原子分裂、相对论的发现过程及其原理，重点介绍这些发现对现代生活和科学的重要作用。
JEFFERY J.LEADER著2008 年出版499 页ISBN：9787302169147
本书介绍数值分析的知识与MATLAB进行科学计算的方法。
屈延文编著2006 年出版357 页ISBN：7121012715
当代信息化事业的发展，既需要以“产业为中心”的计算机科学，也需要“用户为中心”的信息化科学，信息化科学与计算机科学为整个信息化构成两个中心的新型的“太极”理论体系。本书对计算机科学的发展过程进行了...
