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

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

中文Windows 98 、Word 2000、Excel 2000、PowerPoint 2000、Internet应用培训教程 【工业技术】

数学 应用数学 【数理化】

应用数学》教材共分四册，各册本着“降低理论要求，优化结构体系，加强实际应用，注重能力培养”的原则，在结构处理上和内容安排上力求做到学习理论知识与培养能力相结合，各册中还选配了大量的例题和习题。 本册.....

MATLAB高级应用 图形及影像处理 【工业技术】

本书系统介绍了利用MATLAB实现工程计算及其运算结果的可视化技术以及可视影像在MATLAB中的数字化处理技术，属于MATLAB的高级应用。本书理论与实际并重，内容丰富，通俗易懂，并附有大量的应用实例，是学习和应用MATL...

电脑上网应用指南 网络入门直通车 【工业技术】

本书介绍了使用因特网所需的基础知识，包括：因特网概况、上网软硬件设置，以及万维网、电子邮件、电子公告板、新闻组、文件传输，并详细介绍了一些上网常用软件的使用方法等。本书语言简明流畅，图文并茂，是一本很.....

生态养殖新技术 【农业科学】

烟草栽培新技术 【农业科学】

果树嫁接新技术 【农业科学】

魔芋栽培新技术 【农业科学】

烟草施肥新技术 【农业科学】