索书号: O14-532 /S253 /2004
Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004
Vancouver, BC, Canada, May 2004
Revised Selected Papers
《可满足性测试理论及其应用》
2004年加拿大温哥华第七届SAT国际会议论文选集
作 者：Holger H. Hoos, David G. Mitchell
出 版：Springer, 2005
本书是一本论文集，收录了2004年5月在加拿大温哥华举行的第七届“可满足性测试理论及其应用”国际会议的部分论文。可满足性测试问题（SAT）是理论与应用计算机科学中一个著名问题，在复杂性理论研究中有相当重要的地位，并且构成了在人工智能、运筹学及电子设计工程等领域的应用的基础。本书的论文是从大会的论文中严格甄选而得，共有28篇。
本书适合数学、计算机及相关专业对可满足性测试理论有兴趣的学生和研究者阅读。


索书号: O14-532 /S253 /2005
Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005
St Andrews, UK, June 2005
Proceedings
《可满足性测试理论及其应用》
2005年英国圣安德鲁第八届SAT国际会议进程
作 者：Fahiem Bacchus, Toby Walsh
出 版：Springer, 2005
本书是一本论文集，收录了2005年6月在英国圣安德鲁举行的第八届“可满足性测试理论及其应用”国际会议的部分论文。可满足性测试问题（SAT）是讨论一个命题公式是否具有满足条件的真实赋值的经典问题，无论是从实际还是理论的观点来看都在很多领域有着广泛的应用，研究内容包括：证明系统与证明复杂性，搜索算法与启发式算法，算法分析，命题理论，工业应用等等。
本书适合数学、计算机及相关专业对可满足性测试理论有兴趣的学生和研究者阅读。


索书号:O15 / B297b
Basic Notions of Algebra
《代数基本概念》
作 者：A. I. Kostrikin, I. R. Shafarevich
出 版：Springer, 2005
本书旨在给代数学一个大概的描述，包括代数中的一些基本概念和重要分支。本书的目的不在于教授代数，而仅仅想介绍它。为此，书中特别指出了许多参考文献，通过参考文献可以知道本书中的习题的解法。并且了解因为篇幅原因而在书中没有介绍的许多代数学的其他重要分支。同时，本书还包括了大量的图片帮助理解抽象的代数基本概念。
本书适合数学系各年级学生和对代数学有兴趣的学生阅读。


索书号: O15 / G345g
Geometric Methods in Algebra and Number Theory
《代数和数论中的几何方法》
作 者：Fedor Bogomolov, Yuri Tschinkel
出 版：Birkhauser, 2005
几何的明晰性是数学发展灵感的来源。图像的美丽和说服力与语言相结合能更有力地证明现代数学的复杂概念和框架。本书收录了很多介绍几何方法在代数、代数几何乃至数论方面应用的论文。本书同时介绍了很多在代数和算术几何中有代表性的问题和例子以及最新结果。
本书作为一本简介适合于应用数学系研究生和该领域的研究人员阅读。


索书号:O151.2 / R758(2)
Advanced Linear Algebra
Second Edition
《高等线性代数》
第二版
作 者：Steven Roman
出 版：Springer 2005
本书是一本广泛包含很多论题的研究生教材。本书第一部分简单而有力的介绍了线性代数基础。介绍了向量空间、线性变换等等，对比了各种向量空间，讨论了内积空间、特征值、特征向量等等。第二部分是许多论文的集合。包括度量向量空间、度量空间、Hilbert空间、张量积、仿射几何等。最后一章讨论了哑微积分。本书是新版，它包括了许多新的内容和新的习题，比老版有了很大的改进。
本书适合数学系学生和对代数学有兴趣的研究人员阅读。


索书号: O151.2-532 / 161t / 2005
Typed Lambda Calculi and Applications
《典型Lambda微积分及应用》
作 者：Pawel Urzycyn
出 版：Springer, 2005
本书是一本计算机科学会议记录及讲座报告集。它是LNCS（Lecture Notes in Computer Science）系列丛书的一本，这一系列丛书通过印刷和电子形式记录了计算机科学领域高水平研究、发展和教育的最新结果。本书主要收录了2005年4月在日本奈良举行的第7届国际TLCA大会的论文报告。包括两篇特邀演讲，一篇摘要和27篇精选的论文。它们介绍了Lambda微积分及应用的最新研究成果。
本书适合计算机和应用数学专业研究生和教师阅读。


