形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。本书共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编程模式）。本书涵盖神威、曙光等超算的硬件架构与编程方法，深度结合国产超算体系结构特点，以实例的形式探讨异构超算上的高性能算法设计、优化技术及高性能软件的开发和优化方法。本书可作为高等院校计算机科学与技术、软件工程等专业本科生或研究生的教材，使其在掌握通用计算机程序设计的基础上，进一步提升在该领域的理论知识水平和程序优化实践技能，也可作为从事高性能计算和体系结构研究的科研工作者与工程技术人员的参考资料，同时也能为关注高性能计算与超算技术发展的读者提供有益参考。

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

本教材针对高等职业教育法律类专业人才培养目标和学生的学习需求，共设计有十个学习项目，分别为初步了解经济法、反不正当竞争、反垄断、产品质量保障、消费者权益保护、土地管理、城市房地产管理、税收与管理、银行监督管理、价格法律制度。每个教学项目内设置学习目标、任务描述、任务准备、参考法律规定、任务实施（包含难度不同的多个学习任务）、项目评价、相关知识点总结、项目小结、项目考核等栏目，并有数字资源的嵌入。本书作为实用教材，以模块化项目设置，对经济法所涉的理论知识进行了讲明。以近期新法律法规为依据，注重吸收国内外研究成果，突出重点难点，旨在培养学生分析问题及解决问题的能力。

本书为高校教材，是根据高职高专《高等数学课程教学基本要求》，由河南牧业经济学院组织编写的“高职高专示范院校规划教材”。 全书共十章，分上、下册，本书为上册，主要内容有函数极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用，书末还附有初等数学公式、高等数学公式、历年专升本试题、习题答案与提示、参考文献。 本书尽力把高等数学教学改革精神体现在教材中，注重数学课程对学生的素质与能力的培养。书中加强对数学概念与理论从实际问题的引入和从几何与数值方面的分析，并增加了应用实例和习题；结合学生专升本的需要，增加了历年试题；注意“简易性”，尽量做到通俗易懂，由浅入深；适当融入课程思政，富于启发，便于自学。 本书可以作为高等专科教育、高等职业教育、成人教育以及其他本科学时较少的工科类、经济类专业的高等数学课程教材。也可作为教师及技术人员用书或参考书。