应用常微分方程 【数理化】

数理方程及其应用 【数理化】

微分方程及其应用 【数理化】

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

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

应用随机过程 【数理化】

本书是现代应用随机过程教材，内容从初等入门到现代前沿，包括预备知识、随机过程的基本类型、Poisson过程、更新过程、Markov链、鞅、Brown运动、随机积分、随机微分方程及应用、Levy过程等。本书配有大量与社...

微分方程及其应用 下 【数理化】

积分方程及其应用 【数理化】

奇异积分方程论及其应用 【数理化】

多维奇异积分和积分方程 【数理化】

常微分方程及其应用 【数理化】