索书号: O152/ B626
Combinatorics of Coxeter Groups
《Coxeter群组合学》
作 者：Anders Bjorner, Francesco Brenti
出 版：Springer, 2005
本书主要讨论了Coxeter群与组合学相关的理论，例如简化表示、群元素的偏序、枚举、相伴图、组合胞腔复形，以及与组合表示论的联系。在已经用代数与几何的观点对Coxeter群进行过相当多研究的今天，本书可称是第一本主要探讨Coxeter群组合学方面理论的专著。
本书的第一部分简明地介绍了组合Coxeter群理论，第二部分探讨了例如Kazhdan-Lusztig多项式及其表示，枚举等更深入的问题。书中提供了难易各异的大量练习。
本书适合数学专业及相关领域的研究生和研究人员阅读。


索书号: O152 / R414
Linear Algebraic Monoids
《线性代数的独异点》
作 者：R. V. Gamkrelidze, V. L. Popov
出 版：Springer, 2005
本书介绍了和代数群、凸几何、半群理论相结合的线性代数的独异点理论。具体介绍了包括分类、轨道构建、表示元、单位元构造和抽象模拟等方面的重要课题。本书还会介绍一个用于紧化的剖分，可以作为任何一个半简单群的单位元分解。本书最后还给出这些理论与代数和几何的其他方面的联系。
本书适合数学系基础数学的学生和对代数与几何有兴趣的研究人员阅读。


索书号:O152.1 / L869
Multiplicative Invariant Theory
《乘法不变量理论》
作 者：R. V. Gamkrelidze, V. L. Popov
出 版：Springer, 2005
本书主要介绍乘法不变量理论，乘法不变量理论是无限阶群表示元的一部分。本书通过大量浅显的关于乘法不变代数和域的例子来介绍乘法不变量理论。这些例子包括了所有2阶的乘法不变代数的完整列表。
本书适合数学系的研究生和对代数尤其是交换代数和不变理论有兴趣的研究人员阅读。


索书号: O152.5/ L716L5
Lie Theory
Harmonic Analysis on Symmetric Spaces—General Plancherel Theorems
《李理论》
对称空间——一般普朗谢雷尔定理的调和分析
作 者：Jean-Philippe Anker, Bent Orsted
出 版：Birkhauser, 2005
本书有三个独立的、自成一体的部分，包括了E.P. van den Ban, H. Schlichtkrull和P. Delorme这几位优秀学者在半单李群的主要领域所做的调查综述与原始结果。本书展示了他们对过去十年中普朗谢雷尔定理在约化对称空间上衍生出的引人注目的发展所做的广泛调查与论述。读者需要具备李群基本表示论的知识，并熟悉半单李群、对称空间及抛物子群的相关知识。
本书适合半单李群理论及相关领域的研究生和研究人员阅读。


索书号: O152.5-532 / K96 / 2003
Infinite Dimensional Algebras and Quantum Integrable Systems
《无限维代数和量子可积系统》
作 者：Petr P.Kulish, Nenad Manojlovic, Henning Samtlebn
出 版：Birkhauser, 2005
本书是一本论文集，它收录了2003年7月在Algarve大学举办的第14届国际数学物理大会无限维代数和量子可积系统方面的会议论文。该领域的学科领导专家在会议上回顾了近年来，无限维代数和它们在量子可积系统中的应用。
本书适合对数学物理及相关专业有兴趣的学生和研究人员阅读。


索书号: O156 / E93
An Introduction to Number Theory
《数论基础》
作 者：Graham Everest, Thomas Ward
出 版：Springer, 2005
本书对主流数论做了简介。从整数的唯一分解性质开始，全书多次提到分解理论来介绍这一概念如何从欧几里得延续出来，贯穿整个学科。本书将告诉读者唯一分解如何应用于现代数论教学。使得数论不再是几个孤立的结果，而是有连续性和相互关联的理论。本书还将介绍大量不同的数论方法，这些方法会在某一章中结合起来描述两次域的类数公式和著名的Birch和Swinnerton-Dyer猜想。最后一章将介绍现代计算数论背后的主要思想和它在密码学中的应用。
本书适合数学系各年级学生和对数论有兴趣的学生阅读。


