索书号：O1 / A244a1 /v.1
Advances In Mathematics Research (volume 1)
《数学研究进展（卷一）》
编辑：Gabriel Oyibo
出 版：NOVA ?2002
这是NOVA 出版社“数学研究进展”（AMR）丛书的第1卷，是一本论文集，共224页，由13篇论文组成。这套书专门收录了世界上各个数学领域的一些新的研究成果，内容涉及了Von Neumann 代数、Sturm-Liouville方程、弱Bilevel程序问题、Shannon’s抽样定理、量子可积方程等各领域新的研究成果，对于集值映射的最新结果及其有关问题，书中也专门作了介绍。
适合基础数学、应用数学、概率论、运筹学等专业的研究人员阅读。

索书号：O1 / A244a1 /v.2
Advances In Mathematics Research (volume 2)
《数学研究进展（卷二）》
编辑：Gabriel Oyibo
出 版：NOVA ?2003
这是NOVA 出版社“数学研究进展”（AMR）丛书的第2卷，是一本论文集，共209页，由9篇论文组成。这套书专门收录了世界上各个数学领域的一些新的研究成果。内容包括：1.全局分叉(Global Bifurcation)在非线性Sturm-Liouville问题非负解的存在性问题上的应用。2.集值映射的最新结果及问题。3.齐次康托尔集上的Hausdorff度量。4.拟线性椭圆2阶微分方程在特定条件下的可解性。5.由迁移计划(Transference Plans)所研究的高阶变差。6.位势论上有关数论的一些讨论。7.特殊的多变量进程中分量系统的相关结构等。
适合基础数学、应用数学、概率论、运筹学等专业的研究人员阅读。

索书号：O1 / A244a1 /v.3
Advances In Mathematics Research (volume 3)
《数学研究进展（卷三）》
编辑：Gabriel Oyibo
出 版：NOVA ?2003
这是NOVA 出版社“数学研究进展”（AMR）丛书的第3卷，是一本论文集，共155页，由10篇论文组成。这套书专门收录了世界上各个数学领域的一些新的研究成果。内容涉及仿射流形间的仿射映射、关于扫除（Balayage）的最新研究、秩缩减(Rank Reduction)理论及应用、磁Schrodinger算子的热核的迹的渐近性态(Asymptotic Behavior)、导数是环的特定拟环、齐次康托尔集上的Hausdorff度量、有界函数上Szasz-Bezier型算子的逐点近似(Approximation of Pointwise)等。
适合基础数学、应用数学、概率论、运筹学、数学物理等专业的研究人员阅读。

索书号：O1 / A244a1 /v.4
Advances In Mathematics Research (volume 4)
《数学研究进展（卷四）》
编辑：Gabriel Oyibo
出 版：NOVA ?2003
这是NOVA 出版社“数学研究进展”（AMR）丛书的第4卷，是一本论文集，共163页，由7篇论文组成。这套书专门收录了世界上各个数学领域的一些新的研究成果。内容涉及特定条件下拟线性椭圆二阶微分方程的可解性、Slab几何上特定算子的谱分析、量子态概率空间等。
适合基础数学、应用数学、概率论、运筹学、数学物理等专业的研究人员阅读。

索书号：O14/I89
Algebraic Theory of Automata and Languages
《自动控制与机器语言的代数理论》
编 者：Masami Ito
出 版：World Scientific, 2004
自动控制理论与形式语言是二十世纪五十年代在计算机科学方面的发展起来的两个领域，这本书是从代数的观点来对它们进行研究。前两章研究了自动控制系统的代数结构，分析了它的整体理论，随后四章研究了代码的语法、机构以及运行，最后介绍了自动控制的特例——定向自动控制。一般的同类书中只涉及Krohn-Rhodes定理及相关主题，这本书的独到之处在于系统地讨论了自动控制的自同构群和偏序集，并且也涉及到一些代码的运行。 这本书的内容比较独立，不需要任何有关自动控制以及形式代码的知识。
适合计算机科学、应用数学、计算数学、自动化等专业的学生及教师阅读。

