本手冊是在總結(jié)航天工程軟件研制成功經(jīng)驗(yàn)的基礎(chǔ)上，針對新時(shí)期軟件系統(tǒng)架構(gòu)設(shè)計(jì)、安全性可靠性、測試驗(yàn)證充分性等軟件研制瓶頸問題，參考借鑒國內(nèi)外軟件管理技術(shù)方法，并瞄準(zhǔn)航天工程軟件復(fù)雜度提升和未來發(fā)展需求編制的一本實(shí)用性工程手冊。本手冊對航天軟件研制頂層要求的有關(guān)條款進(jìn)行了解釋、闡述，用于指導(dǎo)航天型號軟件研制過程中的技術(shù)和管

本書分15章，分為兩部分：前8章，主要是結(jié)構(gòu)化編程和函數(shù)式編程。從基本類型開始，探討運(yùn)算符、表達(dá)式、語句、函數(shù)、數(shù)組、自定義類型、指針、引用、Lambda表達(dá)式和匿名函數(shù)。作為基礎(chǔ)，大約需要4學(xué)分完成。后7章，主要是面向?qū)ο缶幊毯头盒途幊�。從�?章類和對象開始，探討面向?qū)ο蠓庋b性、繼承性和多態(tài)性。第13章探討基于模板的

本書講解了SystemVerilogTestbench強(qiáng)大的驗(yàn)證功能，清楚地解釋了面向?qū)ο缶幊獭⒓s束隨機(jī)測試和功能覆蓋的概念。本書涵蓋SystemVerilog所有驗(yàn)證結(jié)構(gòu)，如類、程序塊、隨機(jī)化和功能覆蓋等，并通過超過500個(gè)代碼示例和詳細(xì)解釋，說明了學(xué)習(xí)多態(tài)性、回調(diào)和工廠模式等概念的內(nèi)部工作原理。此外，本書提供了數(shù)百

Ghidra是美國國家安全局（NSA）開發(fā)的免費(fèi)和開源的逆向工程工具，已于2019年的RSA正式發(fā)布，包含了一整套功能齊全的高級軟件分析工具，可以幫助廣大研究人員在Windows、macOS和Linux各大常見系統(tǒng)平臺上進(jìn)行源代碼分析。目前已在技術(shù)安全社區(qū)掀起一股學(xué)習(xí)熱潮。

本書共12章，主要內(nèi)容包括:計(jì)算機(jī)程序設(shè)計(jì)概述、C/C++開發(fā)工具Dev-C++的使用、C/C++程序設(shè)計(jì)基礎(chǔ)、順序結(jié)構(gòu)及其應(yīng)用程序設(shè)計(jì)、選擇結(jié)構(gòu)及其應(yīng)用程序設(shè)計(jì)、循環(huán)結(jié)構(gòu)及其應(yīng)用程序設(shè)計(jì)、數(shù)組及其應(yīng)用程序設(shè)計(jì)、函數(shù)及其應(yīng)用程序設(shè)計(jì)、結(jié)構(gòu)體及其應(yīng)用程序設(shè)計(jì)、鏈表及其應(yīng)用程序設(shè)計(jì)、文件及其應(yīng)用程序設(shè)計(jì)、編譯預(yù)處理與源程序

本書分為WPS文字、WPS表格、WPS演示三大模塊，共14個(gè)案例，所選案例均與日常工作密切相關(guān)，注重技能的漸進(jìn)性和學(xué)生綜合應(yīng)用能力的培養(yǎng)。其中，WPS文字部分選擇了制作勞動模范個(gè)人簡歷、制作特色農(nóng)產(chǎn)品訂購單、制作大學(xué)生志愿者“三下鄉(xiāng)”面試流程圖、制作春節(jié)賀卡、期刊文章的編輯與排版5個(gè)案例；WPS表格部分選擇了制作技能競

本書是圍繞抽象思維、架構(gòu)設(shè)計(jì)、實(shí)施運(yùn)營來指導(dǎo)網(wǎng)絡(luò)DevOps落地的實(shí)踐指南，也是通過方法論結(jié)合工程實(shí)踐來闡述網(wǎng)絡(luò)DevOps平臺架構(gòu)設(shè)計(jì)的架構(gòu)設(shè)計(jì)實(shí)戰(zhàn)手記。本書共8章，內(nèi)容包括：什么是網(wǎng)絡(luò)DevOps、網(wǎng)絡(luò)DevOps的核心網(wǎng)絡(luò)DevOps平臺、網(wǎng)絡(luò)DevOps平臺架構(gòu)設(shè)計(jì)方法論、網(wǎng)絡(luò)DevOps平臺的系統(tǒng)架構(gòu)設(shè)計(jì)、網(wǎng)

本書針對近幾年全國計(jì)算機(jī)學(xué)科專業(yè)綜合考試大綱的數(shù)據(jù)結(jié)構(gòu)部分進(jìn)行了深入解讀，以一種獨(dú)創(chuàng)的方式對考試大綱中的知識點(diǎn)進(jìn)行了講解，即從考生的視角剖析知識難點(diǎn)；以通俗易懂的語言取代晦澀難懂的專業(yè)術(shù)語；以成功考生的親身經(jīng)歷指引復(fù)習(xí)方向；以風(fēng)趣幽默的筆觸緩解考研壓力。讀者對書中的知識點(diǎn)講解有任何疑問都可與作者進(jìn)行在線互動，解決考生復(fù)

本書能幫助讀者深入理解和掌握分布式系統(tǒng)架構(gòu)與開發(fā)，以及快速了解各互聯(lián)網(wǎng)大廠在分布式系統(tǒng)方面的高頻面試題及其解法。作者有超過15年的架構(gòu)與研發(fā)經(jīng)驗(yàn)，在分布式系統(tǒng)方面，積累了大量的項(xiàng)目經(jīng)驗(yàn)和面試經(jīng)驗(yàn)。分布式系統(tǒng)涉及的技術(shù)多且復(fù)雜，作者根據(jù)自己的經(jīng)驗(yàn)，化繁為簡，將從事分布式系統(tǒng)架構(gòu)與開發(fā)的技術(shù)與能力，全部總結(jié)在了本書中，包含

通過不斷思考和整理，作者編寫了這本更具系統(tǒng)性也更通俗易懂的Go語言入門和進(jìn)階書籍，以幫助學(xué)習(xí)者少走彎路，比其他人更快一步提升職業(yè)競爭力。本書共包含5個(gè)部分。第1部分：快速入門Go語言。作者挑選了變量、常量、基礎(chǔ)數(shù)據(jù)類型、函數(shù)和方法、結(jié)構(gòu)體和接口等知識點(diǎn)進(jìn)行介紹。這部分內(nèi)容相對簡潔，但已經(jīng)足夠讓你掌握Go的基本程序結(jié)構(gòu)了