索书号: O157.5 / D564g(3)
Graph Theory
Third Edition
《图论（第三版）》
作 者：Reinhard Diestel
出 版：Springer, 2005
本书是现代图论教科书的第三版。它对前版作了认真的修正，升级和延伸。涵盖了所有图论方面最近的发展。它既能够很放心地被用作基础课的教科书和研究生教材，每个部分都包括了最详细的基本材料，并且加入了1到2个更深的结果（包括详细的证明）来给出该领域更先进的方法。
本书适合计算机专业各年级学生和相关专业有兴趣的学生阅读。


索书号: O17-532 / S495 / 2004
Sequences and Their Applications – SETA 2004
《序列及其应用 — SETA 2004》
作 者：Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Kyeongcheol Yang
出 版：Springer, 2005
本书是一本计算机科学会议记录及讲座报告集。它是LNCS（Lecture Notes in Computer Science）系列的一本，这个系列通过印刷和电子形式记录了计算机科学领域高水平研究、发展和教育的最新结果。本书主要收录了2004年10月在韩国汉城举行的第3届国际TLCA大会的论文报告。包括四篇特邀演讲和33篇精选的论文。这些论文给出了序列及其重要相关领域的一些最新发展情况的大体概述。
本书适合计算机和应用数学专业研究生和教师阅读。


索书号:O174.2 / R739
Nonlinear Smoothing and Multiresolution Analysis
《非线性光滑与多元分析》
作 者：Carl Rohwer
出 版：Birkhauser, 2005
本书提供一种新的分析理论，这一理论的特殊性质能推导出许多简单、有力的结论，从这些结论能推导出一种广泛应用于小波、声学等脉冲问题的新的多元分析法。本书尽管介绍了一种新的不为人熟知的方法，但是本书是自启发式的，读者可以在计算机上证明本书中的结果。另外，本书的结论能被简单地用于信号和图像处理。
本书适合数学系和工程部门的学生和对脉冲等有兴趣的研究人员阅读。


索书号: O174.41/ T794
Trends and Applications in Constructive Approximation
《构造性逼近的趋势与应用》
作 者：Detlef H. Mache, Jozsef Szabados, Marcel G. de Bruin
出 版：Birkhauser, 2005
本书是一本论文集，收录了第四届IBoMAT会议上多位构造性逼近领域学者的论文。构造性逼近理论已经广泛应用于应用数学的很多有趣领域之中，例如逼近方法、拟插值、（正交）多项式逼近，以及工业与工程的应用等等。这些论文代表了该领域的一部分最新成果。
本书适合应用数学及相关专业有兴趣的学生和研究者阅读。


索书号: O174.5/ Q1
Quadrature Domains and Their Applications
《求积域及其应用》
作 者：Peter Ebenfelt, Bjorn Gustafsson, Dmitry Khavinson, Mihai Putinar
出 版：Birkhauser, 2005
本书是一本论文集，收录了2003年3月在加利福尼亚大学举行的“求积域及其应用”会议的报告和论文。本书介绍了求积域理论的最新发展，对它们性质的多个方面做了很好的说明，包括了该理论在位势论、复分析、流体力学及算子理论等领域的很多想法与实际应用。
本书适合数学及相关专业有兴趣的学生和研究者阅读。


索书号: O174.5 / S464
Selected Topics in Complex Analysis
The S. Ya. Khavinson Memorial Volume
《复分析选讲》
S. Ya. Khavinson纪念卷
作 者：V. Ya. Eiderman, M. V. Samokhin
出 版：Birkhauser, 2005
本书为了纪念杰出的数学家S. Ya. Khavinson而出版。本书以一篇介绍S. Ya. Khavinson生平和工作的论文开始。这篇论文中提到的很多文献从来没有出版过。本书还包括了许多引领全球数学工作者的阐述性的论文，还包括了S. Ya. Khavinson和T. S. Kuzina的联合工作和S. Ya. Khavinson的最后出版物。本书涉及的主要题目包含多种函数类的极值问题、逼近理论、Cauchy整数和解析容量、Cantor集、半纯函数、Caratheodory不等式、函数的整数代表元和转移算子等等。
本书适合于对分析有兴趣的研究生和数学工作者阅读。


