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

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

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

农业资源高效利用与可持续发展 纪念农业资源区划工作二十周年文集 【经济】

本书汇集76篇论文，就进一步做好新时期的农业资源区划工作进行了论述。

成功的公式 胜者指南 【哲学宗教】

您是否知道，成功的哲学有许多种起源？其发展历程跨越了好几个世纪，经受了不同文化和各种不同条件的考验。成功的哲学也许是最可靠的开发个性的系统。与我们的祖先相比，我们拥有一个很重要的优势，那就是我们可以收...

高中数理化公式、定理、概念手册 【文化科学教育体育】

随着教育新政的逐步推行，教学模式的变化势必会影响练习模式，初中《课时新体验》力求在课时练习的基础上，融入学案理念，创新练习模式。本书采取书夹卷的形式，“书”为课时训练部分，“卷”为单元、期中期末卷及答.....

特殊函数概论 【数理化】

复变函数 【数理化】

消费函数分析 【经济】

优质高效肉牛生产与产品加工 国家“九五”重中之重课题“河北省肉牛规模化养殖及产业化技术研究与开发”论文集 【工业技术】

本书分为牛肉杂交改良与繁殖、肉牛营养与饲料、肉牛饲养管理与疾病防治、肉牛产品加工与利用、肉牛生产系统评价与社会化服务体系5部分，共86篇具有代表性论文。...

Delphi计算机语言函数应用 【工业技术】