随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

无机和配位化合物的红外和拉曼光谱 【数理化】

MATLAB在大学物理实验中的应用 【数理化】

本书主要利用高校中使用较多的Matlab语言对大学物理实验现象进行模拟，从而使物理实验教学内容更形象、生动且兼具科学性，与传统的演示实验相比，具有更方便灵活等优点。本书内容主要包括matlab基础知识，利用matl...

最新色谱分析检测方法及应用技术实用手册 第2卷 【数理化】

最新色谱分析检测方法及应用技术实用手册 第1卷 【数理化】

最新色谱分析检测方法及应用技术实用手册 第4卷 【数理化】

最新色谱分析检测方法及应用技术实用手册 第3卷 【数理化】

4CC和1+1的证明 兼及关于宇宙和生命的思索 【数理化】

本书由两部分组成，一部分是对两个世界数学难题哥德巴赫猜想（“1+1”）和四色定理（“4CC”）的证明，另一部分是作者对宇宙奥秘生命起源和心灵问题进行的思索。...

欧洲核子研究中心（CERN）60年的实验与发现 【数理化】

2014年是欧洲核子研究中心（CERN）庆祝成立60周年，这是第一个欧洲科研机构的巨大成功。本书总结了CERN几十年来经典实验的整体方案，包括受到广泛关注的希格斯粒子的探测实验。本书展现了粒子物理在过去60年来取得...

基于数学建模的数学实验 【数理化】

本书的每一章都是以问题为载体，按照实验目的、实验背景、实验内容、实验过程、结果分析等逐步展开，每章后又附有相应的练习。本书实验安排层次分明，紧密结合大学数学基本知识，通俗易懂，易教易学。本书内容共分三...