现代网络技术与应用 【工业技术】

Visual FoxPro及其应用系统开发 【工业技术】

内容简介 本书是新世纪计算机基础教育丛书中的一本。作者根据多年的数据库课程的教学经验， 总结出了“语言基础―程序设计―系统开发”三阶段教学法。本书从应用出发，遵循该三阶段 教学过程，循序渐进地介绍了V...

水资源及其管理的研究与应用 以水资源的可持续利用保障可持续发展 【工业技术】

桉树人工林长期生产力管理研究 【农业科学】

现代教育技术应用基础 【文化科学教育体育】

暂缺《现代教育技术应用基础》简介

现代电子技术应用与设计 【工业技术】

现代计算机应用技术 【工业技术】

现代制造导论 理念 模式 技术 应用 【其他书籍】

现代直升机应用及发展 【航空航天】

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

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