Phenomenology, Logic and the Philosophy of Mathematics
现象学，逻辑和数学哲学
作者：Richard Tieszen
出版：Cambridge, 2005
本书是由现象学、逻辑和数学哲学三者的交叉领域的15篇论文组成的论文集。第一部分“原因、科学和数学”包括三篇文章，一篇讨论胡塞尔的科学和逻辑概念，一篇讨论数学、先验现象学和现代纯几何。第二部分主要放在哥德尔对现象学的兴趣上。这一节阐述了哥德尔的思想，并讨论了奎因、佩内洛普. 马蒂和罗杰. 彭罗斯等人的一些工作。第三部分处理数学的基本的和建设性的领域，即那些更接近它们在简单的认知行为和日常经验中的起源的领域。这一部分文章讨论了直觉、外尔、建设性证明的概念、庞加莱和弗雷格。
本书适合研究数学哲学和逻辑以及相关领域的研究人员阅读参考。
3. 索书号：O12/ P778
The Shoelace Book: A Mathematical Guide to the Best [and Worst] Ways to Lace Your Shoes
鞋带书香：关于最好和最差系带方法之数学指导
作者：Burkard Polster
出版：AMS, 2006
十字形、Z字形、弓形、魔鬼型、天使型还是星型？这么多系鞋带方法，哪一种最长？哪一种最短？哪一种最强？哪一种最弱？通过考虑鞋带的数学，作者勾画出一幅生动的图画，这一图画用以给出最普通的鞋带式样的简单美观而且令人惊奇的描述。涉及到的数学涉及到组合数学和基本微积分。只要还有鞋带可系，有数学思维的人们将会喜欢本书。本书内容生动形象，插图丰富。
本书适合数学系学生和其它对数学感兴趣的学生阅读。
4. 索书号：O14-532 /S253 /2006
Theory and Applications of Satisfiability Testing – SAT 2006
可满足性测试的理论和应用——2006年国际会议录
作者：Armin Biere, Carla P. Gomes
出版：Springer, 2006
本书收录了第九届国际可满足性测试的理论和应用国际会议（SAT 2006）上的论文。许多组合数学难题都可以归结为SAT问题，事实上，SAT已经成为检验系统的安全性和可靠性的最重要的一种核心技术。全书分为10部分，第一部分包括两篇邀请报告，介绍SAT及其上的附加结构。其余9部分分别是证明系统、证明复杂性、搜索算法、试探法、算法分析、随机公式、问题编码、工业应用等方面的专业文章。
本书适合计算数学相关专业的研究生和其它研究人员阅读参考。
5. 索书号：O141 /H567
Axiom of Choice
选择公理
作者：Horst Herrlich
出版：Springer, 2006
选择公理因其非建设性特点而成为最具有争议的数学公理，它被一些人所摒弃，被另一些人不受限制的使用。这本专著通过例子说明了：1. 没有选择公理数学将会发生灾难：许多基本的数学结论将不再成立；2. 有选择公理数学也将发生灾难：许多不受欢迎的数学怪物将被创造出来；3. 许多漂亮的数学定理只有在选择公理被其它一些与选择公理相悖的公理代替时才会成立。具有启发性的例子来自数学的各个领域，特别是一般拓扑学，也有一些来自于代数、序论、元素分析、测度论、博弈论和图论。
本书适合数学系高年级本科生、数理逻辑和相关专业的研究生和其它研究人员阅读参考。
6. 索书号：O151.1 /C749
Conjugate Gradient Algorithms and Finite Element Methods
共轭梯度算法和有限元方法
作者：M. Krizek, P. Neittaanmaki, R. Glowinski, S. Korotov
出版：Springer, 2004
本书是共轭梯度算法和有限元方法方面的论文集，所选论文使得这两种方法相互完善。通过它们，综合研究者可以解决微分方程和多维问题，这些问题以常微分、偏微分方程或不等式为模型，可以是线性或非线性的。最优控制和最优设计是这些问题的一部分。本书的目的是在以线性和非线性偏微分方程为模型的复杂问题的背景下，介绍这两种方法并深入讨论它们的实现。作者在书中给出了这两种方法在实际生活中的应用。
本书适合计算数学专业的研究生和其它研究人员阅读参考。
7. 索书号：O152.5/ K67L (2)
Lie Group Beyond an Introduction (2nd Edition)
高等李群讲义
作者：Anthony W. Knapp
出版：Birkhauser, 2002
《高等李群讲义》将读者从李群理论初步引入到无限维群的表示理论中。通过融合代数和分析的思想，利用李群的方法，作者发展了一套在数学和物理中有广泛应用的漂亮的理论。书中所涉论题包括全体单连通李群的半单李群和半直积描述、复半单李代数的嘉当理论、紧李群表示之结构和复半单李代数表示之结构的嘉当-外尔理论、非紧可约李群的结构理论及其应用、可约群上的积分。作为第二版，除了一些必要的修订和补充，本书还增加了分叉定理和准齐性向量空间等新的章节以及一些数学家和物理学家们感兴趣的其它论题。书中增加的介绍性一章发展了矩阵群的基本李理论，这使得读者可以掌握大量具体有用的例子。本书包含大量问题、图表、书目笔记和全面广泛的索引，适合自学或作为研究生教材。
本书适合数学系研究生和研究李群理论的研究人员阅读参考。
8. 索书号：O152.5 /I11
Lie Algebras and Applications
李代数及其应用
作者：F. lachello
出版：Springer, 2006
这是为研究生和年轻的研究工作者写的李代数，它提供了李代数及其在分子、原子、核子和强子的光谱学上的应用的一个概论。本书第一部分给出李代数的基本概念、表示和不变量的一个简洁说明。第二部分描述了如何应用李代数处理玻色子和费密子系统。所考虑的物理应用包括分子旋转和振动（维布隆振动模型）、核子中的集体模式（关联玻色子模型）、原子的电子壳层模型、核壳层模型和强子的夸克模型。李代数的物理应用的一个关键概念，即谱生成代数及与其相关的动态均衡亦有讨论。本书包含大量的例子，用以帮助说明抽象的代数定义。书中还提供了许多实际应用的有趣公式的简要说明，如Casimir算子的特征值和所有经典李代数表示的维数。
本书适合数学系和物理系研究生和研究李代数或核物理的相关研究人员阅读参考。
9. 索书号：O152.5 /S915
Quantum Groups: A Path to Current Algebra
量子群：通往流代数之路
作者：Ross Street
出版：Cambridge, 2007
代数的发展已经远远超出本科标准课程《近世代数》所讲之内容，而这些课程中所讨论的群、环和域等代数结构仍然是非常重要的概念。本书是为已经学过以上一种代数结构而想学习流代数的概念和技巧的读者写的。理解这些新概念的关键即范畴的对偶。量子群是一个带结构的向量空间，结构的一部分是标准的：有一个乘法使之成为一个“代数”；另一部分却完全不是标准的：一个在范畴论的精确意义下与乘法对偶的乘法，使之成为一个“上代数”。在上代数、双代数霍卜夫代数等概念提出近半世纪以后，“量子群”这一概念和相关例子由Drinfel’d于1986年开始使用。
本书适合数学系高年级本科生、研究代数和量子场等相关专业的研究生和其他研究人员阅读参考。
10. 索书号：O152.5-532 /L716
Lie Groups and Automorphic Froms
李群和自同构形式
作者：Lizhen Ji
出版：AMS & International Press, 2006
李群是数学中的基本研究对象，他们自然出现在微分几何、代数几何、表示论、数论和其它数学领域。与其联系甚紧的有算子半群、局部对称空间和自同构形式的谱理论。本书是由Yau等学者发起的在浙江大学举办的暑期学校的讲义，全书内容分为五章，分别取自波莱尔、季理真等数学家写的讲稿。这五章给出了李群、李代数、算术群和约化理论、算术群的上同调、Petersson和Kuznetsov迹形式的简单介绍。
本书适合数学系研究生和研究李群和微分几何等相关领域的研究人员阅读参考。
11. 索书号：O152.6 /G796 (2ca)
Polynomial Representations of GLn (2nd Edition)
GLn的多项式表示（第二版）
作者：K. Erdmann, J. A. Green, M. Schocker
出版：Springer, 2007
本书分为两部分，第一部分为LNM系列教材的第830卷，即《GLn的多项式表示》的第一版。其中对矩阵表示、Schur代数、GLn的模表示及与对称群的联系等的经典论述已经成为深入研究表示论的基础。第二部分为一个独立于第一部分的附录，讨论了在GLn情况下的李特尔曼路径模型。在这种情况下，李特尔曼的“路径”成为“字”，因此这篇附录实际上研究了字的组合学。这导致“李特尔曼代数”的表示理论的产生，这类似于通常的Schur代数。本书内容自成一体，并特别给出了Schensted和Knuth的经典定理的完整证明。
本书适合代数和表示论方向的研究生和相关研究人员阅读参考。
12. 索书号：O153.3 /H236
Handbook of Tilting Theory
倾斜理论手册 ？
作者：Lidia Angeleri Hugel, Dieter Happel, Henning Krause
出版：Cambridge, 2007
倾向性理论起源于有限维代数的表示理论。如今，这一理论已成为多个数学领域所关心的对象，如有限群和代数群理论、交换和非交换代数几何以及代数拓扑。本书目的是介绍倾向性理论的基本概念及其各种应用。书中包括大量关键论文，这些构成这一研究对象的一本手册，并为新手和专家提供了一个入门和参考资料。
本书适合代数和相关专业的研究生和其他研究人员阅读参考。
13. 索书号：O157 / T171
Additive Combinatorics
加法组合学
作者：Terrence Tao, Van H. Vu
出版：Cambridge, 2006
加法组合学是计算集合上加法结构的理论。这一学科已经有几十年历史了，近年来，它与其它数学领域的联系为这一理论注入新的活力并指明了新的方向。这些相互联系的领域包括数论、遍历理论和图论。作为一本研究生教材，本书将会带领学生和研究工作者轻松迅捷地进入加法组合学这一神奇领域。在本书中，作者第一次以易被接受的连贯而清晰的方式，系统地引入现代数学理论中的许多不同的思想和方法，并给出他们在加法组合学问题中的直接应用。这些工具强大的威力在最近的研究中得到了很好的证实，这些研究包括算术级数中的格林-陶定理、爱多士距离问题以及最新发展的和积估计领域（sum-product estimates）。本教材配有大量习题和一些别处未曾出现的材料。
本书适合数学系研究生和组合数学相关专业的研究人员阅读参考。
14. 索书号：O157.1 /B697(2)
A Walk Through Combinatorics：An introduction to Enumeration and Graph Theory （2nd）
组合学漫步：枚举与图论初步（第二版）
作者：Miklos Bona
出版：World Scientific, 2006
本书是一到两学期的组合学概论课程的教材。和第一版一样，本书带领读者漫步于组合枚举和图论的经典领域，同时讨论了这些领域的一些最新进展：一方面，提供了有助于学生学习基本技术的材料；另一方面，证明了在本科阶段通过聪明才智和努力学习，最前沿的研究中的一些问题也是可以被理解并接受的。书中讨论的基本论题包括：十二倍路径、置换中的循环、容斥原理、图和树的概念、欧拉和哈密尔顿循环的匹配。选取的高级论题包括：Ramsey理论、模式避免、概率方法、偏序集、算法和复杂性。书中每一节后有习题以补充讲义内容。
本书适合数学系高年级本科生、组合数学专业的研究生和其它研究人员阅读参考。
15. 索书号：O157.4-532 /A244 /2004
Contemporary Cryptology
当代密码学
作者：Dario Catalano, Ronald Cramer, Ivan Damgard, Giovanni Di Crescenzo, David Pointcheval, Tsuyoshi Takagi
出版：Birkhauser Verlag, 2005
本书是当代密码学教材，其目的是研究当代密码学中的精选的对象。本书由以下五个相对独立又彼此联系的部分组成：1. 模掉共享机密的有效分布计算；2. 多部分计算；3. 现代密码学基础；4. 关键码方案的可证安全性；5. 有效且安全的公共关键密码系统。本书每一部分由不同作者完成，因此各部分风格均有不同。
本书适合密码学和相关专业的研究生和其他研究人员阅读参考。
16. 索书号：O172 /G411
A Course in Calculus and Real Analysis
微积分和实分析教程
作者：Sudhir R. Ghorpade, Balmohan V. Limaye
出版：Springer, 2006
作为一本微积分教材，本书介绍了单变量的微积分，包括连续性、微分、积分、超越函数、级数等基本概念。本书注重与高中知识的联络，书中对许多经典问题都有所论述，当然还包括一般的微积分教程中没有的论题的详细介绍。
本书适合学习微积分的本科生阅读参考。
17. 索书号：O174.5/ C778
Complex Analysis with Vector Calculus
包含向量微积分的复分析
作者：T. M. J. A. Cooray
出版：Alpha Science International Ltd, 2006
本书是一本复分析和向量微积分教材。作者在书中给出这一学科的清晰而精简的描述，意在为学习工程数学的学生提供一个全面且具有现代数学背景的知识体系。本书分为12章，前五章介绍复变函数理论中的基本知识，包括复数的介绍、复函数的微分、柯西积分公式、不定积分和共形映射；后7章主要介绍向量积分，包括向量的定义、力学系统的向量描述、向量值函数、向量场及其应用、高斯定理和斯托克斯定理。书中利用新的方法处理了向量场的一些问题，并穿插了许多例子。
本书适合学习工程数学的本科生阅读参考。
18. 索书号：O175.1/ A759o2
Ordinary Differential Equations
常微分方程
作者：Vladimir I. Arnold
出版：Springer, 1992
本书是常微分方程理论的经典教材。相对于通常考虑的各种不同类型的ODE的不同解法，作者在书中更侧重阐述ODE及其解的定性分析和几何特性。学习如何解方程是必需的，但是对这一系统、解和技术的理解显然更为重要。作者一开始就引入向量场和变换的单参数群，并将这一语言贯穿始终。这一与常规表达的基本差别允许作者以一种易被理解的方式阐述ODE理论的真正数学，并将其数学本质无隐藏的表现出来。本书包括大量的例子和与力学的大量联系。作者总是尽可能地给出恰当物理解释，以对很长的数学形式证明进行简单描述。书中还附有这一学科的历史注记，说明自牛顿和莱布尼茨以来这一学科的思想是如何发展起来的。
本书适合数学系高年级本科生、研究生和研究动力系统的研究人员阅读参考。
19. 索书号：O175.532/ I61r1 /2005
Recent Advances in Differential Equations and Mathematical Physics
微分方程和数学物理的最新进展
作者：Nikolai Chernov, Yulia Karpeshina, Ian W. Knowles, Roger T. Lewis, Rudi Weikard
出版：AMS, 2005
本书是2005年召开的UAB微分方程和数学物理国际会议的论文集，它带来了与数学物理直接或间接相关的微分方程中一些问题的新材料和最新进展。其中论题包括费米气的基态能量的渐近方程、量子场论中来自循环上的自由哈密尔顿系统的扰动的重正化思想、J-自伴迪拉克算子、薛定谔算子的谱理论、反问题、量子力学中的等周不等式、哈代不等式和绝热跃迁。
本书适合微分方程或数学物理专业的研究生和相关研究人员阅读参考。
20. 索书号：O177 /M689
Modern Operator Theory and Applications
现代算子理论和应用
作者：Ya. M. Erusalimsky, I. Gohberg, V. Rabinovich, N. Vasileski
出版：Birhauser, 2007
本书献给杰出的俄罗斯数学家Igor Borisovich Simonenko，以庆祝其70大寿。本书包括由算子理论领域的领军专家写的15篇原创文章，所涉及的论题反映了I. B. Simonenko先生感兴趣且对其有影响的广大而多样的领域。这些论题包括泛函算子、Toeplitz-plus-Hankel算子、局部和非局部算子、奇异积分算子和卷积算子，以及合成算子的连续模拟。这些文章分析并解决了有关分解、不可约性、行列式逼近、有限截面和各类算子的指标问题，同时包括在经济数学和流体力学中的应用。
本书适合算子方向的研究生和相关研究人员阅读参考。
21. 索书号：O177.2-532/ C748
Methods in Banach Space Theory
巴拿赫空间理论中的方法
作者：Jesus M. F. Castillo, William B. Johnson
出版：Cambridge, 2006
本书是一本论文集，提供了现代巴拿赫空间理论空间的概要。书中包括16篇文章，反映了这一学科宽广的研究领域。文章通过其使用的不同方法分为5节，这些方法包括几何方法、同调方法、拓扑方法、算子理论方法和函数空间方法。每一节包括这一学科的状况描述和一些最新和最重要的结果。
本书适合研究巴拿赫空间理论、泛函分析和算子理论的研究人员阅读参考。
22. 索书号：O18 /R173
Introduction to Classical Geometries
古典几何引论
作者：Ana Irene Ramirez Galarza, Jose Seade
出版：Birkhauser, 2007
本书采纳了克莱因关于通过考察所论空间的对称（或刚性变换）研究几何的建议，通过这种方式来研究古典几何学，包括欧氏、仿射、椭圆、射影和双曲几何。为简单起见，书中主要讨论了二维的情况，尽管一些三维和更高维的问题也有所涉及。一旦理解了二维的几何，高维的情况就变得非常容易了。这些讨论与现代几何中的许多概念有很多联系，如流形、李群、高斯曲率、群作用以及叶状结构等。书中配有大量的插图和练习以帮助理解。
本书适合数学系高年级本科生、几何专业的研究生和相关研究人员阅读参考。
23. 索书号：O186.12 /C187
Riemannian Geometry
黎曼几何
作者：Manfredo Perdigao do Carmo
出版：Birkhauser, 1992
本书是由Francis Flaherty给出的原书第二版的英文译本。本书的目标是使得读者熟悉黎曼几何中的一些基本定理的基本语言。为了避免要求读者有微分流形的背景知识，本书第0章给出了微分流形的定义和一些在书中要用到的性质。一至四章给出黎曼几何的基本概念（黎曼度量、黎曼联络、测地线和曲率）。学好黎曼几何很重要的一部分是对测地线和曲率的关系的理解，第五章介绍理解这一关系的关键工具即雅可比场。第六章介绍了与等距浸入相关的第二基本形式，并证明广义的高斯绝妙定理。从第七章开始讨论整体问题，证明了Hadamard定理、Myers定理、Synge定理、Rauch比较定理和Morse指标定理。第十三章给出多元微积分技巧的一个最非凡应用即球面定理。
本书适合数学系微分几何或其它相关专业的研究生和研究人员阅读参考。
24. 索书号：O189 /H874
Gradient Inequalities：with Applications to Asymptotic Behavior and Stability of Gradient-like System
梯度不等式：对类梯度系统的渐近性和稳定性的应用
作者：Sen-Zhong Huang
出版：AMS, 2006
本书提供了梯度不等式及其应用的一个相对较新的研究领域的概要。书中主要表现梯度不等式在研究有渐近性的动力系统的渐近过程和稳定性上的应用。它详细解释了梯度不等式是如何一步步的建立起来的，以及它们如何能被用来证明有渐近性的系统的解的收敛性和稳定性。本书可作为进一步学习梯度不等式及其在几何和计算机科学等其它领域的应用的引论。
本书适合动力系统和数学模型方向的研究生和相关研究人员阅读参考。
25. 索书号：O193 /M271
Fractals and Chaos: The Mandelbrot Set and Beyond
分形和混沌：蒙特布罗集及其它
作者：Benoit B. Mandelbrot
出版：Springer, 2004
自蒙特布罗发表其如今被称为蒙特布罗集的著名图片以来,仅仅过去了二十三年，然而这一图片对我们的数学世界和物理世界的看法有着多么大的改变啊！这本有着大量插图的书整合了作者那些珍贵的早期文章，并有附加章节介绍相关的历史背景。关键的论题包括二次动力学及其尤利尔集和蒙特布罗集、非二次动力学、克莱因极限集和闵科夫斯基测度。
本书适合研究分形的研究生和其它研究人员阅读参考。
26. 索书号：O21 /C877
Principles of Statistical Inference
统计推理原理
作者：D. R. Cox
出版：Cambridge, 2006
作者在本书中发展了统计推理的关键概念，特别是描述并比较了一些争论了两百多年的基本问题的主要思想和争论点。频率统计推断和贝叶斯逼近推断的细致比较使得读者能够对这些方法的优劣形成自己的观点。书中论述的范围涵盖了传统的和现代的内容。尽管没有处理特殊的应用，一些科学和相关技术方面的应用也会对读者产生很大启发。书中的数学背景尽可能只涉及基本知识，尽管一些统计方面的专业知识是假定读者已知的。书后两个附录给出了统计推断的一个简要的历史回顾和作者对不同思想的优劣的个人评估。
本书适合统计专业的学生和研究人员阅读参考。
27. 索书号：O211-532 /S471 /2005
In Memoriam Paul-Andre Meyer：Seminaire de Probabilites XXXIX
纪念保罗. 安德拉. 梅耶：第三十九届概率研讨会
作者：Michel Emery, Marc Yor
出版：Springer, 2006
第三十九届概率研讨会为纪念保罗. 安德拉. 梅耶而举行。他的一生和活动被重新回忆，他的朋友们和同僚为他创办了个人主页。本卷包括经典和量子随机分析、过程论、鞅及其在金融数学上的应用、布朗运动等方面的数学论文。它们提供了随机分析的当前发展趋势。
本书适合概率和随机专业的研究生和其它研究人员阅读参考。
28. 索书号：O211.6 /L322
Large Deviations for Stochastic Processes
随机过程的大偏差
作者：Jin Feng, Thomas G. Kurtz
出版：AMS, 2006
本书致力于讨论一类随机过程的大偏差。在给出一个简介和概论以后，本书分为三部分。第一部分给出指数紧密性的类似于弱收敛理论中紧密性条件的充要条件。第二部分重点是度量空间中的马尔可夫过程。对这样一个过程序列，可以证明弗莱明对数变换非线性半群的收敛性可以诱导出大偏差原理，这在一定程度上类似于线性半群的收敛性在弱收敛中的应用。粘性解方法为必要的收敛性提供了应用条件。第三部分讨论了检验粘性解的比较原理的方法，并通过应用一般理论得到一系列新的或已知的马尔可夫过程大偏差方面的结论。
本书适合概率或统计专业的研究生和相关研究人员阅读参考。
29. 索书号：O211.6 /R225
Gaussian Processes for Machine Learning
机器学习的高斯过程
作者：Carl Edward Rasmussen, Christopher K. I. Williams
出版：MIT Press, 2006
本书为核心机器的学习提供了一种重要的可操作的可能方法。在过去几十年，高斯过程在机器学习领域受到越来越多的关注，本书提供了高斯过程在机器学习中的应用的理论和实践的系统而统一的处理。这些处理是易被理解的，其内容自我独立。书中处理了回归和分类的辅助学习问题，包括一些详细的算法。书中给出大量协变（核心）函数并讨论了它们的性质。模型选择从贝叶斯和经典两个角度进行了讨论，与机器学习和统计中其它一些著名的技术的联系亦有讨论，包括支向量机、神经网络、正则化网络、关联向量机和其它。理论部分包括曲线的研究和PAC-贝叶斯结构的处理，以及其它一些利用大的数据集学习的逼近法。书中包括大量例子和练习，编码和数据集可在网上找到。书后的附录给出需要的数学背景和对高斯-马尔可夫过程的讨论。
本书适合人工智能或应用统计专业的研究生和相关研究人员阅读参考。
30. 索书号：O211.6 /T267
The Art of Random Walks
随机游动的艺术
作者：Andras Telcs
出版：Springer, 2006
爱因斯坦证明了布朗运动的位移的方均根值与时间成正比，他还证明扩散常数只与物体的量和传导率有关。本书的目的即揭示空间的几何和物理性质和扩散的类似联系。在不存在代数结构、局部或全局空间对称性或自相似性时，随机走动的这些联系已经被找到。作者研究了在这些一般情况下的热扩散，并讨论了以下这些论题：1. 爱因斯坦乘法关系；2. 等周不等式；3. 热核估计；4. 椭圆和抛物哈拿克不等式。
本书适合统计数学和相关专业的研究生和其它研究人员阅读参考。
31. 索书号：O212/ A244a
Advances in Minimum Description Length: Theory and Applications
最小描述长度的进展：理论和应用
作者：Peter D. Grunwald, In Jae Myung, Mark A. Pitt
出版：MIT Press, 2005
归纳法的过程——通过特别的例子推论一般的规律——是统计模型、模式识别和机器学习的基础。最小描述长度（MDL）原理这一归纳法的强有力工具指出，对给定一组有限的观测数据的最好解释是那个对数据最大限量压缩的解释——即我们越大限度的压缩数据，越能理解藏在数据背后的规则。本书为科学家介绍了MDL的基本知识、最新理论进展和实际应用。本书以大量MDL辅助知识开始，书中内容涵盖其理论基础、实际推论及其不同解释和深层哲学。这些辅助知识包括MDL的一个简短历史——从根植于科尔莫格洛夫复杂性的概念到MDL性质入门。其后的内容介绍最新的理论进展，以易被许多不同科学领域的读者接受的方式介绍了现代MDL模型方法。书中例子包括如何应用MDL于研究工作，适用范围从生物信息学和机器学习到心理学等各个领域。
本书适合统计和相关专业的研究生和其它研究人员阅读参考。
32. 索书号：O212 /T882
Semiparametric Theory and Missing Data
半参数理论和缺失数据
作者：Anastasios A. Tsiatis
出版：Springer
本书组织了半参数模型估计理论和缺失数据方面的大量的已知结果，并将这些结果以易被理解的方式呈现出来。书中首先研究了无缺失数据的半参数方法，半参数模型的估计理论通过既严格又可以靠直觉感受到的方式表述，这一表述依赖于几何思想，以强化直觉并对这一理论加深理解。随后，这些方法被应用于带有缺失数据、删失数据和粗糙数据的问题，以获得尽可能精细有效的估计。
本书适合数学系统计专业的研究生和相关研究人员阅读参考。
33. 索书号：O212-37 /A573
Exploratory Analysis of Spatial and Temporal Data: A Systematic Approach
空间和时间数据的探测分析：系统方法
作者：Natalia Andrienko, Gennady Andrienko
出版：Springer, 2006
探测数据分析（EDA）是关于探测和描述模式、趋势和数据关系的学科，它以特定的研究目的为研究动力。当数据中探测到相关事物时，新问题便产生了，这促使特定的部分需要更具体的考察。因此EDA有一个重要特性：它影响到假设的产生而不仅仅影响假设检验。作者在书中详细而系统的描述了方法和技术，特别是探究空间和时间数据的方法。作者首先通过建立数据结构和特性的一般观点，继而在其上建立一个一般的任务分类，使得元素和概要任务有所区别。然后这一分类被用以描述现有方法和技术，这不仅仅提供方法选取的建议，而且还影响到一套数据探索的一般过程。
本书适合计算数学专业的研究生和相关研究人员阅读参考。
34. 索书号：O212.1 /P226
Statistical Inference Based on Divergence Measures
基于发散度的统计推理
作者：Leandro Pardo
出版：Chapman & Hall /CRC, 2006
利用熵或散度等信息理论中的泛函于统计推理这一思想已不再新鲜，然而，尽管最小散度估计和散度检验统计已成为处理经典的关于估计和检验的统计过程的好办法，许多统计学家仍然对此方法知之甚少。本书基于对熵和散度的测量，探讨了统计推断中的一些经典问题，如估计和假设检验。本书前两章从统计学角度对熵和散度的测量做了概要性说明，然后开始着手处理离散的多元数据的统计分析，重点是利用pi-散度检验统计和最小pi-散度估计处理列联表和长线性模型方面的问题。最后一章着眼于一般母体检验。每一章后面都配有相应习题以对书中内容进行补充。
本书适合数学系统计专业的研究生和相关研究人员阅读参考。
35. 索书号：O221.3 /669
Dynamic Programming: A Computational Tool
动态规划：一个计算工具
作者：A. Lew, H. Mauch
出版：Springer, 2007
本书是一本利用动态规划通过计算机解决离散最优化问题的实用性概述。通过大量不同类型的例子，读者应该可以很容易的应用动态规划来解决他们感兴趣的问题。书中亦提供并描述了一个叫做DP2PN2Solver的软件的设计、执行和应用，这一软件已被应用以解决书的前一部分提到的所有问题。这一计算工具可以被学生用来解决学校作业中的问题，或是解决实际问题，若状态矢量空间不太大的话。本书亦是一部描述Petri网络理论新奇应用的研究专著。DP2PN2Solver软件带领使用者以问题的DP函数方程的形式输入，这自动构建了一个Petri网络模型，称为Bellman网，然后利用Bellman网产生DP问题的大量解。这些解可以利用Java、表格处理软件、Petri网络工具和其它系统获得。
本书适合计算数学和其它相关专业的研究人员阅读参考。
36. 索书号：O224 /O62n (2)
Numerical Optimization: Theoretical and Practical Aspects (2nd Edition)
数值优化：理论与应用（第二版）
作者：J. Frederic Bonnans, J Charles Gilbert, Claude Lemarechal, Claudia A. Sagastizabal
出版：Springer, 2006
本书通过一些实际生活中的例子，以具有启发性的方式阐述了数值优化算法，包括基本的内容（如牛顿法等）和更专门的高等内容（如非光滑优化等）。大部分算法有详细论述，便于直接计算机实现。这些细节论述使得读者能够熟悉数值优化的一些关键问题：算法是如何运行的？为什么它们会收敛？以及这一过程中将会遇到的问题和修正这些方法的可能途径。第二版在前版的基础上有所改变。第一部分通过增加二次过程一节完成了对无约束优化的讨论；第二部分非光滑优化的讨论完全重写，同时，非平凡的应用问题出现在练习中。
本书适合计算数学专业研究生和相关专业的研究人员阅读参考。
37. 索书号：O225 /C421
Prediction, Learning, and Games
预测，学习和对策
作者：Nicolo Cesa-Bianchi, Gabor Lugosi
出版：Cambridge, 2006
本书是为学生和研究人员写的关于机器学习、博弈论、统计和信息论方面的教材和参考书，它提供独立序列的预测问题的第一个易理解的处理方法。与预测的标准统计方法不同的是，独立序列的预测不需要利用任何数据产生的概率假设。预测算法可被创建以很好的处理所有可能的序列。本书讨论的主题是利用专家意见的预测模型，在这一框架下，许多相关问题都可以讨论。重复的游戏运行、适当的数据压缩、股票市场的有序投资、有序的模式分析以及其它一些问题均被作为这一专家框架的例子看待，并通过统一的非随机的观点进行分析，这常常能够展现出新的有趣联系。老的和新的预测方法都给出了精确的数学描述，以刻画他们的理论局限性和可能性。
本书适合计算数学和相关专业的研究生和其它研究人员阅读参考。
38. 索书号：O231.1 /H465
Introduction to Mathematical Systems Theory：Linear Systems, Identification and Control
数学系统理论引论：线性系统，辨识和控制
作者：Christiaan Heij, Andre Ran, Freek van Schagen
出版：Birkhauser, 2007
本书是为商业数学、经济学、计算机科学和工程学专业的学生写的线性系统和控制理论的引论，重点介绍离散时间系统，这一系统与商业应用关系最为密切。作为连续时间系统的反面，这一系统需要更少的数学基础。本书处理的对象为确定的线性系统中的中心论题：可控制性、可观测性、实现理论、稳定性和反馈的稳定化、LQ-最优控制理论。Kalman过滤和随机系统的LQC-控制等也有相应讨论。本书自带CD一盘，包括习题的MATLAB解，以增强对概念和技巧的理解。
本书适合经济学和计算机学等相关专业的学生和研究人员阅读参考。
39. 索书号：O232 /B551
Net work Optimization: Continuous and Discrete Models
网络最优化：连续和离散模型
作者：Dimitri P. Bertsekas
出版：Athena Scientific, 1998
本书是一本入门书，讨论线性、非线性的最新处理方法，以及离散网络最优化问题及其解析解法和算术解法。本书提供了重要的实用性网络应用和他们的算术解的指南，特别是连续和离散模型的相互影响，以及在导论性质教材的层次上广泛的处理相应的解析和算术问题。书中包括大量的例子、实际应用、图表，并配有大量练习。
本书适合运筹和最优化相关专业的研究生和其它研究人员阅读参考。
40. 索书号：O411.1 /H251
Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems：Results and Examples
哈密尔顿动力系统中的局部和半局部分叉：结论和例子
作者：Heinz Hanbmann
出版：Springer, 2007
KAM理论再一次用于差不多可积的哈密尔顿系统。当椭圆和双曲环面确定了极大不变环面的分类时，它们自身形成一个n参数族。因此，不需要非典型条件或外部参数，高余维数的环面分叉就可以在一个给定的哈密尔顿系统中找到。本书从可积的情况讨论到不可积情况：在可积的情况下，对称性可允许被简化为分叉平衡；在不可积情况下，光滑的参数被康托集取代。平坦奇点及其整体展开是帮助以清晰的方式解释所论系统的重要因素。
本书适合研究动力学系统方向的研究生和相关研究人员阅读参考。