计算机科学理论与基础知识
-
容错与故障可测性系统设计（美）P.K.拉拉（Parag K.Lala）著；孟永炎等译本书全面地论述了数字系统的可靠性的基本概念和故障诊断及容错技术方面的基本理论，尤其对容错的讨论深入而广泛。 -
计算复杂性概论赵瑞清，孙宗智编著暂缺简介...
-
算法设计分析的理论与方法顾立尧，霍义兴编著本书内容包括：计算模型、递归技术、分治法、排序、集合运算问题及其合适的数据结构、图的算法、有效算法的设计。
-
NPC理论导引张泽增著中国科学院科学基金资助的课题。
-
个人计算机辅助设计与制造（美）P.R.卡伯里编；王淑芬译本书对CAD/CAM用户，特别是个人计算机CAD用户，所需的各种图形技术硬件-图形输入装置、显示终端、打印机、绘图机和可用软件，从目前已有的最新产品为例，进行了评述。
-
通用逻辑阵列GAL周永钊等编译本书介绍了国际上的最新通用逻辑阵列（GAL）技术，内容包括GAL芯片的原理，基本功能、软硬件开发工具、实际应用等。
-
电子计算机孙左一等编译暂缺简介...
-
计算机科学中的逻辑学王元元编著本书介绍数理逻辑的基本内容和针对计算机的应用而发展出来的各种逻辑，并介绍了γ-演算和组合逻辑。附有一定数量的习题。
-
计算引论姜文清，张吉锋编著高等学校教材。
-
计算机原理李大友主编高等学校教材。
