本书介绍了ISO/IEC15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件

本书从初学者的角度出发，以实战为导向，帮助读者快速掌握Kubernetes的核心知识，并在实践中用好Kubernetes。本书共7章。第1章介绍如何搭建一个易上手的Kubernetes实验环境；第2章以Docker为例介绍容器、镜像、镜像仓库等概念和运行原理；第3章介绍容器编排概念，并搭建Minikube的单机环境和k

本书是系统架构领域标杆参考书的升级版，由业内资深专家萨姆·纽曼（SamNewman）撰写。过去10年，随着微服务的普及，大量组织从单体应用迁移到了微服务应用，分布式系统变得愈加精细化，然而，这个过程中也出现了一系列问题。本书深入探讨了构建、管理、扩展和演进微服务架构时需要考虑的方方面面。内容分为三部分：第一部分“基础”

本书基于Linux操作系统的操作、管理和运维的实际需求，主要讲解Linux桌面操作系统Ubuntu的配置管理、桌面应用、编程和软件开发。本书共12章，内容包括Ubuntu概述、安装与基本操作，用户与组管理，文件与目录管理，磁盘存储管理，软件包管理，系统高级管理，Ubuntu桌面应用，Shell编程，C/C++编程，Ja

全链路压测是互联网服务容量保障工作人员的重要工作，也是横跨多个领域的技术。本书采用“理论联系实际，再从实际回溯到理论”的方式，深入浅出地阐述全链路压测的知识。本书前4章聚焦于全链路压测的基础知识，先对全链路压测的基本知识和发展前景等进行深入介绍，再展开讲解全链路压测的技术实现、组织保障和工具建设，其间穿插一些实例代码和

自从2015年被引入JavaScript以来，Promise已经成为这门语言的重要组成部分。所有新的异步应用程序接口都是基于Promise构建的。正因为如此，深入理解Promise的原理是JavaScript开发人员的进阶必修课，也是所有JavaScript编程工作的重中之重。本书共有5章，篇幅短小精悍，代码清晰易懂。

LangChain为开发者提供了一套强大而灵活的工具，使其能够轻松构建和优化大模型应用。本书以简洁而实用的方式引导读者入门大模型应用开发，涵盖LangChain的核心概念、原理和高级特性，并为读者提供了在实际项目中应用LangChain的指导。 本书从实际的例子出发，细致解读LangChain框架的核心模块和源码，使抽

Spring框架是JavaEE开发的强有力的工具和事实标准，而SpringBoot采用“约定优于配置”的原则简化Spring的开发，成为业界流行的微服务开发框架，被越来越多的企业采用。为了适应新潮流，本书对SpringBoot3.x技术进行深入讲解。 本书从一个简单的项目开始讲解SpringBoot企业级开发，其内容包

在当今社会，高效管理数据是一种思维方式，也是一种能力。越来越多的公司和岗位看重这一点。本书的核心理念是基于MySQL将学习数据管理的过程自然融入日常生活，使学习变得轻松，而不再是一项艰巨的任务。本书采用引入故事场景的方式来呈现SQL语句的适用情景，并以此来解释其使用原理，帮助读者更好地理解SQL语言的本质。本书不仅是一

在一个普通的城市里，生活着一个名叫小鱼的初中少年。他学习成绩在班里倒数，同学们都嘲笑他，他每天非常苦恼。一天放学回家的路上，他意外地捡到了一台黑色的笔记本电脑。他好奇地打开电脑，从此被卷入了一个神奇的魔法世界。这个世界里，编程是一种魔法咒语，能够创造出无限的奇迹。小鱼在这里遇到了一位神秘的魔法师，魔法师的魔法力量深深的