本书提出和论述了智能合约工程的概念、主要内容和技术体系，在介绍相关思想、理念，以及现有主要智能合约系统基本原理的基础上，主要论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。本书适合从事区块链和智能合约研究开发的科研人员参考，以及大学相关专业的本科生和研究生使用。

电商视觉营销是依托文字、图像、色彩等来吸引顾客关注，从而达到促进销售目的的一种营销方式。本书面向电商内容运营，针对电商图片处理，对其中涉及的视觉定位、数据分析、商品信息采集、图片规范、移动端的竖屏设计需求等进行阐述，详细说明电商图文内容的设计、编辑及优化，明确图文内容在当前内容电商形势下的重要性，让读者能够及时跟上电商图文内容的变化，提升商业转化。本书侧重案例分析与理论相结合；通过引用数据分析来指导图片设计；侧重移动端，兼顾桌面端；紧贴内容电商发展实际，本书可以作为电商类专业学生的专业教材，也适

本书基于ARM公司的Cortex-M3处理器的STM32微控制器，使用MDK-ARM开发软件和C语言，结合STM32固件库和STM32开发板，面向底层应用编程，介绍嵌入式系统的工作原理和应用技术，包括嵌入式系统设计基础、Cortex-M3处理器、Thumb指令集、STM32微控制器、STM32的GPIO、Cortex-M3异常和STM32中断、STM32的串行通信接口、STM32的DMA接口、STM32的定时器接口、STM32的模拟接口。 本书可以作为高等院校计算机、电子、通信及自动控制等专业"

本书较全面地介绍常见微电子器件的基本结构、特性、原理、进展和测量方法。为了便于读者自学和参考，首先介绍微电子器件涉及的半导体晶体结构、电子状态、载流子统计分布和运动等基础知识；然后，重点阐述半导体器件中的结与电容等核心单元的特性和机理；之后，详细介绍双极型晶体管、MOS场效应晶体管的基本工作原理、特性和电学参数；在对经典半导体器件基础结构、工作机理和电学特性进行详细阐述后，综述近年来基于硅和新材料的代表性器件；最后，概述半导体器件的表征与测量方法。本书提供配套的电子课件PPT、习题参考答案等。本

本书共8章，第1章主要介绍我国信息技术课程的发展历程，第2章对英、日、韩、芬四国的信息技术课程进行介绍，第3章和第4章分别阐释了我国当前信息技术课程的目标体系和内容构成，第5章至第8章主要介绍信息技术课程的教学设计、学业评价、教师专业发展和数字化教学工具等关键要素，并对优秀教学实践案例进行分析。本书可作为高校教育技术学、计算机科学与技术（师范类）等专业本科生、研究生的教材，也可供中小学信息技术教师学习、参考。

本书详细介绍了强化学习的理论推导、算法细节。全书共12章，包括强化学习概述、马尔可夫决策过程、退化的强化学习问题、环境已知的强化学习问题、基于价值的强化学习算法、基于策略的强化学习算法、AC型算法、基于模型的强化学习算法等相关知识。本书系统性强、概念清晰，内容简明通俗。除了侧重于理论推导，本书还提供了许多便于读者理解的例子，以及大量被实践证明有效的算法技巧，旨在帮助读者进一步了解强化学习领域的相关知识，提升其现实中的工程能力。本书可作为高等院校数学、计算机、人工智能等相关专业的强化学习教材，但需

本书是以工程实践项目为导向的"新工科”C语言教材，采用案例模式，全面、细致地介绍了C语言的语法知识和简单应用。全书分为7章，以"成绩管理系统”实践项目为主线，主要内容包括C语言与软件工程概述、成绩管理系统项目综述、成绩处理子系统实现、查询统计子系统实现、后台管理子系统实现、查询统计子系统动态实现和文件管理子系统实现等。 本书在设计上针对的是计算机语言初学者，内容浅显易懂，实例丰富。本书既可作为高等院校计算机科学与技术相关专业C语言的教材或辅导用书，也可供计算机语言爱好者或其他专业的学生使用。

为了助力即将参加职教高考的考生们筑牢基础、深化知识理解、提升应试技巧，我们精心组织编写了这套"职教高考复习指导丛书”。这套丛书专为参加职教高考的考生第一轮复习量身打造，内容全面、系统，紧扣最新的考试标准。 本书作为本套职教高考复习指导丛书之一，本书在章节编排上既科学又合理，紧密围绕最新的考试标准展开，本书旨在帮助考生全面夯实基础知识、精准把握考试动态、提升解题能力，进而在实际的考试中发挥出更高的水平。

本书系统地介绍了计算机网络的基础知识和实用技术，包括计算机网络概述、数据通信基础、计算机网络体系结构、局域网技术、网络管理与安全、交换与路由技术和综合实训。本书结合新知识、新技术、新方法，体现科学性、实用性，正确处理了理论知识和技能实践的关系，注重培养学生的分析能力、应用能力和自学能力。本书内容丰富、结构清晰，既可作为中等职业学校计算机应用专业的课程教材，也可供广大计算机爱好者参考使用。

本书以当前流行MATLAB R2021a为平台，比较系统地介绍MATLAB环境、MATLAB数值计算、MATLAB符号计算、MATLAB计算的可视化和GUI设计、MATLAB程序设计、线性控制系统分析与设计、Simulink仿真环境等。本书内容主要分为实用教程、习题、实训、附录和网络文档等，各部分深入浅出，相互配合，层次清晰。实用教程部分先讲解基础知识，后开展实例操作；习题部分系统练习基本内容；实训部分先引导操作，后展开思考练习；附录部分包括程序的调试、Publish发布、曲线拟合与插值，网络文