数理逻辑引论与归结原理 【数理化】

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

卡尔曼滤波与组合导航原理 【数理化】

本书着重阐述了卡尔曼滤波基本理论，以及近十年发展起来的有关卡尔曼滤波的新理论和新方法，容错组合导航设计理论和方法，另外还有作者的部分科研成果。内容安排上力求循序渐进，由浅入深，确保知识连贯。为便于读者...

等离子体放电原理与材料处理 【数理化】

本书前九章讲解了低气压等离子体物理和技术的基础理论和知识，其中包括气相和表面的物理化学过程。第十章和第十八章分别介绍了等离子体粒子和能量平衡以及动力学理论的知识。十一至十四章分别讲解了各种放电...

半导体物理与器件 基本原理 【数理化】

本书是半导体物理与器件的一本优秀英文教材。全书共分15章，包括固体的晶振结构、量子力学简介、固体的量子理论简介、平衡态半导体、载流子传输现象、半导体中的多子、PN结、PN结二极管、金属半导体和半导体...

超快激光光谱原理与技术基础 【数理化】

本书较系统地介绍了超快光谱研究所涉及的理论基础和实验技能；着重介绍了相干态的原理和实验测量，援引了该研究领域的最新研究成果；对目前国际上新兴的非线性激光光谱领域的理论和实验作了比较详尽的介绍，对国内...

计算固体力学原理与方法 【数理化】

本书内容主要包括三部分，第一部分是以变分原理和加权残量法为基础，详细讨论了有限元方法、边界元方法、无网格方法和微分求积有限单元方法的力学基础和单元构造方法，深入分析了几种方法的特点及其应用范围；第二...

纯粹数学与应用数学专著 典藏版 第7号 运动稳定性理论与应用 【数理化】

Matlab微分方程高效解法 谱方法原理与实现 【数理化】

本书详细阐述了谱方法基本原理、重要技巧，同时着重介绍了它的Matlab实现。结合不同的边界条件（周期性边界条件，第一、二、三类边界条件），基本涵盖了所有常见的微分问题。每个实例的提出均是为了说明某一技术的利...

有限元混合法理论基础及其应用 发展与应用 【数理化】

数据分析 基于内容与结构的网络舆情分析报告 2015 【数理化】

在Web2.0技术与应用不断深化以及移动应用不断产生的新时代，互联网已成为社会民意与民声的重要来源。利用互联网中用户产生的各种数据进行社会舆情分析，已成为当前信息检索与情报获取的一个重要研究方向。人们...