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

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

萨克斯演奏 美女与野兽 欧美流行 简易级 【艺术】

现代控制理论及应用 【数理化】

本书包括现代控制系统，包括线性系统理论、最优控制理论、最优估计理论、系统辨识及自适应控制。

现代空间光电信息处理技术及应用 【其他书籍】

现代电子设计方法教程 【工业技术】

本书共分8章。第1章介绍现代电子设计的发展历程、基本概念和方法；第2章讲述EDA工程的理论基础，包括系统建模、故障测试、功能仿真等；第3章介绍各种现代电子设计方法，如IP复用法、ASIC设计法以及软硬件协同设计...

交点间断Galerkin方法 算法、分析和应用 【数理化】

本书介绍了最新的一种高精度高效率的计算方法，即交点间断Galerkin方法。这是有限元方法对于具守恒性质的物理与工程问题的一个高精度应用。该书详述了方法的背景、理论及其在几个重要方面的应用。该书给出了...

环境保护标准原理方法及应用 【环境安全】

本书拟较为系统、详尽地介绍标准基础知识和国内外环境标准现状，探讨环境标准内部体系问题和外部法律环境问题，阐述环境基准、环境质量标准和污染物排放标准的原理和制订实施方法，展示环境标准的实施体系、案例...

吉他流行技巧与练习 【艺术】

本书精选了米夏尔·朗格创作的12首各种流行风格（民间音乐、布鲁斯、爵士乐和拉丁音乐）的古典吉他曲，每首乐曲都附有一个详细的技巧讲解。随书的DVD录制了朗格本人对于每个技巧和乐曲的亲自示范和讲解。...

流行性出血热与急性肾功能衰竭 【医药卫生】

血液病学 基本原理与实践 第3版 下 【医药卫生】