写给所有人的编程思维

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

本书是一本全面介绍C语言的技术性书籍，旨在帮助读者深入了解C语言的基础知识和高级特性，以及它在实际项目中的应用。全书共15章，首先通过清晰易懂的语言，深入浅出地解释了C语言的语法和编程原理，其次重点介绍了C语言的指针操作、内存管理、文件处理和模块化编程等关键概念。此外，本书还提供了主富的实例，帮助读者加深对C语言的理解，并通过实践锻炼读者解决实际问题的能力本书适合作为高等院校计算机科学及相关专业的

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

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

《FFmpeg开发实战：从零基础到短视频上线》是一本FFmpeg开发的实战教程，由浅入深，由基础到高级，带领读者一步一步走进音视频开发的神奇世界。全书共分为12章。其中，第1～5章是基础部分，主要讲解FFmpeg的环境搭建、FFmpeg的开发基础、FFmpeg的编解码、FFmpeg处理图像和FFmpeg处理音频；第6～10章是进阶部分，主要讲解FFmpeg加工视频、FFmpeg添加图文、FFmpe

全书将划分成二部分：第1—6章为第一部分，围绕JSP程序设计基础展开，包括JSP开发环境的搭建、JSP基本语法、JSP的内置对象、Java基本语法、JavaBean技术的应用等；第7—8章为第二部分，围绕实际项目展开，包括基于JSP+JavaBean+MySql技术框架的“天码行空企业网站”项目开发、基于JSP+Servlet+JavaBean+MySql技术框架的“孕婴服务中心网站”项目开发等。

《C语言从入门到精通（第6版）》从初学者的角度出发，以通俗易懂的语言、丰富多彩的实例，详细介绍了使用C语言进行程序开发需要掌握的各方面知识。全书分为4篇，共20章，内容包括C语言概述、算法、数据类型、运算符与表达式、数据输入/输出、选择结构、循环控制、数组、函数、指针、结构体和共用体、位运算、预处理、文件、内存管理、网络套接字编程、单词背记闯关游戏、学生信息管理系统、单片机基础和GSM短信控制家庭

本书系统地介绍了机器学习系统的设计原则和实践经验，侧重于介绍机器学习的原理、神经网络和优化器、自动差分算法、机器学习系统编程模型、控制流和数据流，异构硬件加速器的原理和编程、数据流图编译器前端、数据流图编译器后端、数据准备和增强、模型部署相关技术、分布式训练、弹性训练、联合训练和评估平台、调试和优化工具、数据隐私和安全等。在讲授的过程中，本书将根据MindSpore的自身特点，在各个章节突出讨论M

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