索书号:O174.52 / Z63s
Spaces of Holomorphic Functions in the Unit Ball
《单位球上的全纯函数空间》
作 者：Kehe Zhu
出 版：Springer, 2005
本书主要介绍最著名的并且是最常用的单位球上的n阶连续的全纯函数空间。这些空间包括Bergman空间、Hardy空间、Bloch空间、BMOA、Dirichlet空间、Besov空间、Lipschitz空间。本书中的很多证明都比其他文献中的简单。而且本书易于阅读，只要了解了单复变函数都可以轻松阅读，不需要用到多复变函数的知识。
本书适合数学系的研究生和对分析有兴趣的研究人员阅读。


索书号: O175/ C967
Difference Equations
《差分方程》
作 者：Paul Cull, Mary Flahive, Robby Robson
出 版：Springer, 2005
本书介绍了差分方程的基本知识及其它们在计算和人口生物学中的应用。每一章都有相关技巧的介绍，凭借它们，读者能以笔算解决小规模问题或者通过编程解决大规模问题。读者需要用到线性代数、图论的知识，从而认识形式幂级数，解决组合问题，了解Perron-Frobenius理论，讨论伪随机数的生成和整数分解，并能够迅速地将快速傅里叶变换应用于多项式的乘法。
本书适合数学和计算机专业本科二年级学生及相关专业有兴趣的学生和研究者阅读。


索书号: O175/ K13s
Statistical and Computational Inverse Problems
《统计与计算反问题》
作 者：Jari Kaipio, Erkki Somersalo
出 版：Springer, 2005
本书以模型和计算为重点，介绍了反问题中的统计方法。书中详细讨论了先验模型的构造、测量噪声建模与贝叶斯估计，用马尔可夫链蒙特卡罗方法及最优化方法来研究概率分布，各种结论和技巧均用简明的示例加以阐述。除此以外，还引入了很多此前没有发表过的研究材料，以更深入地对统计方法进行探讨，来解决例如离散化误差，统计模型约化等问题，并进而讨论了该理论在实际中的一些应用。
本书适合应用数学、计算物理学、工程学及相关专业的研究生与研究人员阅读。


索书号: O175.2 / S968
Free Energy and Self-interacting Particles
《自由能量和自相关粒子》
作 者：Takashi Suzuki
出 版：Birkhauser, 2005
本书主要介绍数学生物学和统计力学中的一类非线性抛物型偏微分方程系统。这类系统主要描述了细胞粘性模型的趋药性特征。一类种得到此类方程的方法是通过随机过程。而在统计力学中这类方程则与自相关粒子在重力作用下的平均场相结合。在物理上，这类系统与Langevin, Fokker-Planck, Liouville及梯度流方程有关。在数学上，经过量化放大，被视为是量子力学的非线性理论。本书则给出一个整体的概括。例如一些数学和物理的定理，一系列方程的推导等等。
本书适合于对非线性方程有兴趣的研究生和数学工作者以及其他物理、化学、生物的研究人员阅读。


索书号: O175.2-532 / 161t / 2003
Trends in Partial Differential Equations of Mathematical Physics
《数学物理方程的发展趋势》
作 者：Jose F. Rodrigues, Gregory Seregin, Jose Miguel Urbano
出 版：Birkhauser, 2005
本书是一本论文集，它收录了2003年6月的“数学物理方程的发展趋势”国际大会上和V. A. Solonnikov工作相关的20篇文献。V. A. Solonnikov在确切估计线形椭圆方程、抛物方程、Stocks和Navier-Stocks系统边值和初-边值问题的解方面做出了杰出的贡献。并且他的方法在任意边值问题和流体力学实际应用方面也应用广泛。
本书适合于基础数学和应用数学专业的研究生和偏微分方程工作者阅读。


