UVM实战

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

《Java从入门到精通（第7版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细讲解了使用Java语言进行程序开发需要掌握的知识。全书分为4篇共24章，内容包括初识Java，开发工具（IDEA、Eclipse），Java语言基础，流程控制，数组，类和对象，继承、多态、抽象类与接口，包和内部类，异常处理，字符串，常用类库，集合类，枚举类型与泛型，lambda表达式与流处理，I/O（输入/

《腾讯游戏开发精粹Ⅲ》是腾讯游戏研发团队不断积累沉淀的技术结晶，是继2019年推出《腾讯游戏开发精粹I》和《《腾讯游戏开发精粹II》后的诚意续作。本书收录了21个在上线项目中得到验证的技术方案，深入介绍了腾讯公司在游戏开发领域的新研究成果和新技术进展，涉及人工智能、计算机图形、动画和物理、客户端架构和技术、服务端架构和技术及管线和工具等多个方向。本书适合游戏从业者、游戏相关专业师生及对游戏幕后技术

《PHP从入门到精通（第7版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用PHP进行网络开发需要掌握的各种技术。全书分为4篇共26章：基础知识篇包括初识PHP、PHP环境搭建和开发工具、PHP语言基础、流程控制语句、字符串操作、正则表达式、PHP数组、PHP与Web页面交互、PHP与JavaScript交互以及日期和时间；核心技术篇包括Cookie与Session、图形

全书共6章，第1章：介绍本书所使用到的主要工具和一些需要心里有数的预备知识；第2章：解析最简单、常用的基础语法，帮助读者适应本书的节奏；第3章：为进阶知识，会从CPU、操作系统的角度，深入分析函数的工作原理和实现细节；第4章：解析经典的C++语法，背后的实现逻辑，并介绍面向对象的编程思想及优缺点；第5章：讨论跟操作系统强相关的软件技术，会将所有章节的内容贯穿起来，初步形成一个现代操作系统的运作模型

《HTML5从入门到精通（第4版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详尽地讲解了与HTML5开发相关的知识。全书分为3篇，共22章，包括HTML简介、HTML5基础、设计网页文本内容、使用列表、超链接、使用图像、表格的应用、布局标签、全局属性、编辑表单、嵌入多媒体元素、文件操作、拖放操作、绘制图形、SVG的使用、数据存储、使用WebWorkers处理线程、HTML5消息通信

Arduino是一款便捷灵活、方便上手的开源电子原型平台。本书系统地讲解了Arduino系统的构成、ArduinoIDE的安装及使用，以及常用的两种Arduino控制器的使用，并通过机器人比赛案例，对具体项目进行了剖析，从任务要求到器材选择，再到整机组装、程序编写、程序调试，为读者对具体项目的操作应用起到一个抛砖引玉的作用。本书主要适合中小学生和对机器人感兴趣的初学者使用。

计算机视觉是在图像处理的基础上发展起来的新兴学科。OpenCV是一个开源的计算机视觉库，可以实现图像处理、模式识别、三维重建、物体跟踪等算法。本书基于Python，从图像基本原理说起，初步讲解计算机视觉所需的OpenCV知识。本书可作为信息处理、计算机、机器人、人工智能、遥感图像处理、认知神经科学等相关专业的教学用书，也可供相关领域的研究工作者参考。

本书是一本致力于Web开发技术的实战指南。本书紧跟行业的最新发展趋势，全面而深入地阐述了SpringBoot3和Vue3在企业级应用开发中的集成与应用。全书共分为8章，从SpringBoot3的基础入门到Vue3的高级应用，再到前后端通信、测试与部署，每一章的内容都经过精心设计，以确保读者能够掌握关键的技能。第8章特别提供了一个综合案例，展示如何综合运用全书知识来构建一套完整的应用系统