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

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

逆问题的数学理论导论 【数理化】

本书将读者带进了逆问题领域。逆问题的研究对许多科技领域诸如地球物理探测、系统识别、无损检测及超声层析成像等，有着重要的作用。该书分两部分。第一部分讲不适定问题的基本概念和困难。书中通过几个简单...

电化学动力学导论 【数理化】

译自:введениевэлектрохимицескуюки:тику/Б.Б.Дамаскин

化学实验技术讲座 第1册 化学实验与数据处理导论 【数理化】

应用随机过程概率模型导论 第11版 【数理化】

本书是一部经典的随机过程著作，叙述深入浅出，涉及面广，主要内容有随机变量、条件概率及条件期望、离散及连续马尔可夫链、指数分布、泊松过程、布朗运动及平稳过程、更新理论及排队论等；也包括了随机过程在各领...

核与粒子物理导论 【数理化】

本书讲述近代物理学中的原子物理和粒子物理的知识，内容包括粒子束的获得，粒子束与物质的相互作用，粒子的探测，核素与粒子的基本性质、结构、相互作用，以及宇宙学中的核与粒子物理，相对论粒子碰撞运动学。本书侧.....

现代数学导论 【数理化】

当代数学主题既是多元化、各成系统，又是紧密地统一在一起。大部分人对于纷繁复杂的各种主题只熟悉其中很少的部分。另一方面，数学中很多主要的发展却来自不同理论和方法的相互交融。在本书中，我们精选了一些关...

离散数学导论 第3版 学习指导与习题解析 【数理化】

本书是我社出版的《离散数学导论（第三版）》一书的配套辅导书。全书包括教材各章的学习要点、习题解答和新增习题及解答等三部分内容，可供普通高校计算机及相关专业学生学习离散数学课程使用。...

计算流体动力学导论 有限体积法 第2版 英文 【数理化】

本书是一本非常实用的计算流体动力学教材，它以简明、清晰的语言介绍了计算流体动力学的基本原理、控制方程、边界条件、湍流及其模式、有限体积法等。...

流形拓扑导论讲义 Introductory Lectures on manifold topology signposts 英文 【数理化】