简单高效LATEX

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

全书分为3篇。第1篇介绍编译器基础知识，包括中间表示，重点介绍SSA、数据流分析、支配、循环等知识，此外还介绍了LLVM的后端描述语言TableGen。第二篇剖析分LLVM代码生成，其中对代码生成的每一步骤都有提及，着重介绍指令选择、指令调度、寄存器分配和编译优化。同时还以BPF后端为例总结了如何基于LLVM开发一款新后端的编译器。第三篇附录主要总结了LLVM代码生成过程中使用的IR、BPF指令集

《小学生Python创意编程：视频教学版》语言风趣幽默，讲解细致入微，案例生动有趣，能够让小朋友轻松愉悦地学习Python编程。《小学生Python创意编程：视频教学版》共分14章，以图解的形式介绍变量、条件判断、循环、列表、函数、类与对象、模块、文件、注释、异常与调试等基础知识，简单明了，易于理解；穿插许多小朋友感兴趣的项目案例，如输出爱心、绘制五角星、诗词接龙、探索运算、侦测破案、商品管理系统

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

本书在《C语言程序设计案例式教程》的基础上进行了完善、补充和修订，内容更加丰富、翔实，结构层次更加清晰、合理。本书共11章，第1章主要介绍C语言概述、C语言开发环境的搭建和C语言程序的编译机制等；第2章和第3章主要介绍C语言的基础知识，包括关键字、标识符、常量、变量、数据类型、类型转换、运算符与表达式等；第4～9章主要介绍C语言的核心知识，包括结构化程序设计、数组、函数、指针、字符串、结构体等；第

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

《C#从入门到精通（第7版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用C#进行Windows应用程序开发方方面面的技术。全书分为4篇，共25章，包括初识C#及其开发环境、C#程序基本结构、变量与常量、表达式与运算符、字符与字符串、流程控制语句、数组和集合、面向对象编程、Windows窗体应用程序设计、Windows窗体应用程序常用控件、Windows窗体应用程序高级控件

本书涵盖深度学习的专业基础理论知识，包括深度学习概述、机器学习基础、神经网络基础、卷积神经网络、循环神经网络、正则化与深度学习优化，以及比较流行的应用场景实践。本书共11章外加3个附录，系统讲解深度学习的基础知识与领域应用实践。本书内容包括深度学习概述、机器学习基础、神经网络基础、卷积神经网络和循环神经网络、正则化与深度学习优化、计算机视觉应用、目标检测应用、文本分析应用、深度强化学习应用、Ten

本书讲述了如何从Java过渡到Kotlin，主要关注代码，每章都阐述了从Java过渡到Kotlin的一个方面，考察了典型Java项目在这个过程中可以改进的方面。比如，从Optional到nullable，从Bean到值，从开放类到密封类。每章首先解释关键概念，然后展示如何在保持互操作性的前提下，逐步且安全地将生产型Java代码重构为惯用的Kotlin代码，由此产生的代码更简单、更有表现力，也更容易