随机模型检测理论与应用
《随机模型检测理论与应用》,作者:周从华著 出版社:科学出版社 ISBN:9787030418920。本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔可夫链、马尔可夫决策过程、连续时间马尔可夫链和概率实时解释系统中的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后从应用出发，探讨了随机模型检测技术在云计算和物联网领域的应用。
应用
变结构控制理论与应用
《变结构控制理论与应用》,作者:胡跃明著 出版社:科学出版社 ISBN:7030105877。本书较系统地介绍了线性系统、非线性系统和离散系统的变结构控制基本理论，并特别介绍了非完整的束系统及基于反步法与高阶滑动模的变结构控制等前沿研究热点中的一些主要方法和结果。
Access 2007数据库应用教程学习指导
《Access 2007数据库应用教程学习指导》,作者:米红娟，李海燕主编 出版社:科学出版社 ISBN:9787030366108。本书内容包括：数据库系统概述、Access数据库、表、查询、窗体、报表、宏、模块与VBA程序设计、数据库安全、外部软件与数据协同等。
复杂系统可靠性分析在轨道交通供电系统中的应用
《复杂系统可靠性分析在轨道交通供电系统中的应用》,作者:何正友著 出版社:科学出版社 ISBN:9787030434081。轨道交通供电系统结构复杂、规模庞大，是典型的复杂系统。为提高轨道交通供电复杂系统的可靠性建模分析技术，本书作者提炼多年研究成果编成此书。内容包括：复杂系统可靠性分析模型的建立和方法的选择，地铁牵引供电系统、磁浮牵引供电系统、地铁综合监控系统、高速铁路“四电系统”等的可靠性分析
遥感与数值模拟技术及其应用
《遥感与数值模拟技术及其应用》,作者:高炜，高志强 出版社:科学出版社 ISBN:9787030461544。本书基于遥感和模式技术，从遥感技术原理探讨到遥感参数的反演实现的平台建设，到区域气候模式、陆面模式及生态模式的引进测试及生态过程模式和光能利用率模式的设计与测试等多方面展开了研究。
太谷核不育小麦在育种中的应用
《太谷核不育小麦在育种中的应用》,作者:邓景扬主编 出版社:科学出版社 ISBN:7030047923。
基于蒙特卡洛和神经网络的AVO技术研究及应用
《基于蒙特卡洛和神经网络的AVO技术研究及应用》,作者:王兴建，曹俊兴，李跃刚 出版社:科学出版社 ISBN:9787030452849。本书在着重分析了岩石物理理论和Zoeppritz方程及其简化形式所构成的AVO正反演和属性分析的基础之上，从AVO属性分析、叠前反演、多属性融合三个方面用蒙特卡洛和神经网络对AVO技术进行拓展研究。
归纳学习 : 算法 理论 应用
《归纳学习 : 算法 理论 应用》,作者:洪家荣 出版社:科学出版社 ISBN:7030058984。机器学习，目前是人工智能的热门学科，归纳学习是机器学习最重要、最核心，也最成熟的一个分支。归纳学习旨在从大量的经验数据中归纳抽取出一般的规则和模式，因而成为知识获取的主要手段，在专家系统、模式识别、图像处理、语音识别等领域都有重要应用。本书概述了归纳学习的主要内容，包括主要学习算
生命线工程抗震 : 基础理论与应用
《生命线工程抗震 : 基础理论与应用》,作者:李杰著 出版社:科学出版社 ISBN:7030147138。本书主要论述生命线工程抗震的基础理论，重点阐述生命线工程抗震理论在典型生命线工程系统中的应用和城市抗震灾场模拟与控制理论的应用。
开关稳压电源的设计与应用 : 开关稳压电源的基本原理与设计方法及应用
《开关稳压电源的设计与应用 : 开关稳压电源的基本原理与设计方法及应用》,作者:(日)长谷川彰著；何希才译 出版社:科学出版社 ISBN:7030174968。本书介绍了开关稳压电源的基本原理、电路构成及特征，并从应用的角度对开关稳压电源进行了论述，内容包括：开关稳压电源的设计方法与应用实例、脉宽调制电路与保护电路、开关稳压电源效率的改善措施等。
