海岸及近海过程的建模

建模是确立重要的环境策略的主要数学工具。本书作者近年来致力于海洋科学中的建模研究，并开设了有关的研究生课程。1996和2001年作者先后出版了两本与此有关的专著。本书在这些论著的基础上进一步加以扩充和完善，系统全面地论述了近海工程和环境科学中的建模理论和方法，特别为不熟悉海洋科学的读者提供了必要的背景材料，分析了一些典型案例，其中包括生态系统和生物学建模的深入研究。对于非专业人员掌握建模方法和评价有关模型尤其具有指导意义。     

解释非单调推理

本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。     

常微分方程定性理论的方法动力系与非线性振动

本书是北京大学“数学”系列丛书中的一本，是作者数十年来在北大讲授常微分方程定性理论和动力系课程的结晶，给出常微分方程定性理论的基本概念、重要结果和主要方法，并在选择性地给出一些研究专题，强调基本知识，包括柯西问题的基本定理、不动点定理、动力系的基本原理、Daffing方程的非线性振动及某些特殊微分方程的定性分析，也包含作者自己的一些研究成果。     

分枝理论及应用

本书是关于现代分枝理论及其应用的引论性论著，第一次以专著形式系统全面地概括了本书作者近十多年对新的分枝理论研究成果，以及对于来自科学和工程中的动力系和偏微分方程问题（特别是应用于物理、化学、生物学、流体动力学的各种非线性方程）的应用。     

应用科学家用MonteCarlo方法

MonteCarlo方法是数学、物理及工程技术领域有效的计算手段。本书论述MonteCarlo方法在自然科学中的应用，为应用领域科技人员应用MonteCarlo数值方法给出系统的指导。与同类专著相比，本书更为注重算法的性能分析，并用实例表明MonteCarlo方法在半导体器件模型等实际问题中有着广阔的应用前景。本书还融入了作者在英国Reading大学为计算机科学专业开设的“随机方法和算法”课程的内容，使本书在理论上也有一定深度。     

超流形理论与应用

超流形理论在某种程度上还是一个正在“成长”的研究课题。本书作者基于各种原始论文中的结果，系统全面地论述了这个领域迄今取得的主要进展，包括基本概念、重要结果以及在理论物理中的各种应用，特别给出了目前存在的关于超流形的不同的方法和理论，对它进行对照和比较，还包含了研究超流形理论所必须的数学工具，弥补了当前论著中关于这个研究课题的空缺。     

蠕变力学 第二版

本书全面地评述各向异性体在蠕变条件下力学性能的数学模拟的新近进展，包括张量函数的原理、方法和应用，讨论了一些实际应用的例子，也给出了作者为检验模拟的有效性而进行的实验。书中还全面评述蠕变力学中的其他人的实验研究，并论述在本构方程和演化方程中指定不可约张量不变量集和标量系数的规则和张量插值法。     

系数逆问题的Garleman估计及数值应用

本书主题是应用Garleman估计研究具有侧边数据的非超定系数逆问题（CIP）的数学理论和数随解．系数逆问题出现在许多自然科学和工程技术领域，具有重要应用价值。近30多年来，有关研究集中于唯一性和稳定性结果，特别是Garleman特别估计是建立整体唯一性和稳定性的有力工具。本书第一作者对此方法的发展作出了贡献，本书对此进行了全面系统的论述，包括非线性偏微分方程的系数逆问题的整体唯一性及建立系数逆问题和某些实际问题的收敛数值方法两个方面，其中也给出了作者自己的结果。     

小粘滞性与边界层方法

边界层在许多物理、工程、力学和流体力学问题(特别是小扩散问题)中见到，也出现在自由边值问题(尤其是激波分析)中。本书是关于非特征边界层稳定性分析的引论，着重论述一些专题并给出研究多维问题的数学工具，包括双曲边值问题、抛物系统、WKB方法、轮廓结构、Evans函数理论及Kreiss对称化子能量方法等。本书是基于作者在法国、意大利一些大学的教授研究生课程的基础上形成。     

几何观点下的控制论

本书以几何观点给出数学控制理论的基本事实和方法，着重论述由光滑常微分方程控制的有限维确定性控制系统，主要研究可控性、状态及反馈等价性及最优控制等问题。本书是基于第一作者2000～2001年在意大利Trieste国际高等研究院教授的研究生课程而形成。