例说FPGA：可直接用于工程项目的第一手经验

基于当前Web3世界的快速发展，零知识证明在落地应用方面取得了快速进展。本书从技术原理和相关具体工程实现的角度对其进行介绍。本书第1章从总体上回顾了Web3的发展，以及当前的表现形态，第2章和第3章从最简洁的数学层面向读者介绍了零知识证明是什么，以及如何构建零知识证明。第4章从技术层面介绍了Web3世界中零知识证明的主流实现方案，第5章从应用层面介绍了零知识证明在Web3世界中的一些典型

本书主要介绍了如何构建、管理和运行容器，解释如何将人们在Docker中学到的技能轻松地转移到Podman上，以及如果你以前从未使用过容器引擎，你该如何轻松地学习使用Podman。本书还教你使用像pod这样的高级功能，并指导你构建准备在Kubernetes边缘或内部运行的应用程序。最后，本书解释了Linux内核中用于将容器与系统和其他容器进行隔离的所有安全功能。本书适用于希望了解、开发和使用容器的软

本书是一本C#10的技术指南，在上一版的基础上进行了全面更新，围绕概念和用例进行组织，系统、全面、细致地讲解了C#10从基础知识到各种高级特性的命令、语法和用法。本书首先介绍C#和.NET，第2—4章详细介绍C#语言的语法、类型和变量。其余各章则涵盖.NET6基础类库的功能，包括LINQ、XML、集合、并发、I/O和联网、内存管理、反射、动态编程、属性、加密和原生互操作性等主题。第5章和第6

本书以实用的设计模式为例，讲解了Java近年来在改善语法方面取得的进展，同时在实现这些模式的过程中展示了语言特性、设计模式与平台效率之间的关系。本书涵盖23种传统的设计模式、11种较为常见的模式，以及8种适用于多线程环境的并发模式。另外，本书还简要介绍了15种反模式。作者讲解这些模式的时候不仅给出了简洁、直观的范例代码，而且还利用UML类图与JFR工具展示了运用该模式的程序所具备的架构及运行细节，

本书基于Python语言介绍自动化测试的基本概念和技术，旨在帮助读者了解和掌握自动化测试的实现方法。本书覆盖Python基本语法、自动化测试框架、测试用例的设计方法、集成测试的自动化等重要知识，并通过实际案例演示如何使用Python编写自动化测试脚本。本书适合测试人员和开发人员阅读。

随着数据存储、数据处理等大数据技术的快速发展，数据科学在各行各业得到广泛的应用。数据清洗、特征工程、数据可视化、数据挖掘与建模等已成为高校师生和职场人士迎接数字化浪潮、与时俱进提升专业技能的必修课程。本书将Python课程学习与数据科学应用有机结合，为数字化人才的培养助力。全书共分13章，内容包括：第1章数据科学应用概述；第2章Python的入门基础知识；第3章数据清洗；第4~6章特征工程介绍，包

本书以Intel80x86处理器和个人计算机为硬件平台，基于Windows操作系统软件平台，借助MASM和NASM汇编程序讲解32位汇编语言程序设计。本书内容包括基本的汇编语言基础、常用处理器指令和汇编语言伪指令以及基本程序结构，还包括扩展的Windows和DOS编程、与C++语言的混合编程、输入/输出指令及编程，并涉及浮点、多媒体及64位指令等。本书可以作为普通高校“汇编语言程序设计”等课程的

本书涵盖了SpringCloudAlibaba框架的八大核心技术主题，分别是注册中心、远程调用、负载均衡、配置中心、服务网关、消息通信、分布式事务和服务可用性。并且，通过一个系统性的项目案例，讲解企业级微服务系统开发的工程实践。其间提供大量的设计图例和示例代码，更提供配套的视频教程。对于每个主题，书中采用“技术概念和特性→框架使用方法→项目案例实战→核心原理和源码剖析”的方式讲解，使读者递进式

《企业微信开发详解》从零基础开始，详细地讲解了企业微信开发相关的知识点。本书重点介绍了企业微信的三大核心开发方式——回调开发方式、主动开发方式和网页开发方式，每种开发方式都从基础知识、架构设计建议、开发案例3个方面进行讲解。同时，针对企业微信开发的重要技术接口，给出了示例程序和执行结果，以方便读者清晰、明了地学习。读者可以按各技术点的讲解顺序学习，也可以根据个人需要有针对性地学习。