Java程序设计教程与上机实验

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

《R语言数据分析从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了R语言基础知识、核心技术与高级应用。全书分为3篇，共16章，包括初识R语言、集成开发环境RStudio、R语言入门、数据结构、流程控制语句、日期和时间序列、获取数据、数据处理与清洗、数据计算与分组统计、基本绘图、ggplot2高级绘图、lattice高级绘图、基本统计分析、方差分析、回归分析和时间序列分析

《Python从入门到精通（第3版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用Python进行程序开发应该掌握的各方面技术。全书共分27章，包括初识Python、Python语言基础、运算符与表达式、流程控制语句、列表和元组、字典和集合、字符串、Python中使用正则表达式、函数、面向对象程序设计、模块、文件及目录操作、操作数据库、使用进程和线程、网络编程、异常处理及程

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

《SpringBoot从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细讲解了使用SpringBoot进行程序开发需要掌握的知识。全书分为18章，内容包括SpringBoot概述及其环境搭建，第一个SpringBoot程序，SpringBoot基础，配置SpringBoot项目，处理HTTP请求，过滤器、拦截器与监听器，Service层，日志的操作，JUnit单元

本书以Python3.10.7为平台，以实际应用为背景，通过概述+算法+经典应用的形式，深入浅出地介绍Python数据分析的相关知识。全书共9章，主要内容包括Python概述、科学计算库、开源科学集、数据分析利器、数据分析的可视化、基于回归的数据分析、基于分类的数据分析、基于聚类的数据分析、数据特征分析等。通过学习本书，读者可领略到Python的简单、易学、易读、易维护等特点，同时也可感受到利用

本书为深入理解学习Go语言必经之路中的重点知识领域，采用大量精美详细的图文介绍，文章讲解深入浅出，极大降低了理解Golang底层精髓的学习门槛。本书包含3篇：第一篇为深度理论篇（第1章~第4章），包含深入理解Golang中GPM模型、深入理解Golang垃圾回收GC三色标记与混合写屏障、深入理解Golang内存管理模型、网络IO复用模型等。第二篇为Golang实战中需要进阶的知识盲区介绍（第5章~

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

《R语言数据可视化：科技图表绘制》结合编者多年的数据分析与科研绘图经验精心编撰，旨在帮助读者利用R语言及ggplot2在内的多种可视化包绘制引人入胜的专业化图表。全书共11章，第1~3章主要讲解R语言的基础知识，包括对象与变量、数据结构、数据存取、传统及网格绘图系统的绘图函数及参数控制，尤其对ggplot2包进行了详细讲解。第4~11章结合R及其附加包的数据可视化功能，分别讲解类别比较数据、数值关