索书号: O175.7 / S531
Difference Equations and Their Applications
《微分方程及其应用》
作 者：A. N. Sharkovsky, Yu. L. Maistrenko, E. Yu. Romanenko
出 版：Kluwer Academic Publisher, 2005
本书主要介绍微分方程的最新发现和特别的性质。即使在最简单的尺度下，非线性方程都是十分复杂、很难被解出来的。但是微分方程给了混沌一个很优雅的表达式，此外，有力地给出了混沌内部的信息，在很多松弛和动荡现象的模拟中，微分方程模型描述更趋于传统的模型方程。本书共四部分，第一部分介绍动力系统，第二部分介绍非线性尺度微分方程，第三部分和第四部分介绍相关理论的应用和偏微分双曲系统的非线性边值问题。
本书适合于数学系学生和研究人员以及对计算机模拟非线性模型有兴趣的人员阅读。


索书号: O175.8 / M961m
Multiscale Modeling in Epitaxial Growth
《取向附生增长中的多种标度建模》
作 者：Axel Voigt
出 版：Birkhauser, 2005
取向附生的理论研究近几年来非常活跃，它在实验上被很好的证明，并且与薄膜增长技术有很大的关联。近年了，随着数值技术与物理、化学技术的结合，薄膜的宏观构造形态学又有了新的发展。本书概括了该领域的最新发展。本书尤其强调多尺度方法和数值方法，包括原子论和统一模型。并给出基于这些方法的总体观点。本书还是应用数学、理论物理和计算材料学跨学科交流的范例。
本书适合于应用数学、物理学、材料科学的研究生和研究人员阅读。


索书号: O176 / D249
Singular Sets of Minimizers for the Mumford-Shah Function
《Mumford-Shah函数极小化的奇异点集》
作 者：Guy David
出 版：Birkhauser, 2005
本书主要研究Mumford-Shah函数极小化的正则特征，Mumford-Shah函数最早提出是用于图像分割的，但是现在更多的用于分析和几何测度理论。主要的课题是最小化可能发生跳跃的自由边界K，本书针对奇异点集K的已知正则特征进行进一步的阐述。本书还介绍一阶连续正则理论、 Bonnet单调性的应用以及平面上的整体极小化。
本书适合数学系的研究生和有兴趣的研究人员阅读。


索书号: O177 / K96
Convex Function Analysis
《凸函数分析》
作 者：Andrew J.Kurdila, Michael Zabarankin
出 版：Birkhauser, 2005
本书专门介绍凸函数分析的一些基本原理。主要涉及那些在力学和控制理论中有多种应用的函数分析。本书有两方面意图：第一，给出一个基本的用来理解函数，凸包，集合值分析理论的极小值原理。大量的例子和图表尽可能的给出最直观的解释。另一方面，本书很大程度上是独立的，有高等数学背景的读者会发现：所有主要的定义和定理都能找到简洁的摘要。
本书适合应用数学等专业的研究人员和教师阅读。


索书号: O177/ O61o3
Operator Theory, Systems Theory and Scattering Theory:
Multidimentional Generalizations
《算子论，系统论和散射论的多维推广》
作 者：Daniel Alpay, Victor Vinnikov
出 版：Birkhauser, 2005
算子论、系统论、散射论和单复变量解析函数理论有着深入的联系，这些联系已经广为人知。当不仅仅局限于一个算子，而是多个算子一起考虑时，情形就复杂得多，由此产生的理论被称作“多维算子理论”，现在该领域的研究非常活跃。本书是一本论文集，收录了有关多维算子理论的多篇论文。文章的论题包括非交换情形，多圆盘函数论，亚正规算子，超解析函数，以及线性微分方程的全纯形变等。
本书适合基础数学、应用数学、电子工程学者、理论物理学者及相关研究人员阅读。