索书号：O141/H236
Handbook of the Logic of Argument and Inference
《论证和推理的逻辑手册》
编 者：D.M. Gabbay, R.H.Johnson, H.J.Ohlbach
出 版：North-Holland, 2002
这是North-Holland出版社“逻辑学习与实践推理”（共三卷）的第一卷，与“逻辑学习及其数学基础”属于同系列教材，全书共包括七篇文章，内容涉及到逻辑在信息论、计算机科学、物理、语言学以及实践推理方面的应用，并且这些研究也促进了逻辑学在认知心理学、神经系统科学以及一些新出现的领域如量子计算机等方面的发展。
适合应用数学、计算机科学、物理、语言学、心理学等专业的研究生和教师阅读。

索书号：O141-532/F924/2002
Frontiers of Combining Systems
《组合系统边缘研究》
编 者：Alessandro Armando
出 版：Springer, 2002
这是Springer出版社“人工智能讲座笔记”（LNAI）丛书的第2044卷，是一本论文集，这些文章来自于2002.4.8-10在意大利召开的第四届组合系统边缘研究（FroCoS）国际会议。这次会议主要展示了计算机科学各个分支系统如逻辑、计算、人工智能、机器证明、程序设计发展与证明等相互组合之后的研究成果，共包括19篇文章，主题包括逻辑组合、条件解技巧组合、决断程序组合、证明中的组合问题、定理证明的模性质，以及对于条件规划及演绎系统的求解程序。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O15-532/I61a/2001
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
《应用代数、代数算法及纠错代码》
编 者：Serdar Boztas, Igor E. Shparlinski
出 版：Springer, 2002
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2227卷，是一本论文集，论文来自于2001.11.26-30在澳大利亚召开的国际应用代数、代数算法以及纠错代码（AAECC）研讨会。全书共40篇论文，内容包括下列几个方面：代码的反复编译、块代码与代码构造、代数曲线、Grobner基以及AG代码、环和域、多项式、图论和矩阵等。另外，书中也包括了密码术、计算机代数上的代数算法、应用于通讯的序列等。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O151.2-532/I61t/2001
Typed Lambda Calculi and Applications
《典型Lambda 微积分学及其应用》
编 者：Samson Abramsky
出 版：Springer,2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2044卷，是一本论文集，这些文章来自于2001.5.2-5在波兰的Krakow举办的第五届典型Lambda 微积分及其应用（TLCA）国际会议，共包括32篇文章。典型Lambda 微积分学研究领域的不断拓展使得它涉及到计算机科学中许多关键的基本问题，在这本书中就此内容有一些论述。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O156-532/A396/2002
Algorithmic Number Theory
《算法数论》
编 者：Claus Fieker, David R. Kohel
出 版：Springer, 2002
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2369卷，是关于数论的一本著作。这是一本论文集，论文来自于2003.7.7-12在澳大利亚的悉尼召开的第5届算法数论国际研讨会（ANTS）的会议录。全书共有39篇论文，内容包括了数论研究的各个方向，涉及数论、算术几何、椭圆曲线及CM、点计算、密码术、函数域、离散对数及因子分解、Grobner 基等。适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O157.3-532/J42/2000
Discrete and Computational Geometry
《离散及计算几何》
编 者：Jin Akiyama, Mikio Kano, Masatsugu Urabe
出 版：Springer, 2000
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2098卷，是一本论文集，这些文章来自于2001.11.22-25在日本东京举办的离散及计算几何（JCDCG）国际研讨会，共包括36篇文章。自1997年每年一次举办以来，JCDCG旨在加强日本科研者与国外专家在此领域的交流，本书所收论文反映了这个方向的最新研究成果。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O17-532/C738/2000
Computability and Complexity in Analysis
《分析中的可计算性与复杂性》
编 者：Jens Blanck, Vasco Brattka, P eter Hertling
出 版：Springer, 2000
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2064卷，是一本论文集，这些文章来自于2000.9.17-19在英国的斯旺西举办的分析中的可计算性与复杂性（CCA）国际会议，共包括23篇文章，反映了这个领域的最新研究成果，除对这些研究成果进行交流外，这次会议上科学家们也对数值方法、物理及计算机科学方面的联系进行了探讨。
适合应用数学、计算数学、基础数学、计算机科学等专业的研究生和教师阅读。

索书号：O172/K86 (2)
A Friendly Introduction to Analysis (Second edition)
《数学分析初步（第二版）》
编 者：Witold A.J.Kosmala
出 版：Pearson Prentice Hall
这是分析学方面的一本基础教材，全书共11章，从集合、集合的代数性质讲起，陆续讲述了序列、函数极限、函数的连续性、一元函数微积分、无穷级数、函数序列与函数级数、向量微积分、二元函数、多元函数微积分学等内容，全书结构完整、思路清晰、讲解由浅入深，是一本很好的分析学的入门教材。
适合应用数学，基础数学，以及物理、工程、计算机等理科专业的学生和教师使用

