本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件安全性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员阅读，也可作为高等院校质量和可靠性工程专业的教师、高年级本科生和研究生的参考书。

本书全面介绍了图神经网络的基础和前沿内容，以及图表示学习的基本概念和定义，并讨论了高级图表示学习方法的发展，旨在帮助研究人员和从业者了解图神经网络的基本问题。此外，本书探讨了图神经网络的几个前沿主题，包括利用图数据描述社会科学、化学和生物学等领域的真实数据的关系，还介绍了图神经网络的若干前沿趋势，能够帮助读者进一步掌握图神经网络所涉及的技术。 本书适合所有想了解图神经网络基本问题和技术的人，包括但不限于高等院校计算机专业高年级本科生及研究生、科研人员以及相关从业者。

Vue是一款用于构建用户界面的渐进式框架，现已成为Web前端开发领域三大主流框架之一。2020年9月，Vue 3正式发布，目前其在国内Web前端开发（尤其是手机App的HTML5页面开发）领域已被广泛应用。

本书共16章，内容分为四部分，即Vue概述、Vue基础、Vue生态和Vue实战，从基础知识到实战项目，全面系统地介绍Vue技术，且涵盖目前新一代企业级状态管理库Pinia和下一代前端构建工具Vite。本书内容由浅入深，实例丰富实用，实战部分通过一个通用的Vue 3项目脚手架实

本书是作者从多年包装设计工作中精心挑选的典型包装结构的总结与分享，共48个案例。这些案例主要包括常见的纸质包装盒、塑料薄膜包装，以及铁盒和其他精装盒等。每个案例都有成品展示、设计说明，以及包装材质、结构或印刷工艺的介绍。同时，对尺寸、用色、各种工艺的标注方法等关键信息也做了详细说明。

本书以媒介变迁为整体脉络，通过几类推荐产品的发展趋势来探讨推荐产品创新的核心驱动力，以及由具体产品特性引发的技术变革。全书内容分为5部分。第一部分从宏观视角探讨推荐产品从0到1进行创新的产品思路和技术思路；第二部分介绍革新传统纸质媒介的新闻推荐和资讯推荐，包括关键算法设计和产品设计；第三部分介绍构建线上社交网络的社交和社区推荐，以及如何通过协同过滤算法模拟社交网络；第四部分从产品、生态和算法设计的角度，介绍革新传统影视行业的视频推荐；第五部分以阿里推荐产品及其新兴的竞争产品为例，介绍革

本书从初学者的角度出发，以实战为导向，帮助读者快速掌握Kubernetes的核心知识，并在实践中用好Kubernetes。本书共7章。第1章介绍如何搭建一个易上手的Kubernetes实验环境；第2章以Docker为例介绍容器、镜像、镜像仓库等概念和运行原理；第3章介绍容器编排概念，并搭建Minikube的单机环境和kubeadm的集群环境；第4章先讲解Kubernetes的运行机制和YAML语言，再介绍Pod、Job、CronJob、ConfigMap和Secret对象；第5章讲解Kubern

本书倡导在计算机迅速发展、技术不断革新的今天，回归到计算机的基础知识上。通过探究计算机的本质，工程师将提升对计算机的兴趣，在面对复杂的新技术时，能够迅速掌握其要点并灵活运用。本书以图配文，以计算机的三大原则为开端，相继介绍了计算机的结构、手工汇编、程序流程、算法、数据结构、面向对象编程、数据库、TCP/IP网络、数据加密、XML、计算机系统开发以及SE的相关知识。第2版的部分程序改用Python来呈现，数据库改用MySQL，并对加密部分做了升级。

自从2015年被引入JavaScript以来，Promise已经成为这门语言的重要组成部分。所有新的异步应用程序接口都是基于Promise构建的。正因为如此，深入理解Promise的原理是JavaScript开发人员的进阶必修课，也是所有JavaScript编程工作的重中之重。本书共有5章，篇幅短小精悍，代码清晰易懂。每一章从不同的方面展示了使用Promise的关键点和难点。随书附赠的Promise速查表有助于随用随查。读完本书，你将能在自己的项目中游刃有余地进行异步编程。现在就跟随专业Java

PHM技术包含的内容繁多，本书主要从故障预测的角度阐述自适应方法的研究现状，并首次详细介绍了自适应故障预测在核电站中的应用。本书是作者及合作者多年科研成果的总结，是一部理论和实践并重的专著：一是系统地介绍PHM产生与发展、基本理论，以及故障预测基本方法，使不同基础的读者可以了解PHM系统的概况；二是针对自适应故障预测方法，重点阐述其产生的必然性和紧迫性，并总结当前主要研究的现状；三是针对不同的故障预测模型(包括物理模型、数据驱动模型、集成模型)，介绍自适应学习方法及在核电站中的应用。

本书主要内容包括：路线图、ISR总览、战术ISR、主要性能参数(KPPs)、无线电感应器网络(WSN)、探测问题描述、光学系统节点、射频雷达节点、其他传感器形式、多传感器结构、区分空间目标的间隔(CSO)、性能方程、分辨力、评估、数据，指令&控制通信、WSN的射频通信设计、射频WSN无线电收发机、指令&控制连接性、数据发布、功率管理、T-ISR节点处理器设计、可量测性和影响T-ISR的标准。