红外与拉曼光谱的计算原理与计算程序 上 【数理化】

红外与拉曼光谱的计算原理与计算程序 下 【数理化】

可编程序计算器的使用与维修 【数理化】

函数型与程序型计算器的用法 【数理化】

大型有限元程序的原理、结构与使用 【数理化】

本书针对各种大型有限元分析程序之间具有相同的分析原理和类似的模块结构这一特点，以国际流行的ANSYS多物理场有限元分析软件为背景，对大型有限元程序的分析原理等进行了介绍。...

中国科学院大连化学物理研究所研究报告与资料 EHMO程序的充实与完善 【数理化】

大型有限元程序的原理的结构与使用 【数理化】

本书针对各种大型有限元分析程序之间具有相同的分析原理和类似的模块结构这一特点，以国际流行的ANSYS多物理场有限元分析软件为背景，对大型有限元程序的分析原理、模块结构以及使用方法与准则进行了详细的介...

微分方程的数值解法与程序实现 【数理化】

本书从理论和实践出发，全面介绍求解微分方程的数值方法——有限差分法，并简单地介绍有限元法。全书共6章，主要内容包括：预备知识、常微分方程的数值解法、抛物型偏微分方程的有限差分法、双曲型偏微分方程的有...

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

力学专业程序实践 用MATLAB解决力学问题的方法与实例 【数理化】

本教材从力学专业所遇到的典型数据处理问题出发，以任务为驱动，以应用为目的，以Matlab语言为平台，训练力学专业学生的程序实践能力。本教材分两部分：第一部分简介Matlab的基本内容和技巧，包括简介、快速入门、编程...