索书号：O175/R823(2)
Differential Equations
An Introduction with Mathematica
《微分方程：数学导论》
编 者：Clay C. Ross
出 版：Springer, 2004
这是Springer出版社“研究生数学教材”（UTM）的其中一本，主要讨论了微分方程的基本理论及应用，全书共10章，前两章介绍了微分方程与线性代数的概念及理论，后面几章分别讨论了一阶微分方程及其应用、高阶线性方程、二阶微分方程的应用、拉普拉斯变换、具有多变量系数的高阶微分方程、微分系统的理论及其研究等内容。这本书将符号计算与微分方程及线性代数结合了起来，鼓励读者去思考计算所揭示的奥秘，定理的本质及应用等。
适合基础数学、应用数学、物理、工程方向的研究生和教师，也可供对此有兴趣的大学生阅读。

索书号：O175.2/A244a
Advances in Pseudo-Differential Operators
《伪微分算子进展》
编 者：Ryuichi Ashino, Paolo Boggiatto, M.W.Wong
出 版：Birkhauser
这是Birkhauser出版社“算子理论进展及应用”（OT）丛书的第155卷，由13篇论文组成，包括2003.8.11-16在加拿大多伦多举办的第四届“分析，应用以及计算”国际会议中涉及伪微分算子的全部讲座及讨论。这次会议从一种更广泛的角度来研究伪微分算子，并且报道了这一方面的最新发展，如偏微分方程的应用、Weyl变换与Wick算子的量子化、信号分析中的滤子与局部化算子、小波变换同正交小波基中的数字实验等。
适合基础数学，应用数学，数学物理以及工程学等专业的研究生和教师阅读。

索书号：O175.2/G468
Travelling Waves in Nonlinear Diffusion-Convection Reaction
《非线性扩散—对流反应中的行进波》
编 者：Brian H. Gilding，Robert Kersner
出 版：Birkhauser
这是Birkhauser出版社“非线性微分方程及其应用进展”（PNLDE）丛书的第60卷。行进波在许多自然过程中都已被发现，这本书就是讲述如何用一个非线性的扩散—对流—反应方程来描述这种波，这本书所涉及的技巧都比较新，书中的理论来源于一些实际的问题，如生物学上的人口进化、组织中氧气的扩散、热传递、热对流、有界层理论、磁场中等离子体的运动、反应化学等领域。全书共13章，介绍了行进波、对流扩散、反应扩散、幂—率方程、波前、无界波、精确行进波的解等内容，将各个领域的内容有机地结合在一起，为非线性扩散、对流及反应的应用提供了参考。
适合基础数学、应用数学、微分方程、物理、工程、生物等专业的学生及教师阅读。

索书号：O175.2/L831（2）
Applied partial differential equations
Second Edition
《应用偏微分方程 第二版》
编 者：J. David Logan
出 版：Springer, 2004
这是Springer出版社“研究生数学教材”（UTM）丛书中的一卷，是有关偏微分方程（PDEs）应用的一本著作。全书共201页，分为五章，标题分别是PDEs的物理背景、无界域上的PDEs、正交扩张、有界域上的PDEs、生命科学中的PDEs。这本书的一个独特之处就在简洁明了，例如对波动方程、扩散方程、拉普拉斯方程、有界及无界域上的水平对流方程，包括对书中涉及所有问题的处理上，都非常直截了当。
适合数学各个方向以及工程领域的学生和教师阅读。

