本书根据ANSI标准草案，对C语言进行介绍。内容：C语言的变量、常量、类型及其转换；表达式与运算符；语句与控制流；函数；数据存储类；数组和指针；结构、联合和枚举；标准函数库等。

本书介 绍了光盘的读出技术、衍射的向量理论、光盘系统的控制原理和母版制造方法;并对在线光学录刻材料、光盘系统的信道编码和它们的应用、发展作了介绍。

本书通过大量典型应用示例，具体阐述了计算机程序设计的基本原理、基本方法、基本技术和基本技巧。

本书系统地阐述了自动控制理论基础和计算机控制系统的硬件、外围接口、软件组织、离散系统的分析和综合以及计算机控制系统的实例和抗干扰的基本知识。第一、二、三章为连续系统自动控制理论基础；第四章为离散系统的理论基础；第五、六章介绍了过程输入输出通道和数据采集、处理；第七章为可编程序控制器；第八、九章为数字PID控制和复杂控制系统；第十章为数字控制器的直接设计方法；第十一章为微型计算机控制系统实例和抗干扰的基本措施。本书选材注意了先进性、系统性和实用性，并将自控理论与计算机控制系统尽量有机地结合起来。本书可作为高等专科学校计算机应用、电气化及仪表专业的计算机控制技术教材，也可供电大、职工大学使用，还可供从事计算机应用的工程技术人员参考。

本书收集了《管理信息系统》课程教学中积累和科研实践中提炼的460多道习题及其详解， 内容紧密结合电子计算机在管理中的应用实际， 包括管理信息系统概念、电子数据处理技术、管理信息系统分析与设计和编写应用程序技巧等各个方面。

本书包括软件危机与软件工程、软件计划、需求分析及规格说明、软件设计软件编程与语言、软件测试与软件可靠性，软件维护、实例８个部分。

内容提要本书是一部系统、全面地介绍XENIX系统使用方法的入门教材。全书共分十三章，分别介绍了UNIX/XENIX系统的发展过程、现状与未来，开始进入系统工作所必需的操作，XENTX的文件系统及其文件管理方法，shell命令语言的使用，电子邮件的使用方法，系统的进程控制方法，磁盘操作方法（包括对DOS系统的软盘操作）以及系统管理员的职责与权力。书中还介绍了XENIX系统下的两个编辑软件：vi和ed。最后七个附录提供了系统主要模块的命令速查表。本书内容丰富，例题广泛、实用，可作为各类多用户计算机学习班的教材，也可作为自学教材。本书还可以为应用UNIX/XENIX系统的软件设计人员提供参考与借鉴。

本书以Apple-II电脑为背景着重从使用的角度出发，系统地阐述FORTH语言的基本原理及 应用。

1989年科学出版社出版了《计算机科学中的逻辑学》，该书于1992年获国家优秀教材奖，1997年被国家教委列为“九五“规划重点发展教材。根据教材建设的需要，借本次重印之机，对原书的内容进行了增补，其主要内容包括：形式化和形式系统的概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统等内容。

本书着重介绍了微程序仿真技术的概念、原理、方法及其实现过程。