教材涵盖软件构造安全等新技术、供应链安全、智能化对软件安全影响等新问题、软件自动修复、类型安全语言等新进展。将正向逆向结合，突出逆向分析方法，从方法论上和漏洞机理的深度剖析上，引发学生深度思考，建立系统的软件安全观。针对漏洞分析、恶意代码检测等内容，沿着从理论分析、实验验证到技术实现的主线展开；围绕软件安全开发、软件全

岑可法院士长期从事能源高效清洁利用领域的教学和研究工作。本文集共分三篇，分别选录了岑可法院士自20世纪60年代以来在各学术期刊公开发表的论文、出版的著作及学术报告的代表性作品。内容涉及化石燃料的能源高效清洁利用、废弃物能源化处置新技术、生物质能利用技术、洁净煤燃烧高效裂解及气化技术、能源利用过程中多种污染物协同脱除技术

如何从数据中挖掘价值？一是要锻炼数据思维；二是需要选择一个便利快捷的工具。R语言在数据分析方面有着灵活、高效的优势。本书以R语言为基础，深度讲解从数据思维到实战的全过程。在章节组织上，本书从R语言简介及优势入手，再到数据读取、清洗、描述、建模等数据分析的各个环节，由浅入深逐个讲解，是一本实务分析中的“R语言指南”。同时

这本书从磨损的基本概念到不同种类耐磨材料的制备及其性能与应用进行了系统详细的介绍。首先通过对磨损基本概念和表征方法的深入讨论，帮助读者理解磨损现象及其影响因素；然后介绍了硬质相的本征性质以及界面特征的计算方法，通过对硬质相力学、物理和化学性质的详细讲解，可以有助于理解硬质相如何增强金属材料的硬度和耐磨性能；紧接着介绍了

作为国家重点研发计划“新型特种陶瓷材料制备关键技术”的突出成果之一，本书以基于机械合金化的SiBCN系非晶陶瓷为对象，在介绍SiBCN系非晶陶瓷制备方法、微观组织结构特征及力学、高温抗氧化性能基础上，从材料科学角度系统阐述了机械合金化的固态非晶化机理、等温析出SiC晶相动力学及高温热稳定性，高压烧结制备完全非晶态SiB

《药品包装》一书从药品包装的静态和动态两个层面，系统介绍了药品包装的基础知识，包括概念与功能、发展与法规、要求与设计、材料与标准、技术与设备等。教材共7章，第1章介绍药品包装的基本概念；第2章介绍药品包装设计的基本要求与基本内容；第3-5章介绍药品包装材料的相关内容；第6章介绍保证药品制剂质量的相关包装技术的概念与应用

《制药工程专业实验》是制药工程专业实践教学体系中的重要组成部分，主要涵盖了药物分析、药物化学、药物制剂、天然产物提取、中试实训等几大部分。在已有的多学科综合学习的基础上，针对制药工程的工科教育属性，强调CDIO（构思Conceive、设计Design、实现Implement和运作Operate）工程教育模式，推动学生的

《基于多尺度建模的绿色化工流程设计及动态控制》共九章，内容包括：绿色化工的基本概念、方法和新进展，多尺度模拟在绿色化工设计中的具体应用，煤化学链气化过程的分子动力学模拟及实验验证、流体力学参数优化、废水处理优化设计以及联合循环发电系统设计，基于萃取法的废水处理工艺设计，“以废治废”理念下的废水处理工艺设计，基于电渗析的

《机械产品数字化表达》以常用的机械产品数字化表达软件—AutoCAD和SOLIDWORKS的实践应用为主要内容，以任务驱动为主线，通过多个机械产品表达实例来组织教材内容。结合编者多年的工程实践和课堂教学经验，介绍了利用AutoCAD2022软件绘制符合国家标准的工程图的方法、流程和技巧，以及运用SOLIDWORKS20

《工业催化概论》共分为六章，首先对工业催化的发展历程进行了概述；然后，对催化的基础化学体系进行了介绍；随后，对酸碱催化及配位作用机制、多相催化及其化学基础、催化剂的制备及催化反应器和催化剂的表征进行了重点介绍。全书内容以工业催化中所涉及的重要理论探讨为主，以案例分析为辅。其目的是使读者能够通过本书的阅读和学习，由浅入深