畜牧业温室气体监测、报告和核证方法指南
《畜牧业温室气体监测、报告和核证方法指南》,作者:董红敏 主编 出版社:科学出版社 ISBN:9787030706102。我国把碳达峰、碳中和纳入生态文明建设整体布局和经济社会发展全局，坚持降碳、减污、扩绿、增长协同推进，力争2030年前二氧化碳排放达到峰值，努力争取2060年前实现碳中和。畜牧业是重要的温室气体排放源，在国际农业研究磋商组织“气候变化、农业与粮食安全”国际研究项目和全球农业温室气
方法
切削加工表面完整性的理论和方法
《切削加工表面完整性的理论和方法》,作者:陈涛 出版社:科学出版社 ISBN:9787030467430。本书是在作者多年对切削加工表面完整性研究的相关成果基础上完成的，书中系统地阐述了切削加工表面完整性的理论和方法、最新发展及应用。全书共8章，主要内容包括：切削表面完整性总论，切削表面形貌的表征与测试，切削表层微观结构特征及检测，切削表面残余应力及测试，切削试验设计与数据分析，难加
自动驾驶虚拟仿真测试评价理论与方法
《自动驾驶虚拟仿真测试评价理论与方法》,作者:孙剑,田野,余荣杰 著 出版社:科学出版社 ISBN:9787030718563。自动驾驶是多项国家战略的聚焦点，测试评价技术是推进自动驾驶技术研发与规模化部署的核心支撑。本书从理论到方法，从技术到工具，从研究到实践，系统构建了自动驾驶虚拟测试与评价的理论、方法与技术体系。主要内容包括自动驾驶虚拟测试工具链构建、高等级自动驾驶虚拟测试仿真即服务系统新思
沉积岩体力学理论与方法
《沉积岩体力学理论与方法》,作者:孟召平，苏永华著 出版社:科学出版社 ISBN:7030174402。本书主要从工程沉积岩体角度出发，就其中最基本的沉积岩体力学理论和问题进行了探索，如沉积岩石力学特性、结构面分布的地质统计规律及其力学特征等。
数字计算机设计自动化的理论和方法
《数字计算机设计自动化的理论和方法》,作者:(美)布鲁尔(M.A.Breuer)编；中国科学院计算技术研究所设计自动化组译 出版社:科学出版社 ISBN:15031196。本书是介绍数字计算机设计自动化的综合性读物．全书共分七章．第一章概括地介绍了数字系统设计自动化的概念．其下各章分别论述了逻辑综合、逻辑模拟、逻辑分划、布局、布线和故障测试的产生等问题．这些问题在计算机的设计自动化里，都是非常重要
作业车间调度理论及其优化方法研究
《作业车间调度理论及其优化方法研究》,作者:王永明，尹红丽，秦开大著 出版社:科学出版社 ISBN:9787030373533。本书分析了作业车间调度的基本理论及关键问题，内容涉及禁忌搜索算法研究、作业车间调度与禁忌搜索算法、基于复合邻域结构的禁忌搜索算法、基于禁忌搜索的无等待作业车间调度、基于禁忌搜索的多约束作业车间调度等。
信息分析理论、方法与应用
《信息分析理论、方法与应用》,作者:夏立新等 编著 出版社:科学出版社 ISBN:9787030727039。本书针对信息分析应用性和实践性强的特点，系统地论述信息分析的基本概念、原理、方法等内容，包括信息分析的理论、方法和应用三部分。理论部分概述信息分析的基础概念、流程和建模；方法部分介绍信息分析定性方法、信息分析半定量方法、信息分析定量方法，具体包括逻辑思维方法、专家调查法、德尔菲法、回归分析
密码协议分析的逻辑方法
《密码协议分析的逻辑方法》,作者:雷新锋，薛锐著 出版社:科学出版社 ISBN:9787030370969。本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
色散介质时域有限差分方法
《色散介质时域有限差分方法》,作者:刘少斌，刘崧，洪伟著 出版社:科学出版社 ISBN:9787030283566。本书共分5章。第1章介绍色散介质的基本性质，第2章介绍时域有限差分方法的基本原理，第3-5章分别讨论了各向同性色散介质和各向异性色散介质的时域有限差分方法及其应用。
