本書介紹了ISO/IEC15026系列標(biāo)準(zhǔn)中的系統(tǒng)和軟件保證方法——軟件保證舉證。全書共6章，首先概述了軟件保證舉證的相關(guān)知識(shí)，接著詳細(xì)介紹了軟件安全性舉證、軟件可靠性舉證、軟件保密性舉證和軟件可信性舉證的基礎(chǔ)知識(shí)、舉證框架、論證模式及應(yīng)用實(shí)例，最后給出了基于非形式邏輯理論的軟件保證舉證信心評(píng)定方法。 本書適合從事軟件

本書倡導(dǎo)在計(jì)算機(jī)迅速發(fā)展、技術(shù)不斷革新的今天，回歸到計(jì)算機(jī)的基礎(chǔ)知識(shí)上。通過(guò)探究計(jì)算機(jī)的本質(zhì)，工程師將提升對(duì)計(jì)算機(jī)的興趣，在面對(duì)復(fù)雜的新技術(shù)時(shí)，能夠迅速掌握其要點(diǎn)并靈活運(yùn)用。本書以圖配文，以計(jì)算機(jī)的三大原則為開(kāi)端，相繼介紹了計(jì)算機(jī)的結(jié)構(gòu)、手工匯編、程序流程、算法、數(shù)據(jù)結(jié)構(gòu)、面向?qū)ο缶幊�、�?shù)據(jù)庫(kù)、TCP/IP網(wǎng)絡(luò)、數(shù)據(jù)加

本書使用Qiskit開(kāi)源框架和IBMQuantumExperience平臺(tái)搭建一個(gè)量子計(jì)算平臺(tái)，并借助Python來(lái)介紹實(shí)現(xiàn)量子編程的方法。 本書內(nèi)容由淺入深，從搭建編程環(huán)境并編寫一個(gè)簡(jiǎn)單的量子程序開(kāi)始，介紹如何使用Python編寫簡(jiǎn)單的腳本，Qiskit和IBMQuantumExperience進(jìn)行交互的方法，概率計(jì)

本書從初學(xué)者的角度出發(fā)，以實(shí)戰(zhàn)為導(dǎo)向，幫助讀者快速掌握Kubernetes的核心知識(shí)，并在實(shí)踐中用好Kubernetes。本書共7章。第1章介紹如何搭建一個(gè)易上手的Kubernetes實(shí)驗(yàn)環(huán)境；第2章以Docker為例介紹容器、鏡像、鏡像倉(cāng)庫(kù)等概念和運(yùn)行原理；第3章介紹容器編排概念，并搭建Minikube的單機(jī)環(huán)境和k

本書是系統(tǒng)架構(gòu)領(lǐng)域標(biāo)桿參考書的升級(jí)版，由業(yè)內(nèi)資深專家薩姆·紐曼（SamNewman）撰寫。過(guò)去10年，隨著微服務(wù)的普及，大量組織從單體應(yīng)用遷移到了微服務(wù)應(yīng)用，分布式系統(tǒng)變得愈加精細(xì)化，然而，這個(gè)過(guò)程中也出現(xiàn)了一系列問(wèn)題。本書深入探討了構(gòu)建、管理、擴(kuò)展和演進(jìn)微服務(wù)架構(gòu)時(shí)需要考慮的方方面面。內(nèi)容分為三部分：第一部分“基礎(chǔ)”

本書基于Linux操作系統(tǒng)的操作、管理和運(yùn)維的實(shí)際需求，主要講解Linux桌面操作系統(tǒng)Ubuntu的配置管理、桌面應(yīng)用、編程和軟件開(kāi)發(fā)。本書共12章，內(nèi)容包括Ubuntu概述、安裝與基本操作，用戶與組管理，文件與目錄管理，磁盤存儲(chǔ)管理，軟件包管理，系統(tǒng)高級(jí)管理，Ubuntu桌面應(yīng)用，Shell編程，C/C++編程，Ja

全鏈路壓測(cè)是互聯(lián)網(wǎng)服務(wù)容量保障工作人員的重要工作，也是橫跨多個(gè)領(lǐng)域的技術(shù)。本書采用“理論聯(lián)系實(shí)際，再?gòu)膶?shí)際回溯到理論”的方式，深入淺出地闡述全鏈路壓測(cè)的知識(shí)。本書前4章聚焦于全鏈路壓測(cè)的基礎(chǔ)知識(shí)，先對(duì)全鏈路壓測(cè)的基本知識(shí)和發(fā)展前景等進(jìn)行深入介紹，再展開(kāi)講解全鏈路壓測(cè)的技術(shù)實(shí)現(xiàn)、組織保障和工具建設(shè)，其間穿插一些實(shí)例代碼和

?本書是一本面向12~18歲青少年的人工智能技術(shù)入門讀物，全書內(nèi)容涵蓋人工智能的定義、歷史發(fā)展、核心技術(shù)、實(shí)際應(yīng)用和未來(lái)發(fā)展趨勢(shì)。書中結(jié)合Python編程實(shí)踐，以項(xiàng)目為載體，幫助讀者深入理解人工智能的概念和技術(shù)，此外還關(guān)注人工智能對(duì)人類和社會(huì)的影響，引導(dǎo)讀者形成正確的價(jià)值觀。本書適合作為中學(xué)階段信息技術(shù)課程的課外參考書

本書是一本關(guān)于滲透測(cè)試技術(shù)的實(shí)用教材，旨在幫助讀者深入了解滲透測(cè)試的核心概念和方法，以便有效地發(fā)現(xiàn)和防范網(wǎng)絡(luò)漏洞和風(fēng)險(xiǎn)。 本書分為七篇，共21章，從滲透測(cè)試環(huán)境搭建入手，介紹信息收集、常見(jiàn)Web應(yīng)用漏洞利用、中間件漏洞利用、漏洞掃描、操作系統(tǒng)滲透、數(shù)據(jù)庫(kù)滲透等。本書以任務(wù)的形式呈現(xiàn)，易于理解和操作。通過(guò)閱讀本書，讀者能

本書是一本關(guān)于內(nèi)網(wǎng)滲透技術(shù)的實(shí)用教材，旨在幫助讀者深入了解內(nèi)網(wǎng)滲透的核心概念和方法，以發(fā)現(xiàn)和防范網(wǎng)絡(luò)漏洞和風(fēng)險(xiǎn)。 本書共6章，首先介紹了常見(jiàn)的工具使用和環(huán)境搭建，然后詳細(xì)講解了各種常見(jiàn)的內(nèi)網(wǎng)滲透場(chǎng)景和技巧，包括信息收集、權(quán)限提升、代理穿透、橫向移動(dòng)等。本書以任務(wù)的形式呈現(xiàn)，易于理解和操作。通過(guò)閱讀本書，讀者能夠全面了解