分析基础机器证明系统
《分析基础机器证明系统》,作者:郁文生,付尧顺,郭礼权 著 出版社:科学出版社 ISBN:9787030706713。本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数
系统
奇异系统的鲁棒控制理论
《奇异系统的鲁棒控制理论》,作者:鲁仁全[等]著 出版社:科学出版社 ISBN:9787030203816。本书采用Lyapunov-Razumikhin、Lyapunov-Krasovskii稳定性理论以及凸优化等重要理论，基于Barbalat引理以及非奇异线性降阶变换，以线性矩阵不等式作为研究的工具，提出了奇异系统鲁棒稳定性、输入输出稳定性、鲁棒D-稳定的判据，研究了鲁棒控制器、滤
基塘系统的水陆相互作用
《基塘系统的水陆相互作用》,作者:钟功甫 出版社:科学出版社 ISBN:7030036166。本书对花基鱼塘、桑基鱼塘等基塘类型进行了能量流、经济流入、投入产出比较，探讨了系统内水陆相互作用的效益、土地利用率等各种要素等。
非线性偏微分系统的可积性及应用
《非线性偏微分系统的可积性及应用》,作者:夏亚荣 著 出版社:科学出版社 ISBN:9787030699749。本书主要以对称理论为工具，研究了若干非线性偏微分系统的非局部对称、Lie对称、条件Lie-Bäcklund对称及近似条件Lie-Bäcklund对称；以伴随方程方法及相关理论为基础，研究了几类非线性系统的守恒律；以Lax对和规范变换为基础，研究了几类非局部方程的Darboux变换．书中介
PH模型在城轨交通车站系统中的应用
《PH模型在城轨交通车站系统中的应用》,作者:蒋阳升 出版社:科学出版社 ISBN:9787030435392。本书主要介绍PH分布的相关概念、原理与方法及PH分布在城市轨道交通车站系统中的应用。全书内容包括：PH分布及其排队模型简介、行人数据采集及其PH拟合、城市轨道交通车站设施节点PH排队模型、城市轨道交通车站设施PH排队网络模型等。
城市交通系统可持续发展理论体系研究
《城市交通系统可持续发展理论体系研究》,作者:王炜等著 出版社:科学出版社 ISBN:7030123476。本书系国家自然科学基金基金重点项目“城市交通系统可持续发展研究”及其示范工程研究成果的总结。主要内容包括：城市交通系统发展模式、城市人口-土地利用-交通模式相关关系、城市交通系统总体容量分析方法、城市交通系统环境容量分析方法、可持续发展城市交通合理结构分析方法。城市交通系统可持续
耳鼻咽喉与全身系统疾病
《耳鼻咽喉与全身系统疾病》,作者:姜泗长等主编 出版社:科学出版社 ISBN:7030109724。全书阐述了耳鼻咽喉的先天畸形，免疫与变态反应性疾病，细菌及病毒感染，头颈部肿瘤在耳鼻咽喉的表现，全身各系统疾病与耳鼻咽喉的关系等内容。
可靠系统的设计理论与实践. 下册
《可靠系统的设计理论与实践. 下册》,作者:D.P.西沃赖克 出版社:科学出版社 ISBN:7030029658。本册为可靠系统的设计实践。包括C.vmp表决多处理器，容错计算系统、高可靠性系统的设计方法论等。
非线性可积系统的构造性方法
《非线性可积系统的构造性方法》,作者:张盛,徐波 著 出版社:科学出版社 ISBN:9787030717993。本书研究非线性可积系统的可积性判定、精确求解和生成的一些构造性理论与方法。首先简述非线性系统的可积性、孤子解和多种解法，着重研究C-D对、Painlevé检验、Hirota双线性方法和Darboux变换的新应用；其次简要介绍数学机械化及其在非线性系统求解中的应用，主要研究齐次平衡法、指数