索书号：O175.2-532 I61a/2002
Differential Equations and Mathematical Physics: UAB international conference, March 26-30, 2002, University of Alabama, Birmingham
《微分方程与数学物理》
编 者：Yulia Karpeshina…. [et al.]
出 版：American Mathematical Society（AMS）
这是AMS “当代数学”（CONM）丛书的第327卷，是关于微分方程与数学物理的最新研究的一本论文集，论文来自于2002.3.26-3.30在伯明翰的阿拉巴马（Alabama）大学召开的第九届微分方程与数学物理国际会议。共有29篇论文，展示了一些非常有趣的结果，内容几乎覆盖了现代研究的主要领域，包括应用于对称及非对称的量子力学的谱理论、不定常随机位势、谐振、伪微分算子同量子动力学、可逆谱及散射问题、应用于流体动力学上的线性与非线性偏微分方程理论、守恒定律及数值模拟、平衡及非平衡的统计力学等。
适合于对数学物理感兴趣的研究生与专业研究人员。
索书号：O175.29 / C224
Semiconcave Functions、Hamilton-Jacobi Equations、and Optimal Control
《半凹函数、哈密顿-雅可比方程及最优控制》
编 者：P.Cannarsa， C. Sinestrari
出 版：Birkhauser, 2004
这是Birkhauser出版社“非线性微分方程进展及其应用”（PNDETA）丛书的第58卷，是关于半凹函数、哈密顿-雅可比方程及最优控制的一本著作。对半凹函数主要研究了它的来源、定义、特例和一些基本性质；同时对哈密顿-雅可比方程所涉及的一些问题也进行了讨论，在书的后半部分讨论了最优化控制问题，涉及Mayer问题、Bolza 问题、以及现行条件下的半凹性结果。全书共有8章，标题分别是模型问题、半凹函数、推广梯度及半凹性、半凹函数的奇异点、哈密顿-雅可比方程、变分计算、最优控制问题、具有出口时间(Exit time)的控制问题。
适合非线性微分方程、微分几何、泛函分析、几何测度论及数学物理等方向的读者阅读。

索书号：O18/L685
A Generative Theory of Shape
《关于形状的生成理论》
编 者：Michael Leyton
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2145卷，这本书中作者主要发展了关于特定形状（shape）的生成理论，对于智能化来说，这种形状具有两种基本特性——最大变形和最大的可恢复性，这种理论大量运用在CAD、感知技术以及机器人技术上，同时，在计算机操作、感知系统、构造立体几何、整合计划、建筑CAD、工程CAD/CAM方面的长期运用也体现出它的优越性。全书共554页，分为22章，全面地介绍了此理论的基础以及内容和应用。
适合上述各个专业的研究生和教师阅读。

索书号：O18-532/I61/2000
Automated Deduction in Geometry
《几何中的自动演绎法》
编 者：Jurgen Richter-Gebert, Dongming Wang
出 版：Springer,2000
这是Springer出版社“人工智能讲座笔记”（LNAI）丛书的第2061卷，是一本论文集，这些文章来自于2000.9.25-27在瑞士召开的第三届几何自动演绎法（ADG）国际会议。这次会议主要展示了几何推断方面的最新的重大科研成果，共包括17篇文章，内容涉及到软件工程、几何建模等方面。
适合基础数学、计算数学、计算机科学及与ADG、 CADG领域有关的研究生及教师阅读。
索书号：O185.1/H592
Uncertain Projective Geometry
《不确定射影几何》
作者：Stephan Heuel
出版：Springer，2004
这是一本主要讨论多面体重建的统计推理的著作。除第一章对此理论作了介绍之外，其余四章的标题分别是几何变换的表示、应用射影几何的几何推理、统计几何推理、多面体重建，最后一章是本书的一些结论。本书紧密地结合了“代数投影几何”与“计算机视图应用”中的“不确定性空间推理”。除系统地介绍了几何与统计方面的理论基础以及不确定性几何推理的一些清晰的原则外，也提供了一系列详细的算法。
适合对代数射影几何方面感兴趣的科研人员和高年级研究生阅读。


索书号：O186.1/W222
Metric Structures in Differential Geometry
《微分几何中的度量结构》
作者：Gerard Walschap
出版：Springer，2004
这是Springer出版社“数学研究生教材”（GTM）系列丛书的第224本，主要介绍了微分流形和纤维丛的基本理论。全书共分六章，第一章从一个全面的角度介绍了微分流形，随后两章集中讲述了纤维丛和同伦理论，在这部分内容中，主丛、向量丛被着重讲述。最后三章从度量微分几何的角度研究了丛、欧几里得（Euclidean）丛、 黎曼（Riemannian）丛、球面上的丛、Chern-Weil定理、以及向量丛的陈（Chern）特征等。第五章中，集中讨论了切丛，在这一章中对黎曼几何也有一个基本介绍，第六章的标题是特征类。
本书可以作为流形或丛方面一学期课程的教材，也可以作为微分几何两学期课程的教材。虽然名为研究生教材，但阅读此书仅仅需要微积分、线性代数以及点基拓扑学的一些基础知识，可供感兴趣的大学生阅读。

