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

本书以媒介变迁为整体脉络，通过几类推荐产品的发展趋势来探讨推荐产品创新的核心驱动力，以及由具体产品特性引发的技术变革。全书内容分为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

本书介绍了网络靶场的定义、需求来源，并对其分类和类型进行了详细描述；论述了构建一个基础网络靶场所需要的基础架构和功能组成，以及建模设计工具、流量生成工具和管理工具；讨论了网络靶场试验测试、人员培训和理论研究方面等应用场景；通过对网络安全演习和角色团队的描述，介绍了如何规划、构建和部署网络靶场；最后，对军事领域和学术研究领域的常见网络靶场案例进行了解读剖析。

本书涵盖了Vivado的四大主题：设计流程、时序约束、设计分析和Tcl脚本的使用，结合实例深入浅出地阐述了Vivado的使用方法，精心总结了Vivado在实际工程应用中的一些技巧和注意事项，既包含图形界面操作方式，也包含相应的Tcl命令。本书语言流畅，图文并茂。全书共包含405张图片、17个表格、172个Tcl脚本和39个HDL代码，同时，本书配有41个电子教学课件，为读者提供了直观而生动的资料。本书可供电子工程领域内的本科高年级学生和研究生学习参考，也可供FPGA工程师和自学者参考使用。

本书由B站上的三位百万级Up主（Genji是真想教会你、鱼C-小甲鱼、阿Test正经比比）联合打造，为读者提供了B站独家运营秘籍。 全书总计8章。第1章重点讲解B站的特点、内容推荐算法、文化、分区和会员等级，以及如何在B站注册账号及投稿。第2章讲解在B站投稿前要知道的事儿，涉及怎样找到自己的人设，什么是好的用户名，如何策划视频选题，如何创作视频及填写更好的投稿信息。第3章详细介绍B站创作中心与帮助方面的内容，涉及内容管理、数据中心、粉丝管理、互动管理、收益管理、创作成长、创作权益、必合

本书详细解读《信息安全技术 网络安全等级保护安全设计技术要求》（GB/T 25070—2019）中的通用要求部分，按照理论指导实践的原则，针对标准的具体内容，从安全需求分析、框架设计、标准解读、安全设计技术、安全性评估等方面对标准设计原则、思想及具体的安全条款进行剖析，并给出一些经典案例。 本书可供需要依据《信息安全技术 网络安全等级保护安全设计技术要求》开展信息系统安全设计的政府及企事业单位、系统运营使用单位、网络安全企业、网络安全服务机构等相关单位的IT从业人员和专业人士，需要对网络安全等级

C++，简单而强大，已经渗透到计算机领域的各个角落，甚至有很多中小学也开始引入C++编程课程。本书秉承有趣、有料、好玩、好用的理念，通过精心设计的漫画，生动而有趣地讲解C++编程知识。本书总计14章：第1章带领读者编写第一个C++程序，初探C++编程的乐趣；第2章讲解C++的语法基础，帮助读者建立坚实的编程基础；第3章深入研究C++中的基本数据类型，帮助读者更好地理解不同数据类型的特点和转换；第4章引导读者探索C++中的运算符，使读者能够进行各种数学和逻辑运算；第5章讲解判断语句，可提高程序的决