分析
安全协议实施安全性自动化分析与验证
《安全协议实施安全性自动化分析与验证》,作者:孟博,王德军著 出版社:科学出版社 ISBN:9787030625069。《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
现代分析基础及其应用
《现代分析基础及其应用》,作者:张福保编著 出版社:科学出版社 ISBN:9787030393241。本书分“Banach空间微分学”、“拓扑方法”、“变分方法”三部分。分别介绍了Banach空间、隐函数定理、约束极值与近似极值、临界点定理应用等。
农业资源态势分析与优化配置
《农业资源态势分析与优化配置》,作者:鲁奇，任国柱主编 出版社:科学出版社 ISBN:7030104315。本书对我国农业资源态势演变的历史规律及未来趋势、农业资源配置现状与优化、农业生产布局现状与调整方案和影响我国农业资源态势、配置与布局的外部条件进行了较为透彻的分析。
功能化纳米材料在生化分析中的应用
《功能化纳米材料在生化分析中的应用》,作者:张书圣等 著 出版社:科学出版社 ISBN:9787030687975。本书为“低维材料与器件丛书”之一。全书涵盖了纳米材料在生化分析应用中的方方面面；较为系统而全面地介绍了纳米材料在生化分析中的基本原理、检测技术、研究方法等，结合最新研究进展，详细阐述了新型分析检测手段并介绍了纳米材料在肿瘤标志物检测、生物成像、诊疗一体化等领域中的应用。
爆破及其振动力学分析
《爆破及其振动力学分析》,作者:周家汉 著 出版社:科学出版社 ISBN:9787030685216。本书共8章，主要包括爆破基础知识、爆破机理研究、定向爆破，拆除爆破及塌落振动，轨道列车运行振动及对文物保护的影响等三个方面的内容，是作者多年从事爆破试验研究的成果和爆破工程设计、环境振动监测研究工作的总结。 本书第1、2章主要介绍爆破漏斗及与抛掷运动相关的爆破基础知识，
再生水利用安全性、经济性、适应性分析
《再生水利用安全性、经济性、适应性分析》,作者:水利部综合事业局非常规水源工程技术研究中心 出版社:科学出版社 ISBN:9787030515735。本书介绍了再生水利用技术，对混凝沉淀过滤工艺、生物处理工艺、膜处理等再生水处理工艺进行了比较分析，并通过案例分析处理效果，分析了确定再生水水质的关键指标及水质检测方法。研究了生产输配使用环节的再生水安全性问题，从再生水厂投资、再生水管网、区域特点等方
社会性别分析与林业培训手册. 分册2. 管理层培训框架
《社会性别分析与林业培训手册. 分册2. 管理层培训框架》,作者:联合国粮食及农业组织“亚洲森林､树木与人类”项目组著；云南参与性发展协会GAD小组改编 出版社:科学出版社 ISBN:703013463X。本手册是对林业地区领导层的培训，对明确当地妇女与男性参与林业活动的规划和实施的重要性及有效的措施和对策等进行阐述。
数学分析典型问题选讲
《数学分析典型问题选讲》,作者:刘海鸿等 出版社:科学出版社 ISBN:9787030492210。本书系统地汇集了数学分析各个部分的一些典型例题, 并对这些例题的解（证）题方法、思路进行了深入的分析和总结, 使读者能从例题分析中提高自己对课程内容的理解、分析和解决问题的能力. 每章都附有一定数量的习题,供读者学习时进行练习.
