计算机化学实践基础教程 【数理化】

本书从计算机化学新手的实际要求出发，针对学生在日常学习计算机化学过程中可能会碰到的各种问题以回答的方式进行讲解，并在讲解中使用大量对新手有帮助的操作技巧和方法。本书为读者安排了如下内容：化学信息库...

科学计算自由软件 SCILAB教程 【数理化】

时滞微分方程Hopf分歧分析、周期解的计算及其数值动力系统 【数理化】

本书收集2003年上海大学的博士学位论文百余篇。

科学计算强档Mathematica 4教程 【数理化】

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

线性和非线性系统中过渡历程的数值近似计算法 迭推公式法 【数理化】

系统科学与系统管理丛书 延长的万物之尺 计算科学、经验主义与科学方法 【数理化】

“计算机模拟正在抢走固体物理学领域的诚实的实验家们的饭碗”——计算手段对科学的影响，使科学的很多分支进入了一个明显不同的发展阶段。这一变化的结果就是，在这个或那个领域，人类的能力不再是认识活动成功...

符号计算在可积系统中的应用 【数理化】

本书主要基于李代数上的符号计算，用不同的方法研究可积与超可积系统的可积耦合，利用源生成理论研究其自相容源和守恒律，基于分数阶微积分理论研究分数阶的可积系统与超可积系统，最后研究孤子方程的拟周期解。本...

画法几何教程 以电子计算机为基础 【数理化】

ANSYS工程计算应用教程 【数理化】

本书内容由三部分组成，包括对使用ANSYS分析问题的基本过程的细致分析，对结构静力、模态及非线性等问题的处理方法以及ANSYS的高级应用等知识。...