索书号: O186 / B828
The Breadth of Symplectic and Poisson Geometry
Festschrift in Honor of Alan Weinstein
《辛几何和泊松几何的宽度》
Alan Weinstein纪念文集
作 者：Jerrold E. Marsden
出 版：Birkhauser, 2005
Alan Weinstein在辛几何、微分几何、李群、力学和其他相关领域都有杰出的贡献。本书集中介绍了他在这些方面的贡献。本书包含的内容大致有：对称系统引导和减少、辛几何和拓扑学、几何量子化、Weinstein猜想、泊松代数与几何、Dirac结构、李群演化、范数空间的Kahler几何、拉格朗日与汉密尔顿力学及动力系统的理论与应用和量子表示元。
本书适合于数学系研究生和对辛几何和泊松几何有兴趣的研究人员阅读。


索书号:O186.1-532 / 161c / 2003
Complex, Contact and Symmetric Manifolds
In Honor of L. Vanhecke
《复值、切触和辛流形》
纪念L. Vanhecke
作 者：Oldrich Kowalski, Emilio Musso, Domenico Perrone
出 版：Birkhauser, 2005
本书包含了许多著名的数学家们在微分几何和拓扑学中的研究成果和论文。这些论文被一起收集起来，来纪念Lieven Vanhecke以表彰他在这些领域的杰出成果和突出贡献。这些论文包括了谱几何、测地线和曲率理论、切触和辛几何、复几何、代数拓扑和辛空间等领域的最新成果和发展趋势。
本书适合数学系研究生和对微分几何和拓扑学有兴趣的研究人员阅读。


索书号:O186.5 / L716
Lie Theory
Unitary Representations and Compactifications of Symmetric Space
《李理论》
单位表示元和辛空间的紧化
作 者：Jean-Philippe Anker, Bent Orsted
出 版：Birkhauser, 2005
本书主要介绍李理论，半李群和它在域上的的代数模拟在几何、分析和数学物理中的重要应用。本书通过介绍A. Borel, L. Ji和T. Kobayashi的关于单位表示元和辛空间的紧化的工作来介绍李理论。其中包括Ji关于单位表示元和辛空间的紧化的介绍和一些精选的例子和Kobayashi关于分支法则的重要课题。
本书适合数学系的研究生和对代数理论有兴趣的研究人员阅读。


索书号: O187/ B858
Frobenius Splitting Methods in Geometry and Representation Theory
《几何与表示论中的Frobenius分裂法》
作 者：Michel Brion, Shrawan Kumar
出 版：Birkhauser, 2005
Frobenius分裂理论已在旗簇几何和表示论的研究中产生重要的影响，本书系统地对此作了介绍。本书特点在于，首先简明介绍了Frobenius分裂的基本概念、性质与例子，其后详细对Schubert簇几何及其合冲，约化群的等价嵌入，Hilbert概形，典范分裂等作了研究探讨，并将Frobenius分裂法应用于解决代数几何和表示论的各种问题。全书以丰富的示例、练习和相关还未解决的问题贯穿始终。
本书适合代数几何和表示论相关领域的研究生及研究人员阅读。


索书号:O187-51 / S788(2)
Combinatorics and Commutative Algebra
Second Edition
《组合和交换代数》
第二版
作 者：Richard P. Stanley
出 版：Birkhauser, 2005
本书主要介绍组合和交换代数，近年来，许多交换代数和组合理论之间的联系被发现。本书从大体上介绍这个领域的两个主要课题：第一，线性方程的非负整数解；第二，单复形的环面和球面上边界猜想的证明。新版中还增加了环面和在f-向量上的应用。本书最后还介绍了子复形和单复形的细分及样条理论的应用。
本书适合数学系的研究生和对代数理论有兴趣的研究人员阅读。


索书号: O211/ D328
A Modern Introduction to Probability and Statistics：
Understanding Why and How
《现代概率与统计入门：了解为什么和怎么样》
作 者：F.M. Dekking, C. Kraaikamp, H.P. Lopuhaa, L.E. Meester
出 版：Springer, 2005
本书涵盖了概率论与统计的一般知识，在传统参数模型基础之上对泊松过程作了一定的发展，并引入了如自助法的一些现代方法来进行研究。本书的优势在于，提供了大量的实例告诉学生们，为什么要使用这些方法来解决问题，为什么这些方法是有效的。同时，本书还有大量的练习以方便学生得到及时的反馈。学习本书需要具备微积分的初步知识。
本书适合计算机、物理学、数学、化学、生物学、商学及相关专业的本科生和研究者阅读。