索书号：O186.13/P478
Newton Methods for Nonlinear Problems
Affine Invariance and Adaptive Algorithms
《非线性问题的牛顿方法 仿射不变量及自适应算法》
作者：Peter Deuflhard
出版：Springer，2004
这是Springer出版社“计算数学系列”丛书的第35卷，讨论了科学和工程中出现的非线性问题的有效数值解。书名中的“仿射不变性”指的是在所研究问题的仿射变换的子类下，这些算法及其收敛分析是不变的。本书分八个章节，第一章从其历史根源——标量方程的牛顿方法开始，介绍了基本情况；书中其余内容分为两大部分：代数方程和微分方程。第二章到第五章属于代数方程部分，各章标题为方程组的局部牛顿方法、方程组的全局牛顿方法、最小二乘法问题的高斯-牛顿方法、独立参数系统的连续法；微分方程部分包括第六章到第八章，推广了常微分方程和偏微分方程的情况，各章标题分别是强ODE（常微分方程） 初值问题、ODE边值问题、PDE（偏微分方程） 边值问题。
全书包括大量的数据说明、对照图和习题，适合计算数学专业的学生及教师阅读。
索书号：O186.5 / A552
Complex Convexity and Analytic Functional
《复凸性与解析泛函》
编 者：M. Andersson, M.Passare, R.Sigurdsson
出 版：Birkhauser, 2004
这是Birkhauser出版社“数学进展”（PM）丛书的第225卷，是关于复凸性及解析泛函的一本著作，主要讨论了特殊空间上的凸性以及复凸性，特殊空间上解析泛函以及它的来源、定义、特例、基本性质以及特殊应用，如C-凸集上的可解性，载流子的可解性和P-凸性。全书共有4章，各章标题分别如下：实射影空间上的凸性、复凸性、解析泛函和Fantappie 变换、偏微分方程的解析解。
适合微分方程、微分几何、几何测度论、泛函分析以及数学物理等方向的读者阅读。

索书号：O187/L431/v.1
Positivity in Algebraic Geometry I:
Line Bundles and Linear Series
《代数几何中的正定性: 线丛与线性序列》
编 者：Robert Lazarsfeld
出 版：Springer, 2004
这是Springer出版社“现代数学研究系列”（ASMSM）丛书的第48套，共分两本。这套书是介绍近年来复代数几何领域中围绕正定性所作工作的一本现代著作，集中研究了1950-1975年间在此领域内出现的许多问题，这套书共有I, II两卷，分为三个部分，第一部分就是本书（第I卷），主要讨论线丛和线性序列，共有五章，内容涉及Nef 线丛（Nef Line Bundles）、线性序列、正定性的几何表示、消失定理（Vanishing Theorems）、局部正定性等。
适合基础数学、理论物理等方向的研究生和教师阅读。

索书号：O187/L431/v.2
Positivity in Algebraic Geometry II:
Positivity for Vector Bundles and Multiplier Ideals
《代数几何中的正定性: 向量丛与乘子理想数的正定性》
编 者：Robert Lazarsfeld
出 版：Springer, 2004
这是Springer出版社“现代数学研究系列”（ASMSM）丛书的第48套，是介绍近年来在复代数几何中围绕正定性所作工作的一本现代著作，集中研究了1950-1975年间在此领域内出现的许多问题，这套书共有I, II两卷，分为三个部分，这本书（第II卷）包括了第二、三部分，第二部分讨论了高维向量丛的正定性，在三章内容中讨论了丛的几何性质和数值性质，第三部分用乘子理想数（Multiplier Ideals）的形式讨论了有关高维几何的理想数和方法，也分为三章，涉及乘子理想数的应用、渐进结构等。
适合基础数学、理论物理等方向的研究生和教师阅读。

索书号：O189.3/F182 (2)
Fractal Geometry
Mathematical Foundations and Applications (Second edition)
《分形几何：数学基础及其应用（第二版）》
编 者：Kenneth Falconer
出 版：Wiley, 2003
分形几何作为一个新近被关注的有力的工具，解决了许多实际的问题，这本书是从一些已知的结论入手，通过清晰易懂的方法，全面地介绍了一般的分形理论及其应用。全书共18章，分为两大部分，第一部分基础篇包括数学背景、Hausdorff度量与维数、维数的几个定义、计算维数的技巧、分形的局部结构、分形的投影、分形的积、分形的交等八章，第二部分讲述了分形的应用以及例子，包括从动力系统、数论、纯数学中得到的一些例子以及分形在物理学中的应用等。适合基础数学、应用数学、物理、工程、地质、环境工程等方向的研究生和教师，也可供对此有兴趣的低年级大学生阅读。

