本书介绍了传感器电路的设计和选用，讲述传感器电路中的线性化方法，列举了各类传感器的接口电路和近百种实用电路。

暂缺简介...

本书分两篇。第一篇讨论形式系统理论，介绍了一阶形式系统理论基础、哥德尔不完全性定理以及形式系统的判定问题;第二篇探讨了知识工程中的两个核心问题：机器推理与机器发现（机器学习）如何形式化。

本书阐述了各种遥感图像数字处理方法的数学和物理基础、具体算法、应用条件和效果。

本书阐述了用于大批和批量生产的自动机械系统设计构成的工程计算和论证方法，机械系统最优结构配置方案的比较分析和选择，以及自控制系统的计算和设计。

本书介绍机器人的位置控制、运动学控制和动力学控制的原理，讲解了数学模型和各种控制方式，还介绍了机器人机械结构的几何模型、驱动系统、人机通信及程序设计等内容。

本书提出计算机辅助测试（CAT）系统的三种基本模型，论述CAT系统的三个基本组成部分：硬件、软件、数学模型及CAT的三项基本理论：可测试性理论、测试确定性理论、测试可靠性理论。

本书介绍了信息论的基本概念和基本内容、信息量度、信道与信道容量、率失真函数等。

暂缺简介...

本书共包括计算机与信息处理技术方面的词汇3000余条，每条术语带有简明定义。