"本书以项目为主线，以任务为导向，较为详细地介绍Python程序开发所必需的基础知识。本书注重知识的层次性和技能培养的渐进性，合理安排各章节内容，全书共十个项目，每个项目包含若干任务，各个任务再细分成若干子任务。前八个项目是Python程序设计基础，包括开发环境的配置、Python语言的基本规范、分支和循环控制结构、四大典型的序列型结构、函数和模块的定义和使用、字符串和正则表达式的使用、Python操作文件和目录、异常和断言、Python面向对象的程序设计等；后两个项目主要介绍Python的GU

Python是近年来最流行的编程语言之一，深受编程人员的喜爱和追捧。本书以程序设计为主线，由浅入深、循序渐进地讲述Python语言的基本概念、基本语法和数据结构等基础知识。全书共12章，主要内容包括Python语言基础、顺序结构、分支结构、循环结构、字符串与正则表达式、复合数据类型、函数、面向对象程序设计、图形绘制、图形用户界面程序设计、文件操作和Python语言与大数据挖掘（包含访问数据库）。本书配有大量典型的实例，读者可以边学边练，巩固所学知识，并在实践中提升实际开发能力。本书既可作为普通高

本书全面介绍了深度元学习技术的知识，包括元学习、机器学习、深度学习及其技术平台和应用案例，给出了一套较为完备的深度元学习框架，并根据作者所在课题组的研究成果提出了一些具有启发性的元学习算法和思考方向。
全书共9章。第1章主要介绍元学习的基本概念、基本任务和基本类型；第2章系统介绍深度学习的概念、原理和应用，帮助读者逐步具备一定的深度学习实践能力；第3章介绍一种简单的元学习神经网络——孪生网络；第4章介绍原型网络及其各种变体；第5章介绍两种有趣单样本元学习算法——关系网络和匹配网络；第6章介

低代码技术广泛应用在企业信息化、移动应用开发、物联网、数字化营销等领域，通过可视化建模工具、模块化组件、自动化部署等功能，使开发人员可以通过简单的拖曳操作设计出相应的工作流程，并对流程进行控制，从而快速开发各种企业信息化系统。本书主要介绍低代码概念、低代码平台、低代码应用开发基础知识、低代码脚本、基于低代码平台的需求分析、可视化开发、一键部署、平台集成、应用生命周期管理等低代码应用开发技术内容，以及企业数字化应用、物联网系统应用、移动应用场景、软件工作台应用、数据大屏应用等实例开发。本书理论与实

本书结合项目实战案例和业界主流工具，从思想、技术、工具、案例等方面阐述了DevOps在传统规模化IT组织中实施落地的方法。

本书系统地介绍了区块链的基本理论与核心技术，以联盟链为切入点，着重介绍了Fabric项目的运行架构与智能合约的开发方法，并通过三个不同类型的实践项目进行了区块链应用的落地。

全书共分为三部分，第一部分（第1～4章）为区块链基础知识，主要介绍区块链技术的基本概念、原理、发展历史、应用场景及核心技术； 第二部分（第5～9章）为联盟链基础，主要介绍超级账本开源项目，聚焦于业界影响力比较大的超级账本Fabric项目，以Fabric体系架构为核心，延展出相关核心概念，同时介绍了项目开发与运行

本书关注和讲解的是MariaDB数据库的相关技术和应用。MariaDB是当前开源数据库中的一员，应用面非常广，技术不断得到更新，版本升级快，性能不断提升和优化。本书详细介绍了MariaDB在多操作系统中的安装、连接方式、用户管理、数据库和数据表操作、数据查询、索引、外键、函数、视图和触发器，以及数据备份与恢复等重要内容，简要介绍了通过几种常用编程语言连接和操作MariaDB数据库的方法。

本书内容丰富，基本覆盖MariaDB数据库各个方面的知识，包括用户管理（权限和角色管理等）、数

《UI设计技术与应用案例解析》以案例为指引，以理论做铺垫，全面系统地对UI设计的方法与技巧进行了讲解。书中用通俗易懂的语言、图文并茂的形式对Photoshop、Illustrator、MasterGo软件在UI设计中的应用进行了细致的剖析。 全书共8章，遵循由浅入深、从基础知识到案例进阶的学习原则，对UI设计的基础知识、图像处理相关知识、图形元素的设计技能、产品设计交互工具、组件与图标设计、App界面设计、网页界面设计以及软件界面设计等内容进行了逐一讲解。 《UI设计技术与应用案例解析》结

本书从加速业务增长的角度出发，关注数字化转型趋势下基于整个产品生态的用户体验设计，以产品生态为视角，以插画、行动手册为形式，描述了用户体验设计的方法、步骤、工具、技术与案例，旨在帮助组织在数字化转型中践行以用户为中心的理念，从而实现业务增长。

反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。

时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。

本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。

本书是国际著