索书号：O211/F798f
Fractal Geometry and Stochastics III
《分形几何与推测学》
编 者：Christoph Bandt, Umberto Mosco, Martina Zahle
出 版：Birkhauser, 2004
这是Birkhauser出版社“概率进展”（PP）丛书的第57卷，是一本有关分形几何理论与应用的书，是根据2003.3在德国举办的“分形几何与推测学III”会议的又关材料编撰而成的。分形几何的概念是由B.Mandelbrot于1975年首先提出的，十几年来，它已经迅速发展成为一门新兴的数学分支，是一个研究和处理自然与工程中不规则图形的强有力的理论工具，它的应用涉及到物理，生物，经济，医学等各个领域。
本书集中介绍了此学科的原理及方法，全书共五章，分别为分形集与测度、分形与动力系统、随机过程与随机分形、欧几里得空间中的分形分析、分形中的调和分析，可作为一本好的研究生教材，也可供对分形理论及应用感兴趣的大学师生及科技人员选用。

索书号：O212/H465s
Statistical Analysis and Data Display
An Intermediate Course with Examples in S-Plus, R, and SAS
《统计分析及数据显示：中级教程》
编 者：Richard M. Heiberger, Burt Holland
出 版：Springer, 2004
这是“Springer统计学教材”的其中一本，是一本关于统计方法的现代著作，书中广泛应用了图解的方法来研究数据和进行分析。作者用新图论的工具以及传统列表讲述了经典的概念、图形设计的原则，以及如何建立和组合图形等，书中的许多例子都是第一次刊出，很新颖，有参考价值。本书共18章，从基础概念开始讲起，讨论了数据及统计、图论、单变量分析、多变量分析、二元统计-离散数据、时间序列分析等内容，并且书中还另设了七章对软件、S-Plus, R及 SAS、概率分布、基于笛卡尔积上的图形等内容进行介绍。
这本书可作为统计专业的研究生教材，适合应用数学、基础数学、以及物理、工程计算、医学统计、计算机等专业的研究生和教师使用。


索书号：O212-532/I18/2001
Advances in Intelligent Data Analysis
《智能数据分析进展》
编 者：Frank Hoffmann, David J. Hand, Niall Adams, Douglas Fisher, Gabriela Guimaraes
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2189卷，是关于智能数据分析的一本著作。这是一本论文集，论文为2001.9.13-15在葡萄牙的Cascais举行的第四届国际智能数据分析研讨会（IDA）会议录。全书共有37篇论文. 本次会议致力于讨论计算机在采用智能化方法进行数据分析中的应用，包括研究者们对数据分析的智能程序的开发等，是智能数据分析研究在统计、人工智能、神经网络、数据采集、交互式动态数据可视化等不同学科中的应用。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O221.4-532/C748/2001
Integer Programming and Cobinatorial Optimization
《整数规划与组合最优化》
编 者：Karen Aardal, Bert Gerards
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2081卷，是一本论文集，论文来自于2001.6.13-15在荷兰的乌得勒支市召开的第八届国际整数规划与组合最优化会议（IPCO）的会议录。全书共有32篇论文，这次会议致力于展示整数规划与组合最优化在理论、计算以及应用方面的最新进展，这次会议的部分议题包括以下内容，近似算法、分支有界算法、计算机生物学、计算机复杂性、计算几何、切平面算法、丢番图方程、数字几何、图网算法、整数规划、拟阵及子模函数、在线算法、多面体组合学、时序安排理论及算法、半定程序等。
适合应用数学、线性规划、非线性规划、运筹学、控制论等专业的研究生和教师阅读。

索书号：O221.4-532/C748/2002
Integer Programming and Cobinatorial Optimization
《整数规划与组合最优化》
编 者：Willliam J.Cook, Andreas S.Schulz
出 版：Springer, 2002
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2337卷，是一本论文集，论文来自于2002.5.27-29在剑桥召开的第九届国际整数规划与组合最优化会议（IPCO）的会议录。全书共有33篇论文，反映了整数规划与组合最优化的最新研究方向和成果，其中有些内容涉及了需求匹配问题、MAX 2-SAT的更进循环技术（Improved Rounding Techniques）、嵌入引理(lemma of Scarf)、资源分配问题的修正逼近算法等。
适合应用数学、线性规划、非线性规划、运筹学、控制论等专业的研究生和教师阅读。

