随着数字化、网络化、智能化时代的到来，社会产业的创新逻辑迎来了重要变革，以互联网、大数据、人工智能为基础的科技革命带动了全球价值链和国际分工的变化。本书充分顺应产业需要和时代需求，将人工智能与创新设计相结合，系统地研究了创新设计活动的发展历程、创新设计模式的演变与迭代，梳理了群智创新设计的概念与内涵，构建了群智创新设计理论与方法体系，建立了群智创新设计新范式，讲好中国故事，宣扬中国设计，为国内人工智能、创新设计和设计学科的交叉融合发展提供新的思路和借鉴。

本书依托华为软件开发云，从软件全栈工程师的视角引入了DevOps实践所需要的技术，重点讲解系统规划、需求分析、敏捷管理、配置管理、代码检查、编译构建、自动测试、部署发布、流水线等内容，全面且系统地阐述了信息系统建设的基本理论和方法。 全书采用“基础知识→核心应用→综合案例→企业实践”的结构和“由浅入深，由深到精”的模式进行讲解，使学习者能够达到中级软件架构师的水准。通过书中实践，学习者能够体验到真实的企业生产环境，掌握产品经理与项目经理应具备的技能知识点，以及具备云服务开发的基本能力。本书配有Mooc资源，可供教学和自学使用。 本书可作为高等学校软件工程等专业相关课程的教材，也可供软件开发人员作为学习参考。

本书主要讲解计算机视觉的几何基础（核心数学基础），包括图像处理与模式识别的几何视角、三维射影几何学、摄像机模型、摄像机标定、立体视觉、三维视觉重构等。本书提供了具体且有趣的案例，并配有方便读者实践、颇具实用性的原创展示代码，让读者从实际问题与实践中学习计算机视觉几何基础。本书可作为理工科学生的计算机视觉、深度学习等相关课程教学用书，也可作为科研用书供从事视觉智能感知相关工作的科技人员、工程师阅读参考。

本书内容基本覆盖计算机视觉的主要方面，除绪论外，共 10 章，分别介绍 10 类 3D 计算机视觉技术：摄像机成像和标定、深度图像采集、3D 点云数据采集及加工、双目立体视觉、多目立体视觉、单目多图像场景恢复、单目单图像场景恢复、广义匹配、同时定位和制图，以及时空行为理解。本书侧重介绍计算机视觉的基本原理及近期进展。在 2~11 章中，每章都先描述相应技术的基本概念和基础原理，对实现该技术的典型方法进行详细分析（包括算法描述、具体步骤、效果示例等），然后介绍该技术领域的最新进展，归纳其特点并分类，以期帮助读者了解一些最新的发展趋势。

《新手学电脑9合1办公应用一本通》是针对电脑初学者的快速入门指南，并不局限于使用简单文字进行引导，还包含与每步操作对应的实际界面截图，力求做到使读者可以快速上手，轻松理解电脑常用工具的使用思路与操作方法。内容分为九章，分别从电脑初识、拼音五笔打字入门、Microsoft Office办公三件套的常用操作、Photoshop软件的基本应用，以及通过AI技术辅助办公、写作和绘画的进阶操作等方面展开，带领电脑初学者快速掌握常用工具的使用方法，并借助AI工具玩转进阶操作。

本书定位于计算机通识教育，以培养学生计算思维，提高学生科学修养、信息素养和计算机应用能力为教学目标，为各学科与计算学科的交叉融合提供计算学科基础知识。本书以“领域问题+计算”计算思维培养模式为主线，共分为七章，分别是：绪论，介绍知识、学习、认知、思维和逻辑等跨学科范畴的通识性知识，阐明计算科学在科学研究和知识创新中的重要性；计算与计算机，讲解现代电子计算机的发明、数据进制、字符编码、计算机硬件组成、计算机操作系统；问题求解与算法，从方法论的视角介绍问题及问题求解策略与基本过程，算法及复杂性，以及常见的问题求解算法；数据与数据结构，讲解数据结构的概念，数据结构在软件编程中的重要性，讲解线性表、树和图结构的逻辑结构、物理存储结构及常用操作算法；计算机程序，讲解计算机程序的概念，编程思想，以及软件开发的基本过程，并以C/C++语言为例，讲解程序设计语言的基本构成及面向对象技术；计算机网络，介绍计算机网络的概念、起源和发展历程，讲解OSI网络分层思想，网络协议的智慧；讲解信息安全的概念、目标和主要安全威胁，讲解数据加密模型及密码体制；计算科学前沿，介绍计算领域的学术和技术前沿及发展趋势。本书可作为普通高等学校非计算机专业“大学计算机”课程的教材，也可作为计算机爱好者的自学用书。

