购物车
个人中心
软件灵活性设计:如何避免陷入编程困境
￥59.00
本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引传播这一概念来摆脱计算机语言的面向表达式范式。
剑指Vue3——从入门到实践
￥63.00
本书基于Vue3讲解，共10章。第1～4章，一步步讲解如何搭建Vue3运行环境、Vue核心语法、Vue3新语法和组件化编程技术；第5～8章，深入讲解Vue3项目开发中、的技术和插件库，包括Vue路由（VueRouter）、数据请求（axios）、状态管理（Vuex和Pinia）、UI框架（Element Plus和Vant4）；第9～10章，主要讲解TypeScript的核心语法，以及TypeScript与Vue3相关技术的整合应用开发。 本书内容翔实，知识点覆盖*且细致，既注重理论知识，又辅以大量初学者容易上手的代码案例，让读者可以轻松掌握Vue3应用开发的各种实用技巧，为实际应用开发打下良好的基础。 本书既可以作为已掌握前端基础技术的人员，以及Vue2或Vue3项目开发人员的参考书，也可以作为高等院校和培训学校相关专业的教材或教辅材料。
CockroachDB权威指南
￥88.90
本书介绍如何使用CockroachDB创建可扩展的应用，并在为最终用户提供无缝交付能力的同时保障系统性能。全书共15章，分为三部分：第一部分（第1~4章）介绍CockroachDB的历史背景，包括数据库的演和分布式云数据库的出现，内容涵盖分布式SQL的核心概念、CockroachDB的架构和功能、CockroachDB适用场景下的用例；第二部分（第5~8章）介绍CockroachDB中模式设计的基本原理，涵盖应用的设计和实现，以及与其他数据库的集成；第三部分（第9~15章）涵盖单区域和多区域部署的规划和执行，核心内容包括备份和灾难恢复、安全、可观测性、管理和故障排除以及集群优化。
互联网启示录:互联网如何改变世界
￥59.00
这是一本由我国互联网建设和管理的参与者倾力造的富有深度的互联网科普书。无论你是普通百姓还是教育、科研、通信、社会学方面的从业者，都能通过本书对互联网有一个新的认识。本书凝聚了作者几十年来在互联网建设中的所历所见和思想精华。第1章分别从老百姓、电信人和计算机专家的视角对“什么是互联网”行解读，提出互联网的本质规律是“无穷多和无穷少”，互联网的特征是“放”，核心精神是“放共享，合作共赢”等观。第2~4章首先介绍了四代互联网（阿帕网、万维网、搜索引擎与社交网络、移动互联网）的代际更迭；然后，用通俗的语言，以IPv4和IPv6协议为基础，介绍了互联网标志性技术，科普了物联网、大数据、区块、云计算、人工智能等技术的最新发展；最后，分析了如日中天的元宇宙的概念，对元宇宙时代的教育形态行了畅想。第5章和第6章梳理了网络安全治理的逻辑，提出造网络虚拟“公检法”、设高校“第一课”、关注个人隐私保护、重视网络舆论监督等若干建议；分析了互联网面临的国际形势，并提出要警惕互联网领域的霸权行为；提出我国互联网治理要注意理性、强化法制、加强基建和重视文化。第7章阐述了互联网对人类文明发展的影响。分析了互联网对社会方方面面的促作用，提出“信息素养的提高尤为重要”的观；重介绍了互联网如何促教育发展和推动学术交流升级；并提出互联网发展的“五阶段模型”，得出“互联网将启人类文明发展的新航程”的结论。
64位汇编语言的编程艺术
￥119.00
本书源于作者的经典书籍The Art of Assembly Language，从32位汇编语言升级为64位汇编语言，基于Microsoft宏汇编程序（MASM）讲解x86-64 CPU上汇编语言的编程艺术。本书从计算机的组成结构始介绍，包括计算机数据表示和运算，以及内存的访问和组织等。之后详细讲解汇编语言程序设计，涉及过程和算术运算的相关知识，再通过低级控制结构过渡到高级主题，如表查找和位操作。此外，还探索了x87浮单元、SIMD指令，以及MASM的宏工具。书中的程序清单均可免费下载，供读者即学即用。本书适合计算机专业的学生、相关领域的从业人员以及对汇编语言感兴趣的技术人员阅读。
一本书讲透Java线程:原理与实践
￥65.00
本书由科大讯飞高级系统架构师撰写，结合大量源码与图示，通俗易懂；自顶向下解析JDK、JVM、Linux中的Java线程通信机制、同步机制、锁机制、原子计数器、线程安全容器、线程池的实现原理与应用技巧。全书共12章，分为三篇。 基础篇（第1～5章），从Linux的线程基础讲起，重从JDK、JVM、Linux多个维度讲解Java线程的设计、通信与同步机制，如内存一致性、内存屏障、多线程间数据通信、并发控制等核心知识，从而在实际发中提高程序的性能和稳定性。 阶篇（第6～9章），从CPU的架构讲起，重讲解锁算法（MCS、CLH、AQS）、Java锁机制、原子计数器、线程并发容器、线程池的设计原理与实现，以期让读者掌握Java线程的阶知识，不仅能发出高性能的程序，而且遇到问题可以举一反三，找到最佳方案。 应用篇（第10～11章），详细讲解Java线程的常见模型与使用技巧。以电商真实场景为例，从面临的挑战、基于Java多线程的实现方案与优化等角度层层递，让读者感受真实的Java线程“威力”。 最后，总结多线程编程的常见问题与使用技巧。
eBPF云原生安全:原理与实践
￥59.00
这是一本系统讲解如何使用eBPF技术构建云原生安全防线的著作，是一本面向eBPF技术爱好者和云安全领域从业者的实战宝典，从原理与实践角度详述了eBPF技术在云原生安全领域正在发生的关键作用，是作者多年构筑云原生安全纵深防御经验的总结。 本书详细阐述了eBPF技术的核心原理以及在云原生安全领域的应用价值，并结合大量的代码案例分析，深探讨了在典型的云原生安全需求场景下使用eBPF技术可以帮助实现的安全功能和实践原理，同时也讲述了可能引的安全风险，帮助读者从零基础快速了解eBPF技术，始eBPF安全编程。 通过阅读本书，你将了解： ?云原生安全面临的主要挑战，发展现状和理论基础； ?eBPF技术的基本原理和云原生安全领域的典型应用； ?基于eBPF技术的云原生安全核心源项目的安装、使用、基础架构和实现原理； ?如何使用eBPF技术实现典型的云原生安全需求及实现原理； ?如何将eBPF安全事件关联程、容器和Pod等上下文信息； ?如何使用eBPF技术审计复杂的云原生攻手段； ?恶意eBPF程序的典型实现方式以及如何防护和探测此类恶意程序。
演进式架构(原书第2版)
￥47.00
本书提供了关于适应度函数、自动化架构治理和演式数据的技术、知识和技巧。本书分为三个部分：第一部分包括定义演式架构机制的章节——介绍团队如何使用技术和工具来构建适应度函数、部署管道以及其他管理和演软件项目的机制；第二部分包括围绕耦合、复用和其他相关结构考虑因素的架构风格和设计原则，以帮助读者实现清晰的长期演；第三部分探讨了第一部分中介绍的工程实践与第二部分中的结构考虑因素的交叉。
Web 3 中的零知识证明
￥68.60
基于当前 Web 3 世界的快速发展，零知识证明在落地应用方面取得了快速展。本书从技术原理和相关具体工程实现的角度对其行介绍。本书第1章从总体上回顾了 Web 3 的发展，以及当前的表现形态，第2章和第3章从最简洁的数学层面向读者介绍了零知识证明是什么，以及如何构建零知识证明。第4章从技术层面介绍了 Web 3 世界中零知识证明的主流实现方案，第5章从应用层面介绍了零知识证明在 Web 3 世界中的一些典型应用，第6章介绍了零知识证明在其他领域的应用及展望。本书定位为科普读物，面向的读者包括但不限于 Web 3 领域的从业者、对零知识证明感兴趣的学生及业内人士。
一本书讲透混合云安全
￥59.00
内容简介这既是一本全面讲解网络安全，特别是混合云安全的著作，它全方位地讲解了混合云环境下的网络安全的理论与实践。本书由阿里云安全团队前身份安全和零信任系列产品负责人撰写，力求全面，全面讲解混合云安全的概念、技术、产品、服务、运营和团队建设；力求实践，基于作者丰富安全经验，从攻防双重视角总结大量方法和最佳实践；力求图解，利用大量图表辅助讲解，先整体后局部，让复杂的更知识通俗易懂。全书一共11章，各章的核心内容如下：第1章立足于网络安全理论，如纵深防御和红蓝对抗等，奠定了混合云安全的理论根基。第2章以业务为出发，阐述了业务发展与混合云安全措施的相互关系。第3章专注于团队建设，强调了安全从业人员在混合云环境下需要持续更新的知识技能。第4~8章从网络边界、计算环境、网站应用、办公安全和数据安全等多个角度，深探讨了混合云环境下的具体安全问题和相应的解决方案。第9章作为核心篇章，详细解析了将传统数据中心与公有云相结合的混合云环境所面临的安全需求和挑战，特别讲解了公有云上独特的安全技术和方法。第10~11章从安全运营和内控合规两个角度，讲解了如何在混合云环境下紧跟时代，并满足各方面的合规要求。本书旨在帮助首席安全官（CSO）、系统架构师、发工程师、安全运维人员以及大学生，共同迎人工智能时代带来的安全新机遇和挑战。
图分析与图机器学习:原理、算法与实践
￥53.00
本书的目标是向你介绍图数据结构、图分析和图机器学习的概念、技术和工具。每章的头都列出了目标，大致分为三个方面：学习图分析和机器学习的概念；用图分析解决特定问题；了解如何使用GSQL查询语言和TigerGraph图平台。首先介绍图数据的基本概念，然后通过连、分析、学习三大部分深讲解一些图算法和机器学习技术。
区块链智能合约安全入门
￥55.30
《智能合约安全门》从环境介绍，Solidity、web3基础和漏洞原理及利用方面，详细地介绍智能合约相关漏洞知识。其中，第一部分介绍了 Remix IDE、Metamask 以及geth等环境的安装和使用方法；第二部分介绍了solidity语言的基础知识与基本语法，以及web3的使用方法；第三部分重讲解了智能合约常见漏洞的基本原理及其攻方式，同时还增加了 Ethernaut 通关游戏的部分内容，以此来加深对漏洞原理的理解。
计算机系统开创性经典文献选读与解析(双色版)
￥59.00
本书精心选择了计算机系统领域的14篇创性经典文献，并用中文准确翻译，结合编者自身的理论研究和工程实践，针对14篇文献给出了独到的分析和评论。全书涵盖了人工智能、可计算理论、计算机体系结构、虚拟化、并行计算等细分角度和方向，采用考据考证和文本细读的方法，在每篇内部、篇篇之间先分析后综合，形成一个有机的整体，对于追溯本源、行原创性基础研究具有重要意义。 本书可作为计算机专业大学生和研究生的教材、教辅读物，也可供非计算机专业的学生、信息技术在职研究人员和工程师参考使用。
多智能体强化学习:基础与现代方法
￥65.00
多智能体强化学习（Multi-Agent Reinforcement Learning, MARL）是机器学习中的一个领域，研究多个智能体如何在共享环境中学习最优的交互方式。这一领域在现代生活中有着广泛的应用，包括自动驾驶、多机器人工厂、自动化交易和能源网络管理等。 本书是一部系统阐述多智能体强化学习理论与技术的权威著作，清晰而严谨地介绍了MARL的模型、解决方案概念、算法思想、技术挑战以及现代方法。书中首先介绍了该领域的基础知识，包括强化学习理论和算法的基础、交互式博弈模型、博弈中的不同解决方案概念以及支撑MARL研究的算法思想。随后，书中详细介绍了利用深度学习技术的现代MARL算法，涵盖集中训练与分散执行、价值分解、参数共享和自博弈等思想。本书还附带了一个用Python编写的MARL代码库，其中包括自包含且易于阅读的MARL算法实现。 本书技术内容以易于理解的语言解释，并通过大量示例行说明，既为初学者阐明了MARL的概念，也为专业的读者提供了高层次的见解。
新一代信息通信技术标准化
￥47.00
本书关注新一代信息通信技术标准化，探讨标准、解析技术。 第1~3章从标准的概念谈起，介绍了标准的定义、日常生活中的标准、标准化的益处与风险、信息与通信技术标准化的格局、标准的产生过程、标准化人员在组织中担当的角色、需要具备的能力以及为履行职责所展的专业活动。随后介绍了标准组化织、不同地理范围的标准以及标准与监管、立法和政策制定。着描述了标准化与创新、知识产权的相关性，以及标准化对经济发展的贡献和战略价值。 第4~8章介绍了移动通信技术标准化的发展、5G通信技术与标准化、5G-Advanced 作为 5G 的演和迈向 6G 过渡阶段的关键技术及其标准化过程，并展望了6G标准化的愿景、典型应用场景和发展趋势。最后结合以往的标准化经验，分享了在新时代背景下对标准化的理解、实战经验的总结以及实践案例的分析。
工业设备智能运维指南:规划、成熟度模型、方案与实施
￥53.00
本书以设备智能运维的概念、目标为基础，阐述了设备智能运维的现状和问题，提出了智能运维可实现的目标及实施方法。本书提出了设备智能运维成熟度的概念和评价指标，从设备数据化、数据分析和智能化、人员能力、管理、数据平台5个维度评价设备智能运维的成熟度，并介绍了这5个维度各自的提升途径，给出了通常情况下的实现方法。本书还介绍了常用的设备监测诊断技术，以工业现场应用的角度介绍了在应用中需要掌握的重和要，可以作为实施状态检测的参考资料，助力管理和执行人员构建系统化的实践框架。
开发者测试 第2版
￥41.00
本书是一本面向软件发者的软件测试教材，旨在从发者的角度介绍软件测试理论、方法和实践。本书从测试基础概念出发，结合概率统计和图论基础建立软件测试理论分析框架；然后从多样性、故障假设、图分析三个方面构建发者视角的系统性软件测试方法；最后介绍发者测试实践的三部曲，即单元测试、集成测试和回归测试。同时，本书穿插讲解了部分智能化软件测试的最新研究成果。本书以软件测试理论为主线，阐述了发者测试方法背后的内在联系和主要区别，以启发读者思考。全书共分为9章，第1～3章主要介绍软件测试理论，第4～6章介绍软件测试方法，第7～9章介绍软件测试实践。软件测试工具、测试案例和实践内容请参阅本书配套线上资源。
了不起的Markdown:大语言模型时代的通用语言
￥61.60
本书是系统介绍大语言模型时代写作通用语言的实践指南，以“排版技巧—应用场景—语法规范—工具赋能—知识管理—智能协作”为主线，深度整合 Markdown 核心语法、工具生态与 AI 应用。本书从Typora 沉浸式写作到 VS Code 智能编辑，从 Obsidian 知识图谱构建到与大语言模型协同创作，不仅详解Markdown 标准语法与扩展技巧，更聚焦现代写作场景中的格式转换、跨平台协作、智能提示词设计等前沿实践，完整呈现从基础写作到智能知识管理的化路径。书中包含百余张操作示意图与数个典型应用案例，通过“场景导 步骤拆解 成果演示”的三段式教学方式，让技术工具真正服务于创作。 本书专为三类人造：追求高效排版与规范写作的职场人士；致力于构建个人知识管理体系的终身学习者；探索人机协作新范式的 AI 应用实践者。无论是希望摆脱传统排版束缚的写作新手，还是寻求智能化升级的 Markdown 阶用户，都能通过阅读本书实现从基础到精通的跨越式成长。
RAG实践权威指南:构建精准、*大模型之道
￥53.00
本书由华大生命科学研究院资深NLP专家撰写，旨在带你从零构建高效的企业级RAG系统。本书全面解析RAG原理与实战，涵盖架构与组件、高阶技术与实践、检索与问答模块优化策略、模型推理等核心技术，并深讲解三大落地优化技术，以及高阶变体与能力增强措施。 本书共8章。第1章介绍RAG技术基础，帮助读者建立对RAG技术的全面认知。第2章介绍RAG系统的核心组件与实践，帮助读者掌握核心技术与基于Python库的实践。第3章介绍高阶RAG技术与实践的细节，帮助读者掌握阶技术。第4章介绍检索与问答模块的优化，全方位讲解优化策略。第5章介绍模型推理技术，加速RAG技术的落地。第6章介绍RAG系统在实际应用中的鲁棒性、安全性和公平性优化技术，提升RAG系统的整体性能与可信度。第7章介绍RAG技术的高阶变体，以充分挖掘RAG技术的应用潜力。第8章介绍实时知识更新与跨模态能力增强，展望RAG技术未来应用的方向。
一本书讲透MCP:AI Agent互联网新纪元
￥59.00
内容简介 这是一本系统介绍和深度解读MCP的著作，旨在为不同背景、不同需求的各类读者提供全面、实用的指导。本书由MCP领域的5位技术专家、布道者撰写，他们各自发挥所长，从10余个维度对MCP行了全面、透彻、深的讲解。 全书共11章，从技术、生态、商业3大维度，深解析MCP如何重塑AI应用生态。 第1章回顾AI Agent的发展历程，揭示传统Agent的局限性及互联化挑战，提出MCP是突破瓶颈的最优解。第2章深度拆解MCP的技术内核，涵盖设计目标、Function Call与RAG等关键概念，以及MCP的架构实现原理。第3章构建MCP生态的系统全景图，分析参与者角色、合作模式及多场景应用案例。 第4章和第5章提供完整的发指南：从MCP主机端部署、代码运行器/邮件服务器等核心组件发，到客户端构建方法；结合Cherry Studio、腾讯云等平台实战案例，演示AI Agent应用发全流程。第6章聚焦行业变革，剖析MCP对Agently等主流Agent框架的重构效应，以及对AI Agent平台架构的颠覆性影响。 第7~9章从宏观角度揭示MCP的产业价值：MCP驱动AI Agent从辅助工具向独立参与者化；MCP改变大模型公司商业模式，促技术普惠；规划MCP客户端发展路径与商业化策略。 第10~11章展望AI Agent互联网未来，探讨MCP在智能社会中的核心地位，并前瞻性分析MCP与A2A等协议的竞争融合趋势，揭示智能系统演的底层逻辑。 本书兼具技术深度与产业视野，既是发者构建MCP应用的实操手册，也是从业者理解智能生态变革的战略指南。通过揭示AI Agent互联网的技术基座与商业图景，为读者提供参与下一代人工智能浪潮的关键认知框架。
精通区块链编程:加密货币原理、方法和应用开发(原书第3版)
￥83.00
本书深剖析比特币底层技术架构，涵盖去中心化网络、对架构、交易生命周期及安全原则等核心内容。同时，作者对诸如隔离见证、支付通道和闪电网络等前沿发展也行了全面阐释。对于发者而言，书中丰富的代码示例、深浅出的讲解，能助力读者掌握比特币客户端代码编写技巧；对于普通爱好者而言，书中通俗易懂的类比和案例，使读者无须具备深厚技术背景，也能理解比特币的运行机制与魅力。通过阅读本书，读者将全面参与到这场数字货币的革命之中，启一段充满惊喜与收获的学习旅程。本书适合程序员以及那些想要深了解比特币和加密货币内部机制的非程序员读者阅读。
