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

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

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

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

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

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

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

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

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

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