索书号：O221-532/N971/2000
Numerical Analysis and Its Applications
《数值分析及其应用》
编 者：LubinVulkov, Jerzy Wasniewski, Plamen Yalamov
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第1988卷，是一本论文集。这些文章来自于2000.6.11-15在保加利亚举办的第二届国际数值分析及其应用会议。本书共包括91篇文章，大部分问题涉及数值分析及其在物理、化学、工程以及经济方面的应用所取得的成果。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O221-532/S769/2000
Computational Combinatorial Optimization
Optimal or Provably Near-Optimal Solutions
《计算机组合优化中的最优及可证近优解》
编 者：Michael JUnger, Denis Naddef
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2241卷，是一本论文集，这些文章来自于2001.5.15-19在德国的Schlob Dagstuhl举办的计算机组合最优化春季学校的演讲稿。本书共包括七篇文章，内容涉及组合最优化中的投影及提升、分支切除算法中的计算问题及其在ABACUS中的实现等等。
适合应用数学、计算数学、线性规划、非线性规划、运筹学、控制论等专业的研究生和教师阅读。

索书号：O224/L274
Optimization
《最优化》
编 者：Kenneth Lange
出 版：Springer, 2004
这是Springer出版社“Springer统计学教材”（STS）的其中一本，一直以来，有限维最优化问题贯穿整个数学始终，但却不能由分析的方法彻底解决。本书试图将数学理论同数值算法结合起来求解此类问题。全书共11章，内容涉及凸性、统计中被广泛应用的MM 以及EM算法、牛顿算法、拟牛顿算法、对偶性、Dykstra’s算法等。
适合应用数学、计算机生物学、计算机科学、经济、物理等专业的研究生和教师阅读。

索书号：O224-532/E54/2001
Evolutionary Multi-Criterion Optimization
《修正多标准最优化》
编 者：Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele, Carlos A.Coello, David Corne
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第1993卷，是一本论文集，这些文章来自于2001.3.7-9在瑞士的苏黎世举办的首届修正多标准最优化（EMO）国际研讨会，共包括49篇文章。多标准最优化讨论的是来源于现实生活的一些多元问题，它们的各个元素通常相互制约，不同于一元最优化，多标准最优化问题常涉及到许多因素。本书所收论文反映了这个方向的最新研究成果，对非线性多元最优化的方法也有所涉及。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O225G/192g/v.7
Game Theory and Applications Vol.VII
《对策论及其应用（卷七）》
作 者：L.A.Petrosjan & V.V.Mazalov
出 版：NOVA Science Publishers, Inc. 2003
这是NOVA Science出版社“对策论及其应用”丛书的第7卷，这套书主要介绍了对策论及其在各方面的应用。每本书都是由一些论文组成。本书由16篇论文组成，内容涉及到软着陆的对策问题、调和值的对偶方法、一类停止对策（Stopping Games）的随机最优化停止规则、一个特殊对策的不对称解、关于马尔科夫过程的最优截至的随机分配和不确定使用等，基本反应了该领域的新的研究成果。
适合运筹与控制、应用数学、基础数学等专业的研究生和教师阅读。

索书号：O225/ G192g/v.8
Game Theory and Applications Vol.8
《对策论及其应用（卷八）》（修订版）
作 者：L.A.Petrosjan & V.V.Mazalov
出 版：NOVA Science Publishers, Inc. 2003
这是NOVA Science出版社“对策论及其应用”丛书的第8卷，这套书主要介绍了对策论及其在各方面的应用，每本书都是由一些论文组成的。本书包括15篇论文，内容涉及了核及子核的几何性质、一些对策及其取胜机制的建立、鲁滨逊（Rubinstein）交易模型的特定推广、认识逻辑总论、投票模型的修正Banzhaf指标、具有随机提议的多级仲裁对策等，基本反应了该领域的最新研究。
适合控制论、应用数学、基础数学等专业的研究生和教师阅读。

