进程代数 : 对称与动作细化
《进程代数 : 对称与动作细化》,作者:王永祥，吴尽昭，蒋建民著 出版社:科学出版社 ISBN:9787030188656。本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。
细化
气泡微细化及原位脱硫技术
《气泡微细化及原位脱硫技术》,作者:刘燕，张廷安，赫翼成等著 出版社:科学出版社 ISBN:9787030363718。本书在综合铁水炉外颗粒镁脱硫和KR脱硫技术的基础上，提出原位法机械搅拌脱硫的新思路，即以MgO镁基脱硫剂取代颗粒镁，在铁水中原位生成金属镁蒸气，靠惰性载气喷吹带入铁水熔池并在机械搅拌的作用下细化和分散镁蒸气气泡，从而达到提高镁脱硫效率的目的。本书围绕这一思路，系统阐述气泡的微细化
肿瘤微创治疗细化护理
《肿瘤微创治疗细化护理》,作者:盖绿华,杨武威 主编 出版社:科学出版社 ISBN:9787030536013。 本书以问答的形式介绍了肿瘤的微创治疗（包括超声消融术、氩氦刀、放射介入治疗、放射性粒子治疗、射频消融和微波消融治疗）的概念、适应证、禁忌证，针对护士在进行微创治疗围术期中可能遇到的护理问题，提供科学有效、切实可行的护理方法，避免不良反应的发生，提高微创治疗的安全性、有效性。
金属凝固组织细化技术基础
《金属凝固组织细化技术基础》,作者:翟启杰等 著 出版社:科学出版社 ISBN:9787030580863。本书在介绍金属凝固基本理论的基础上，着重介绍了金属凝固组织细化技术，包括低过热度低温度梯度凝固细晶技术、温度扰动与成分扰动凝固细晶技术、脉冲电流凝固细晶技术、脉冲磁场凝固细晶技术、超声波凝固细晶技术和脉冲磁致振荡凝固细晶技术。
