国际大学生程序设计竞赛例题解（八）

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

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

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

本书提供了关于适应度函数、自动化架构治理和演进式数据的技术、知识和技巧。本书分为三个部分：第一部分包括定义演进式架构机制的章节——介绍团队如何使用技术和工具来构建适应度函数、部署管道以及其他管理和演进软件项目的机制；第二部分包括围绕耦合、复用和其他相关结构考虑因素的架构风格和设计原则，以帮助读者实现清晰的长期演进；第三部分探讨了第一部分中介绍的工程实践与第二部分中的结构考虑因素的交叉点。

《智能合约安全入门》从环境介绍，Solidity、web3基础和漏洞原理及利用方面，详细地介绍智能合约相关漏洞知识。其中，第一部分介绍了RemixIDE、Metamask以及geth等环境的安装和使用方法；第二部分介绍了solidity语言的基础知识与基本语法，以及web3的使用方法；第三部分重点讲解了智能合约常见漏洞的基本原理及其攻击方式，同时还增加了Ethernaut通关游戏的部分内容，以此

本书全面、系统地介绍移动UI设计的相关知识，具体包括初识移动UI设计、移动UI设计规范、iOS系统界面设计、Android系统界面设计和App界面设计实战等内容。本书以课堂案例为主线，通过案例操作，学生能够尽快熟悉移动UI设计的思路与流程。书中的知识讲解部分用于帮助学生了解移动UI设计的各类规范；课堂练习和课后习题部分用于提高学生的实际应用能力，拓宽学生的设计思路；设计实战部分用于帮助学生综合运用

本书以Python为开发环境，以小游戏开发为载体，对编程及人工智能技术进行讲解，让读者同时学习编程及人工智能知识。本书共16章，可分为4个部分。第1部分为第1～3章，分别是编程、游戏和AI，Python环境准备及Pygame基础知识。第2部分为第4～7章，分别讲解了贪吃蛇游戏编程、打砖块游戏编程、笨鸟先飞游戏编程和五子棋游戏编程。第3部分为第8～12章，分别介绍了神经网络和PyTorch基础、蒙特

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

本书全面介绍TensorFlow2.x框架及其在深度学习中的应用，内容包括TensorFlow简介、Python语言基础、环境搭建与入门、TensorBoard可视化、多层感知机实现、卷积神经网络实现、循环神经网络实现、强化学习、迁移学习、生成对抗网络和GPU并行计算等。