Martin-Lof类型论程序设计导论 【数理化】

创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 ...

关于透平机械流体力设计程序的研究 4 离心透平机械的性能予测 【数理化】

上帝如何设计世界 爱因斯坦的困惑 【数理化】

上帝是如何设计这个世界的？这是爱因斯坦的困惑，也是对科学感兴趣的广大读者的困惑。本书带领读者从数学物理的角度来认识自然规律，探索大自然造物的秘密。启发广大读者对科学的兴趣和思考。探索物理学和数学的...

现代试验设计优化方法及应用 【数理化】

本书主要介绍科学研究、工程技术与管理中常用的现代试验设计、分析方法及其应用，包括误差理论、方差分析、回归分析、因子设计、正交试验设计、稳健设计、模式识别、分形、人工神经网络、蒙特卡洛模拟等内容...

高等应用数学 基于翻转课堂的项目化设计 【数理化】

本书以项目化的形式组织内容，主要介绍了函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分应用、多元函数微分学、重积分、曲线积分与曲面积分、级数等内容。全书考虑高职学生的实际，例题丰富...

结构优化及其在振动和声学设计的应用 【数理化】

本书主要由三部分构成，第一部分重点介绍结构优化的一般概念和理论、建模方法以及有代表性的求解方法；第二部分主要就大规模优化问题的模型近似方法、灵敏度分析方法以及复杂系统建摸和求解技术进行深入讨论；第...

大学生物理实验创新设计 【数理化】

本书精选了力、热、电、光近代综合实验和设计性实验，新增并加大了组装式实验仪器的使用，如学生组装直流单双臂电桥；设计性实验教学，如热学设计性实验；现代传感技术在物理量测量中的应用，如光敏传感器光电特性研.....

现代有机合成化学 选择性有机合成反应和复杂有机分子合成设计 【数理化】

电磁装置设计原理 【数理化】

本书是一本关于电磁装置设计基本原理的教材，属于“电气工程及其自动化”一级学科强电类、工学（工程学）门类中的专业课程范畴。本书主要介绍由电与磁及其相互作用而构成的电磁装置一般性问题的分析方法，在阐述电...

计算机辅助几何设计中的保形插值理论及算法 【数理化】

本书主要论述了计算机辅助几何设计中的保形插值理论及算法，内容包括数值分析基础、微分几何基础、等距曲线保形逼近等。