索书号: O211 / G983p
Probability: A Graduate Course
《概率论：研究生教程》
作 者：Allan Gut
出 版：Springer, 2005
这是一本针对研究生的概率论教材。本书开头介绍了一些最基本的理论工具，以及有关不等式、特征函数及收敛的知识，进而重点阐述分析了大数定律、中心极限定理及叠对数定律这三个主要定理，之后还有一章对鞅进行了粗略的介绍。
本书的特点在于对很多理论的细节部分作了非常详尽的推导，以提供给读者非常牢固的基础知识。对某些结果也给出了不止一种的证明。
本书适合数学、统计学及相关专业的研究生和研究者阅读。


索书号:O211 / L274
Applied Probability
《应用概率论》
作 者：Kenneth Lange
出 版：Springer 2005
本书是一本应用概率论教材。它面向研究生。本书要求一定的基础知识包括：多元微积分、线性代数、常微分方程和基础概率论。本书内容丰富，从基础概率论、最优理论到组合最优化，还介绍了各类随机过程。最后介绍了联系数论的知识。
本书适合应用数学、生物统计、计算生物学、计算机系、物理系和统计系研究生和对概率论有兴趣的研究人员阅读。


索书号: O211 / R627
Stochastic Numerics for the Boltzman Equation
《Boltzman方程的随机数》
作 者：Sergej Rjasanow, Wolfgang Wagner
出 版：Springer, 2005
随机数方法在应用科学大规模计算中有着重要的作用。本书首先用马尔科夫过程做独立框架，给出稀薄气体的传统蒙特卡洛直接模拟（DSMC）。其次本书给出了DSMC的扩展，称为：随机权重粒子方法。这种方法包括了几个新的特征。最后本书还给出严格收敛结果和具体数值实现。
本书适合于数学系研究生和研究人员以及对随机过程有一定了解的学生阅读。


索书号: O212.4 / E93
An R and S-plus companion to Multivariate Analysis
《伴随多变量分析的R加和S加》
作 者：Brian Everitt
出 版：Springer, 2005
本书主要讲述关于多变量数据的处理，科研中许多数据集都是多变量的，要同步检查并从中得到含有信息的结果就要使用许多多变量分析方法或者使用S加或者R加软件包。本书用基本的理论来阐述核心多变量方法。并且本书中的每个分析都给出了必要的S加和R加的程序代码。
本书适合应用统计系的高年级本科生和研究生阅读。


索书号: O221.4-532 / C748 / 2005
Integer Programming and Combinatorial Optimization
11th International IPCO Conference Berlin, Germany, June 2005 Proceedings
《整数规划和组合最优化》
2005年6月德国柏林第11届国际IPCO大会进程
作 者：Michael Junger, Volker Kaibel
出 版：Springer, 2005
本书是一本计算机科学会议记录及讲座报告集。它是LNCS（Lecture Notes in Computer Science）系列的一本，这一系列通过印刷和电子形式记录了计算机科学领域高水平研究、发展和教育的最新结果。本书主要收录了2005年6月在德国柏林科技大学举行的第11届国际IPCO大会的论文报告。这些报告代表了整数规划和组合最优化方面的最新结果。
本书适合计算机和应用数学专业研究生和教师阅读。


索书号: O224-532 / 161i / 2005
Integration of Al and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
《组合最优问题约束规划中的人工智能与操作研究的结合》
作 者：Roman Bartak, Michela Milano
出 版：Springer, 2005
本书是一本计算机科学会议记录及讲座报告集。它是LNCS（Lecture Notes in Computer Science）系列的一本，这一系列通过印刷和电子形式记录了计算机科学领域高水平研究、发展和教育的最新结果。本书主要收录了2005年5、6月在捷克布拉格举行的第2届国际CPAIOR大会的论文报告。包括三篇特邀演讲和26篇精选的论文。这些论文主要介绍了人工智能与操作研究相结合在解决大规模复杂现实最优问题的应用。
本书适合计算机和应用数学专业研究生和教师阅读。