本书是“新一代人工智能系列教材”之一，全面、详细地介绍数据科学的基本问题、前沿技术及应用系统。 本书共分为11章。第1章概述数据科学，介绍数据科学的现有技术与工具；第2章介绍数据治理，包括实体对齐、数据融合和数据清洗；第3章介绍数据定价，包括数据定价机制和模型定价机制；第4章至第7章介绍面向不同数据类型（地理空间数据、度量空间数据、缺失数据和图数据）的管理技术，数据管理旨在根据不同的数据特征，进行建模、存储、索引和查询，服务上层应用；第8章介绍数据查询结果可用性分析技术，旨在通过可用性分析提供用户与查询之间的交互，提升查询结果质量；第9章和第10章介绍数据库技术和人工智能技术的融合，包括数据库支持的AI（DB4AI）技术和AI赋能的数据库（AI4DB）技术，旨在通过两者的融合实现大数据智能，以高效智能地处理大数据；第11章介绍当前新型数据库管理系统。 本书适合作为高等学校人工智能、大数据等专业本科生、研究生的教材或教学参考书，也可供相关领域的科研人员、工程技术人员和管理人员参考阅读。

本书的主要内容是基于作者在密码函数研究领域所发表的学术论文撰写而成的，主要介绍了在单输出密码函数、多输出密码函数以及密码函数的应用等三个方面的原创性研究成果。本书的第1章介绍了与密码函数相关的基础知识；第2章和第3章侧重介绍具有优良密码学性质的单输出和多输出布尔函数的构造，提出一系列新型密码函数构造方法；第4章探索了多输出密码函数在正交序列集设计及真随机数生成器的校正器设计等方面的应用。各章后的评注部分是对每章内容的扩展。各章后配有习题，供读者进一步思考和研究。

本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到2022年主流零知识证明算法的分类。从最基础的加密学原理讲起，本书阐述了不同计算复杂性模型下的简洁交互式论证构建，并详细描述了通用程序和可满足性电路之间的转换，通过多项式承诺方案实现简洁论证以及多项式承诺方案的多种实现。第1章到第3章介绍基础概念以及阐述交互式证明依赖强大的随机性。 第4章、第8章、第9章、第10章、第17章，从计算复杂性模型角度（IP/MIP/PCP/IOP），阐述了 交互式论证系统构建的不同方法和性能。MIP=PCP，并且多项式IOP统一了IP、MIP以及IOP。第5章介绍了Fiat-Shamir算法，将任意公开掷币交互式论证转化为非交互式论证。第6章介绍如 何将通用的图灵程序转化为电路，并解释了算术电路实例转化为可满足性电路实例的原因。第7章 引入多项式承诺方案以及低次测试，实现简洁交互式论证的雏形。第11章、第13章介绍零知识的定义以及零知识实现的两种方式：承诺-证明以及掩码多项式。第12章、第14章、第15章、第16章介绍承诺方案，并总结了多项式承诺方案的三种方式：基 于IOP（第10章），基于离散对数难问题以及基于配对。第18章介绍了SNARK的组合和递归。第19章是对本书中讲述的所有零知识证明算法的分类总结。

"《微前端之道：从理论到实践：视频教学版》是一本深入浅出、以实战为导向的微前端入门图书，专为渴望在大型项目中灵活运用微前端技术的初中级开发者量身打造。书中结合理论阐述与丰富实例，系统介绍微前端的概念、起源、核心功能及其在现代Web开发中的重要性，详细拆解多种实现方案，手把手引导读者从理论到实践的跨越。 书中80%的内容为实战演练，涵盖从基础概念到高级部署优化的全过程，确保读者在动手操作中扎实掌握微前端的核心技术。特别注重解决微前端实际应用中的痛点，如性能瓶颈、跨框架集成和部署策略，为读者提供了一套全面而实用的解决方案。 《微前端之道：从理论到实践：视频教学版》以清晰的逻辑结构、通俗易懂的语言风格以及丰富的实战案例，为读者探索微前端领域引路。无论你是希望提升现有项目架构效率的开发者，还是对未来技术趋势充满好奇的求知者，本书都能助你快速入门，并在运用微前端技术的道路上越走越远，实现技术的飞跃与突破。"