计算机科学理论与基础知识
-
计算机辅助设计·生产·管理（日）人见胜人主编；（日）中岛胜等编著；肖承忠等译暂缺简介... -
光栅图形学手册（美）孔拉克公司编；石教英，黄剑锋译暂缺简介...
-
计算机基础李兴无等编著本书阐述了计算机的工作原理、基本理论和组成结构。
-
数字系统逻辑设计丁韵苓，曲凤英编著暂缺简介...
-
计算机辅助设计与应用徐正杰编著暂缺简介...
-
计算机基础知识及管理信息系统黄梯云主编本书由电子计算机的基本原理、BASIC语言、管理信息系统的概念及研制三部分组成。
-
计算机逻辑设计基础张礼平编著暂缺简介...
-
算法设计和分析朱洪等编著本书主要介绍如何设计和分析离散系统中出现的各种问题的计算机解法。
-
计算机网络与局部网络技术李普恩等编写暂缺简介...
-
计算机科学中的现代逻辑学王元元编著1989年科学出版社出版了《计算机科学中的逻辑学》，该书于1992年获国家优秀教材奖，1997年被国家教委列为“九五“规划重点发展教材。根据教材建设的需要，借本次重印之机，对原书的内容进行了增补，其主要内容包括：形式化和形式系统的概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统等内容。
