Java 8函数式编程

本书是一本难度适当、易学易懂的小学生Python启蒙教材，用贴近孩子的语言，通过多个简单、有趣的编程案例，激发孩子学习和探索科技的兴趣。本书以程序为中心，适当弱化语法。本书共11章，涵盖Python输入输出、数据类型、选择循环基本结构、函数、面向对象编程、海龟绘图、二进制和GUI编程等，内容丰富全面，每章末尾配有单词表和思考题，帮助读者巩固所学知识和技能。本书适合任何想要通过Python学习编程的

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

运行速度慢的系统常常令人沮丧。它们会浪费用户的时间和金钱，甚至可能会扼杀项目，危及相关从业人员的职业生涯。本书主要面向那些对计算机程序和其他程序消耗时间情况以及改进这种情况的方法感兴趣的人，作者以一种清晰且值得思考的方式解释了为什么系统会这样运行，并融合亲身经历，用讲故事的方式分享了自己作为程序性能咨询顾问的经验，教大家如何改进系统。他不仅教读者性能优化方面的技能，还引导读者使用新的思维方式，更稳

Docker是目前流行的容器平台。作为开发、发布和运行应用程序的开放平台，Docker为快速发布、测试和部署应用程序提供了一整套技术和方法。《Docker与Kubernetes容器虚拟化技术与应用》主要围绕容器生态体系中的核心组件Docker和Kubernetes展开，介绍了容器的组成及相关概念、容器系统架构和运行原理，重点剖析了Docker和Kubernetes两大工具的核心概念、组成和工作原理

本书以Python的实际应用为主线，以理论基础为核心，引导读者渐进式学习Python的编程基础和实际应用。本书共17章，可分为4部分。第一部分Python编程环境搭建和Python的基础知识（第1~6章）、第二部分数学运算（第7~9章）、第三部分绘制图像（第10~12章）、第四部分办公自动化（第13~17章）。本书示例代码丰富，实用性和系统性较强，并配有视频讲解，助力读者透彻理解书中的重点、难点。

C++是信息学奥赛指定的编程语言。本书以通俗易懂的方式深入浅出地介绍了C++编程语言，适合作为小学生学习的教材类读物。《小学生C++创意编程（视频教学版）》的特点在于紧密结合生活，将算法融入其中。精心挑选了100多个案例，旨在逐步引导读者掌握编程技巧。书中的案例难度梯度设计合理，既能够满足孩子的挑战欲，又能让他们在完成任务后获得内在的成就感。本书以逻辑思维、算法思考为核心，旨在激发孩子对编程的学习

《ASP.NETCore从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了进行ASP.NETCore应用开发应该掌握的各方面技术。全书分为4篇，共18章，包括ASP.NETCore入门、.NETCore环境搭建、.NETCore命令行工具及包管理、C#新语法、异步编程、LINQ编程、.NETCore核心组件、ASP.NETCoreWeb应用、Razor与A

这是一本全面讲解RAG技术原理、实战应用与系统构建的著作。作者结合自身丰富的实战经验，详细阐述了RAG的基础原理、核心组件、优缺点以及使用场景，同时探讨了RAG在大模型应用开发中的变革与潜力。书中不仅揭示了RAG技术背后的数学原理，还通过丰富的案例与代码实现，引导读者从理论走向实践，轻松掌握RAG系统的构建与优化。无论你是深度学习初学者，还是希望提升RAG应用技能的开发者，本书都将为你提供宝贵的参

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