程序验证和规范的形成方法 【工业技术】

本书全面地介绍了程序验证理论、规范及有关的方法

湖泊水污染预测及其防治规划方法 【环境安全】

X射线定量相分析方法及应用 【数理化】

工程数学方法学习指导书 【工业技术】

多变量线性控制系统 状态空间方法 【工业技术】

计算机数学 【数理化】

书名原文:Computermathematics:计算机数学包括数理逻辑、集合论、图论、代数结构、形式语言与自动机和计算机几何等方面的内容

连队思想政治工作辩证方法论 【军事】

系统动态学 社会系统模拟理论和方法 【社会科学】

计算机辅助机床设计 【工业技术】

本书介绍计算机辅助设计及制造所需的各种基础知识。

计算机图象处理技术 【工业技术】