索书号：O225/G192g/v.9
Game Theory and Applications Vol.9
《对策论及其应用（卷九）》（修订版）
作 者：L.A.Petrosjan & V.V.Mazalov
出 版：NOVA Science Publishers, Inc. 2003
这是NOVA Science出版社“对策论及其应用”丛书的第9卷，主要讨论了对策论及其在各方面的应用，由18篇论文组成，着重研究了对策论在以下两个方面的应用：网络对策和资源分配。这本书的主要内容基于2002.7.12—7.15在俄国Petrozavodsk举行的“网络对策与资源分配”会议的部分讨论稿，在所收录的论文中，一部分包括了对策论方法和网络资源分配的理论基础，另一部分则致力于市场电信模型的讨论，此外，这些论文还涉及到在网络上学习、交易、投票选举以及网络的不确定性等，反应了该领域的最新研究。
适合控制论、应用数学、基础数学等专业的研究生和教师阅读。

索书号：O226/D121
Queueing Networks with Discrete Time Scale
《具有离散时间度量的排队网络》
编 者：Hans Daduna
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2046卷，是关于排队网络的一本著作。经典的单节点队列及其网络是基于连续时间度量的，近年来随着ATM技术的发展，离散时间随机网络被更多地关注，本书报道了这方面最新的研究成果，集中讨论了离散时间排队网络中稳定特征的精确表示，并且对于在离散时间下能否有一个乘积形式积分的问题也给出了一个相对肯定的答复。
此书源于作者在Hamburg大学多年执教的讲义，可作为离散时间随机网络的教材，也可供自学者使用。

索书号：O24-532/F287/2001
Fundamentals of Computation Theory
《计算理论基础》
编 者：Rusins Freivalds
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2138卷，是一本论文集，这些文章来自于2001.8.22-24在拉脱维亚举办的第十三届计算理论基础（FCT）国际会议，书中也包括了随后2001.8.25在同一地点召开的高校算法卫星会议的论文。这次会议旨在促进计算科学理论方面的交流与促进，论文的主题主要有：计算复杂性、图网算法、流路算法、近似算法、随机算法、在线问题、分支边界算法、算法几何、切平面算法及其不同应用、整数规划、半定规划，共包括66篇文章，反映了这个领域的最新研究成果。
适合应用数学、计算数学、控制论、最优化、计算机科学等专业的研究生和教师阅读。
索书号：O241/V297
Gersgorin and His Circles
《Gersgorin及其研究》
编 者：R.S.Varga
出 版：Springer, 2004
这是Springer出版社“计算数学系列”（SSCM）丛书的第36卷，是关于线性代数方面有名的一本著作，这本书的编写是源于Gersgorin1931年的论文（在书中有附录），围绕这篇文章，有数百篇的研究论文，这本书就是对这一主题所作研究的详细最新的处理。本书共六章，标题分别是基本理论、Gersgorin型特征值理论、多个特征值结论、G-函数、对于分区矩阵的Gersgorin定理。
适合函数论，代数学等基础数学方面以及计算机科学方向的研究生和教师阅读。

索书号：O241-532/S283/2002
Algorithm Theory——SWAT 2002
《算法理论——SWAT 2002会议录》
编 者：Martti Penttonen, Erik Meineche Schmidt
出 版：Springer, 2002
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2368卷，是关于算法的设计及分析的一本著作。这是一本论文集，论文来自于2003.8.3-5在北欧召开的第8届算法理论斯堪的纳维亚会议（SWAT）。全书共有45篇论文，内容覆盖了算法及数据结构的各个领域，包括计算机几何、平行及分布式计算、图论、计算生物学、机器人技术、近似算法、数据交换、数据存储及处理。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。

索书号：O241.86-532/w973/2001
Wavelet Analysis and Its Applications
《小波分析及其应用》
编 者：Yuan Y. Tang， Victor Wickerhauser, Pong C, Yuen, Chun-hung Li
出 版：Springer, 2001
这是Springer出版社“计算机科学讲座笔记”（LNCS）丛书的第2251卷，是一本论文集，这些文章来自于2001.12在香港举办的第二届小波分析及其应用（ICWAA 2001）国际会议，共包括55篇文章。这次会议旨在为致力于小波分析理论及应用领域的研究者们提供一次交流与提高的研讨会，同时促进以后更新的应用，讨论内容涉及镜像压缩及编码、视频编码及程序、镜像程序、信号程序等方面。
适合应用数学、计算数学、计算机科学等专业的研究生和教师阅读。