本书是“现代电力系统丛书”之一，丛书由著名电力系统专家卢强院士策划并领导相关学者撰写，截至目前该系列丛书已出版十本，丛书在提高我国电力系统学术水平和高层次人才培养方面具有重要作用。本书主要介绍了现场应用较多的继电保护新技术，如高压线路光纤电流差动保护、工频变化量距离保护等； 同时在本科电力系统继电保护原理基础上增加了直流保护、行波保护、系统保护等内容，以期扩大继电保护学科范畴和研究人员的视野。

本书基于Web标准和响应式Web设计思想，深入浅出地介绍Web前端技术的基础知识，涵盖 HTML5、CSS3和ES6的最新内容。全书以实战驱动知识点，以案例贯穿实战，内容翔实，结构合理，语言精练，表达简明，实用性强，易于自学。 全书共分23章。第1章介绍Web技术的基本概念、Web体系结构、超文本与标记语言、Web标准的组成和常用浏览器； 第2~7章重点介绍Web标准的结构标准HTML5常用的元素标签及应用； 第8~13章介绍Web标准的表现标准CSS3常用的属性及应用； 第14章介绍网站制作流程与发布过程； 第15~23章介绍Web标准的行为标准ECMAScript6、DOM和BOM的基础知识及应用。 本书可作为高等院校计算机及相关专业的教材，也可作为相关培训机构的培训教材以及对Web前端技术感兴趣 的读者的参考书。

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型； 中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用； 下篇（第8～12章）为形式验证篇，着重介绍定理证明方法和并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例，每章后均附有习题。本书适合作为高等院校计算机、软件工程、人工智能、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材，同时可供相关领域的研究人员和技术开发人员参考。

食品粉末是食品加工中一个越来越重要的方面，易于储存、运输和使用的便利性使食品行业极大受益，进一步加速了加工技术的进步。食品粉末可以比其他食品存储更长一段时间，使其可以供应许多地区。目前有很多关于食品粉末特征的研究，但没有这个领域的、更新的全面审查。食品粉末性质和特征是食品工业和学术界研究的重要参考。《食品粉末性质和表征》一书重点介绍了食品粉末的一般性质，描述了粒子和大部分属性特征以及附着力和表面性质，全面展现了这个具有挑战性的重要领域。

《信息产品设计概论》一书从工业设计、产品设计专业的角度来进行信息产品设计的方法、工具、程序的内容编写。理论部分会大量结合当下热门的医养健康、高端装备、智能海洋、现代高效农业等方向的信息产品设计进行案例阐述，以期用朴实、易懂的文字将信息产品设计的内容讲透。是专为艺术类院校内授予工学学位的工业设计专业而写的教材，部份内容也适用于艺术类院校内授予文学学位的产品设计专业。

19世纪俄罗斯不仅是俄国文学的高峰，也是世界文学的高峰之一。这一时期的俄国文学出现了感伤主义、浪漫主义、现实主义、民粹主义、唯美主义、象征主义等众多文学流派，并出现了以普希金为代表的众多一流作家，可谓流派迭出，群星璀璨。本书有点有面，文学与文化结合，既结合社会文化历史总体勾勒了19世纪俄罗斯文学的发展变化，又精选了茹科夫斯基、普希金、莱蒙托夫、丘特切夫、果戈理、阿克萨科夫、柯尔卓夫、屠格涅夫、费特、陀思妥耶夫斯基、奥斯特洛夫斯基、托尔斯泰、契诃夫等13位文学成就卓著的重要作家，对其创作经历、代表作品及创作特色进行详述，全面而具体地呈现了19世纪俄罗斯文学的总体面貌与辉煌成就。

本书系统地讲解了如何利用C#开发智能制造工程，以具体项目为载体，重在实战，讲解如何搭建智能制造系统的C#软件架构及如何开发出优秀的C#代码。本书分为3部分：基础篇、进阶篇和实战篇。基础篇首先讲解了智能制造的基本概念及其相关的软/硬件环境，然后对智能制造的开发软件C#的基础知识进行了详细的讲解；进阶篇对C#的高级特性和设计模式进行了详细的讲解；实战篇引入了运动控制器，针对智能制造的几个热点应用领域――自动化领域、物联网领域、机器视觉领域进行了详细的讲解，并依托具体的项目讲解如何利用C#搭建智能制造系统的软件架构。本书可作为高等院校智能制造、机械工程和自动化类专业的教材，也可作为智能制造、自动化等相关领域的科技工作者、技术人员、软件开发人员的实战指导书。

全书共10章：第1～4章分别阐述了直流电路的基本概念、等效变换、定理和分析方法；第5章主要阐述了基于相量法的正弦电流电路分析方法；第6章首先介绍三相去耦电路，由此引申出三相耦合电路以及负载星-三角连接时的电路计算方法；第7章通过将非正弦周期量傅里叶分解为正弦量，把非正弦电流电路的求解转化为正弦电流电路的求解；第8 章依次讲述了一阶和二阶电路的瞬态响应；第9章主要介绍了二端口网络参数的定义及相互转换；第10章结合二极管和三极管的工作状态阐述了非线性电路的计算方法。 本书可供江苏师范大学圣理工-中俄学院轨道交通信号与控制、电子信息工程、电子科学与技术专业的学生使用，同时也适用于其他中俄合作办学院校相关专业的教学。

本书面向国产E级超算的体系结构和高性能计算领域，关注近年来出现的新超算硬件和新软件技术（如神威E级超算编程模式、DCU编程模式）。本书涵盖神威、曙光等超算的硬件架构与编程方法，深度结合国产超算体系结构特点，以实例的形式探讨异构超算上的高性能算法设计、优化技术及高性能软件的开发和优化方法。本书可作为高等院校计算机科学与技术、软件工程等专业本科生或研究生的教材，使其在掌握通用计算机程序设计的基础上，进一步提升在该领域的理论知识水平和程序优化实践技能，也可作为从事高性能计算和体系结构研究的科研工作者与工程技术人员的参考资料，同时也能为关注高性能计算与超算技术发展的读者提供有益参考。

本教材为河南省本科高等学校“十四五”规划教材，根据《青少年法治教育大纲》关于高等教育阶段法治教育的要求，以全面依法治国为主线，从法律的基本概念和原理入手，系统阐释中国特色社会主义法治道路，全面介绍以宪法为核心的中国特色社会主义法律体系，着重介绍中国特色社会主义法律体系最基本的知识点，并增加国际法和中国传统法律文化的内容，旨在增强新时代大学生的综合法律素养。本教材在借鉴传统教材基本内容的同时，努力把法律实践中出现的新问题和近年来法学研究的新成果介绍给读者，语言力求朴实明朗，确保具有不同专业知识背景的学生都能读懂。