交互式马尔可夫链 并发系统的设计、验证与评价 【数理化】

本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...

实验数学 基于CDIO模式 第2版 【数理化】

本教材是为理工科院校开设数学实验课程编写的教材，内容共分两篇：第一篇是基础实验，由14个实验构成，其中实验1-2介绍MATLAB软件基本操作，实验3-14以MATLAB软件为平台解决基本数学问题的运算，内容涵盖“高等数学”...

轮系拓扑理论的综合研究 【数理化】

本书主要介绍的是周转轮系拓扑理论研究，包括周转轮系拓扑模型的建立、拓扑模型的演化和反演、拓扑的同构判定、依据拓扑模型对Pro/ENGINEER进行的二次开发及拓扑参数分析等问题。本文提出的基于拓扑理论的周...

师范生数学教学信念发展的理论探索与实践研究 【数理化】

师范生的培养和专业发展是当前国际教师教育研究的热点问题，同时也是国内高师教育所面临的严峻问题。在这样的背景下，本文提出如下研究问题：师范生在学习数学教学过程中，教学信念水平会得到有效的发展和显著的提...

中学结构化学 【数理化】

结构化学 【数理化】

本书介绍结构化学的内容。

结构力学 【数理化】

结构力学 下 【数理化】

本书内容包括：平面体系的几何组成分析、静定结构的内力计算等。

结构化学基础 【数理化】

结构塑性力学 【数理化】