逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

网络核心技术内幕 综合IP网络设计解决方案 【工业技术】

网络核心技术内幕 综合IP网络设计解决方案 【其他书籍】

审计信息工作方法与技术 【经济】

变电站综合自动化技术 【工业技术】

本书内容包括：变电站综合自动化的发展过程，变电站实现综合自动化的优越性和对无人值班的促进作用，变电站综合自动化系统的内容、功能和要求，变电站综合自动化系统的结构形式，数字量和模拟量输入/输出通道的组成....

全国专业技术人员职称英语等级考试题意解析 综合与人文类 【语言文字】

全国专业技术人员职称英语等级考试模拟冲刺 综合与人文类 【语言文字】

社区卫生服务常用技术与方法 【医药卫生】

ATM技术与宽带综合业务网 【工业技术】

本书系统地讲述了ATM技术与宽带综合业务网的基本理论和关键技术。全书共十一章：分别介绍了B-ISDN的基本概念、ATM交换技术、ATM路由技术、B-ISDN网络的基本概念和信令、ATM网络信令、ATM交换操作技术、ATM网...

国际先进质量管理技术与方法 【经济】