可靠性原理与方法（下）
《可靠性原理与方法（下）》,作者:孙有朝,张永进,李龙彪 出版社:科学出版社 ISBN:9787030484215。本书在跟踪可靠性研究前沿的基础上，以航空、航天与民航为背景，结合数理统计与工程设计原理，系统地阐述了可靠性理论与工程应用方法。全书包括可靠性基本概念、可靠性统计基础、可靠性建模方法、复杂系统可靠性分析方法、关联系统可靠性原理、面向过程的系统可靠性、可靠性预计与分配、机械可靠性设计
原理
DNA计算核酸编码原理及方法
《DNA计算核酸编码原理及方法》,作者:张凯著 出版社:科学出版社 ISBN:9787030429285。本书主要介绍DNA计算核酸编码原理及方法，具体包括DNA计算的研究进展和背景、DNA计算的生物化学基础、DNA编码问题及其复杂性分析、DNA二级结构预测和最小自由能模型、隐枚举核酸序列编码算法、DNA编码在图着色DNA计算中的应用。
最小耗能原理及其应用 : 材料的破坏理论、本构关系理论及变分原理
《最小耗能原理及其应用 : 材料的破坏理论、本构关系理论及变分原理》,作者:周筑宝著 出版社:科学出版社 ISBN:7030081242。本书根据非平衡态热力学理论，提出并证明了一个比现有的类似研究成果适用范围更大的最小耗能原理，在此基础上，给出了建立材料破坏理论、材料本构关系理论和变分原理的新思路和新方法。
搜索引擎 : 原理、技术与系统
《搜索引擎 : 原理、技术与系统》,作者:李晓明，闫宏飞，王继民著 出版社:科学出版社 ISBN:7030146336。本书系统地介绍了互联网搜索引擎的工作原理、实现技术及其系统构建方案。内容包括基本工作原理，一个小型简单搜索引擎具体细节的实现及面向主题和个性化的Web信息服务的介绍等。
数理逻辑 : 基本原理与形式演算
《数理逻辑 : 基本原理与形式演算》,作者:李未著 出版社:科学出版社 ISBN:9787030200969。本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。
虚拟城市建设原理与方法
《虚拟城市建设原理与方法》,作者:刘晓艳等编著 出版社:科学出版社 ISBN:7030115945。本书主要介绍虚拟城市系统建设的背景、理论和关键支撑技术，虚拟环境的建模技术和建模数据库的构建技术，以及地理信息数据互操作技术及其实现等内容。
量子化学 : 基本原理和从头计算法. 下册
《量子化学 : 基本原理和从头计算法. 下册》,作者:徐光宪等著 出版社:科学出版社 ISBN:7030006135。本册共分8章，为二次量子化方法、格林函数方法、置换群的和线性变换群的整式表示、李群、李代数、量子散射理论。
