热障涂层破坏理论与评价技术
《热障涂层破坏理论与评价技术》,作者:周益春,杨丽,朱旺 著 出版社:科学出版社 ISBN:9787030682802。热障涂层是先进航空发动机涡轮叶片等高温部件的关键热防护材料，涂层剥落是巨大的瓶颈，极其复杂的微结构、服役环境与失效行为，给涂层剥落分析的力学理论、实验方法与试验平台带来诸多挑战。本书围绕热力化耦合理论、性能表征与考核评估阐述了热障涂层破坏理论与评估技术。本书分为三篇，共15章。第
理论
高速铁路车网电气耦合理论
《高速铁路车网电气耦合理论》,作者:高仕斌,胡海涛 出版社:科学出版社 ISBN:9787030473745。本书通过对高速铁路“动车组—牵引网”系统的建模分析，系统地介绍了“动车组—牵引网”系统的电气耦合特性，揭示了谐波谐振、低频网压振荡的发生机理。全书共分9章，主要内容包括：外部电源系统等效与建模、牵引供电系统建模、动车组电气模型、动车组—牵引网联合仿真、动态潮流计算与电能质量评估、
城市规划理论与实践概论
《城市规划理论与实践概论》,作者:(德)G.阿尔伯斯(Gerd Albers)著；吴唯佳译 出版社:科学出版社 ISBN:7030080327。本书讨论了城市规划的专业技术，规划目标和价值标准及城市规划的展望。
有限自动机理论（第四版）
《有限自动机理论（第四版）》,作者:周益民等 编著 出版社:科学出版社 ISBN:9787030697967。形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书简述形式语言基本内容，包括文法的分类、构造方法和语言间运算的封闭性。系统地论述三类有限自动机——有限状态自动机、下推自动机和图灵机的基础理论。从文法产生语言和自动机识别语言的角度对语言进行讨论，介绍了文法与等价的自动机之间的转换
实用血液免疫学 : 血型理论和实验技术
《实用血液免疫学 : 血型理论和实验技术》,作者:李勇，马学严主编 出版社:科学出版社 ISBN:7030176596。全书共4篇31章，基础篇：输血相关免疫学基础，生物化学和分子生物学基础，遗传学基础和血型遗传，造血干细胞和血细胞的发生；血型篇：组织血型和器官血型，红细胞血型总论，血型系统等；血型应用篇：红细胞输血血型相容性试验，免疫溶血性输血反应等；实验技术篇：标本制备，实验质量保障等。
土木工程相似理论与模型试验
《土木工程相似理论与模型试验》,作者:杨兵 主编 出版社:科学出版社 ISBN:9787030701954。本书共9 章，主要介绍土木工程相似理论、相似材料和模型试验设计的基本概念、方法。本书内容包括相似定理、相似准则的导出方法、模型试验相似材料、边坡稳定性模型试验、桥梁静载模型试验、隧道衬砌变形模型试验、爆破开挖岩土体模型试验和海底管道稳定性模型试验等。为适应教学需要，本书适当增加了课后习题，以
应急准备体系规划与建设理论与方法
《应急准备体系规划与建设理论与方法》,作者:李湖生 出版社:科学出版社 ISBN:9787030496157。本书系统阐述了应急准备的基本概念、发展历程、思维方法、体系结构和以应急能力建设为核心的应急准备过程，重点研究了应急准备规划的理论学说、突发事件风险评估和情景构建的理论与方法、基于“情景任务能力”的应急准备规划工具、应急准备效果评估的理论与方法，深入剖析了美国应急准备体系的发展历程和经验教训
大宗面制品加工理论与实践
《大宗面制品加工理论与实践》,作者:胡新中,马蓁 著 出版社:科学出版社 ISBN:9787030677365。本书在对国内外大宗面制食品加工与贮藏中的科学问题和实践创新进行分析讨论的基础上，较为系统地论述了我国传统大宗面制食品（面条、馒头、擀面皮、锅盔、馕）、新兴面制食品（方便面、全谷物、冷冻面制食品）及国外大宗面制主食品（面包、意大利面、披萨、乌冬面、日本拉面）的加工技术和工艺创新，并对其存在
可证明安全理论及方法——密码算法
《可证明安全理论及方法——密码算法》,作者:袁征 主编 出版社:科学出版社 ISBN:9787030551603。本书比较系统全面地介绍了密码加密方案的可证明安全理论及证明技术。主要内容包括绪论、伪随机函数和伪随机置换、混合论证技术与陷门单向置换、密码学的计算问题与困难性假设、多项式安全和语义安全、抗非适应性选择密文攻击安全性、抗适应性选择密文攻击安全性、选择性开放攻击、密钥关联消息安全性、博弈证
