并行计算机体系结构技术与分析
《并行计算机体系结构技术与分析》,作者:杨晓东，陆松，牟胜梅著 出版社:科学出版社 ISBN:9787030218162。本书以研制高性能计算机系统为线索，对计算机系统结构的演变和并行计算机的发展作了论述，对设计、构建高性能并行计算机涉及的关键技术作了分析，讲述了并行计算机系统性能的度量和评测方法、流水和向量处理技术、各类存储系统的结构等。
分析
分析基础机器证明系统
《分析基础机器证明系统》,作者:郁文生,付尧顺,郭礼权 著 出版社:科学出版社 ISBN:9787030706713。本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数
网络化系统分析与设计
《网络化系统分析与设计》,作者:吴杰 著 出版社:科学出版社 ISBN:9787030705129。本书比较全面地介绍了作者近年来在网络化系统性能分析与设计方面的研究成果。本书重点介绍了基于网络参数（网络时延、数据丢包、网络带宽、编码解码和量化等）约束研究网络化系统稳定性、最优性能与有关性质。借助通信理论、频域分析方法、部分分式展开和谱分解技术等，定量地揭示了网络化系统稳定性、最优跟踪误差性能与网
信息系统分析与设计 | 2版
《信息系统分析与设计 | 2版》,作者:刘永主编 出版社:科学出版社 ISBN:9787030217509。本书介绍了信息系统的概念、信息系统开发的基础、方法和方式，详细阐述了信息系统开发设计过程中规划、分析、设计、实施和运行与维护五个阶段的任务、工具和方法等。
自然保护区旅游生态补偿：机理分析与路径探索
《自然保护区旅游生态补偿：机理分析与路径探索》,作者:陈海鹰 著 出版社:科学出版社 ISBN:9787030675934。本书以作为旅游发展载体的自然保护区的自然-社会-经济复合生态系统为研究对象，选取已开展旅游生态补偿实践的若干典型案例地，借助相关理论和方法，采用“理论探讨—机理解析—框架构建—实践分析—路径选择”的逻辑架构，结合旅游生态补偿对自然保护区的适应性分析，深入解析自然保护区
现代分析及其应用引论
《现代分析及其应用引论》,作者:古志鸣编 出版社:科学出版社 ISBN:7030120094。本书简要介绍了流形上的微积分及其应用，并系统地介绍了微分流形、流形上的向量场、微分形式与积分、映射度及奇异性等基本概论和理论。
城市土地利用碳排放分析与调控
《城市土地利用碳排放分析与调控》,作者:陈银蓉 著 出版社:科学出版社 ISBN:9787030662576。本书基于现有的土地利用碳排放测算方法，系统分析城市经济、人口、能源、土地、环境的变化，结合武汉市实际，探讨了城市经济-土地-碳排放系统动力学模型构建；通过设置不同经济目标、能源结构、节能技术发展的可能状况，以及建设用地扩张调控等，探讨其调控因素的作用；进而以可持续发展理念为指导，分析城市土
中国城镇产业布局分析与决策支持系统
《中国城镇产业布局分析与决策支持系统》,作者:方创琳等著 出版社:科学出版社 ISBN:9787030316011。本书围绕中国城镇产业布局分析与决策支持系统开发这一核心目标，总结了中国城镇产业布局基本理论与方法，构建了城镇产业布局技术指标体系和技术模型，并借助GIS技术开发出了城镇产业布局决策支持系统等共八大关键技术软件，提出了中国城镇产业布局的系列技术导则，并在若干城镇开展典型示范规划研究
MSC.Fatigue疲劳分析应用与实例
《MSC.Fatigue疲劳分析应用与实例》,作者:周传月，郑红霞，罗慧强等编著 出版社:科学出版社 ISBN:7030150902。产品的疲劳寿命是现代产品设计的重要指标，本书以大量实例分析，介绍了MSC.Fatigue疲劳分析的基本理论和MSC.Fatigue软件的使用，全书分为13章进行阐述。
数据驱动的学习分析与适应性干预
《数据驱动的学习分析与适应性干预》,作者:张家华,黄森,缪佳佳 著 出版社:科学出版社 ISBN:9787030711779。在信息技术支持的混合学习环境下，借助智能化学习平台和学习分析技术，收集学习数据，分析学习过程，实施精准教学，为探索个性化、适应性的学习干预提供了可能，也促使学习干预的研究和应用由特殊教育领域拓展到普通教育领域。 本书基于数据驱动的研究范式，在梳理国内外有关学习分析和学习干
