基于HyperMesh的结构有限元建模技术 【数理化】

本书共8章，第1章介绍HyperMesh的主要菜单界面以及基于HyperMesh进行结构有限元建模的基本流程；第2章主要介绍基于有限元分析的几何模型建模技术，包括HyperMesh的几何建模功能以及对其他CAD软件模 型的导入及清...

高等数学教学目标与目标检测题 上 【数理化】

单目标和多目标系统线性规划 【数理化】

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

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

晨兴数学中心成立十周年纪念 1996-2006 庞加莱猜想专题演讲 三维空间的结构 中英文合订本 【数理化】

变分法及其应用 物理、力学、工程中的经典建模 【数理化】

变分法是研究泛函极值问题的一门科学，是古典数学的一个分支。本书从数学、物理学、力学中的典型问题着手建立了求泛函极值的模型，采用了线代、数分与泛函的对比，物理、力学中的费马原理、哈密顿原理和数学中的...

为保证化学实验室的安全而奋斗 【数理化】

化学的今天和明天 一门中心的、实用的和创造性的科学 【数理化】

本书系美国著名化学家R．布里斯罗就任美国化学会会长期间撰写的力作．全书分8章，提出了44个热点话题，以一问一答的形式，向读者介绍化学家对现代文明生活所做的巨大贡献，以及当今面临的挑战和机遇．内容涉及衣食住......

数学建模教育与国际数学建模竞赛 《工科数学》专辑 【数理化】

本书由中国工业与应用数学学会与《工科数学》杂志社编辑。

尼耳斯·玻尔集 第5卷 量子力学的出现 以1924-1926年为主 【数理化】