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

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

初中数理化公式、考点、考题全析全解大全 【文化科学教育体育】

本书在认真研究中考发展趋势的基础上，又细致地解读了《考试说明》。在中考思路的指导下，针对教学的重点、难点、热点进行编写，编写注重基础，联系实际，体现探、究、做到跨学科综合；分块习题和热点习题，全面、系......

建筑施工流水作业最小施工段数及总工期的一般计算公式 【工业技术】

整函数和亚纯函数理论 亏值、渐近值和奇异方向 【数理化】

多个复变数正交函数及其在解析函数论中的应用 【数理化】

数学公式速记随身宝 【数理化】

本书的编写严格依据最新《全国硕士研究生入学统一考试数学考试大纲》对各卷种分别规定的考试范围及要求，书中涉及的知识内容编排分别与大纲对照一致（在书中做出标记，数一、二、三均适用的，不用标记，只适用数几的...

电工常用公式速查手册 【工业技术】

本书内容包括电工学常用基本公式、变配电系统常用计算公式、电力变压器常用计算公式、电气照明系统常用计算公式、电动机常用计算公式、低压与高压电器常用计算公式、电气仪表常用计算公式、电子元器件与电...

机械设计手册 第1卷 第2篇 常用资料和数学公式 第2版 【工业技术】

俄罗斯文学辞典 作家与作品 【文学】

本书内容涵盖了俄国文学的所有著名作者和作品，辞典中涉及到俄国文学作者和作品均给出了俄文原名和原称，书中采用中文拼音排序，便于检索。...

兵器工业科学技术辞典 地雷与爆破器材 【工业技术】