本書對(duì)UNIXxv6的源碼進(jìn)行了深入剖析和詳細(xì)注解，同時(shí)配合大量實(shí)例與圖表，對(duì)每個(gè)模塊先提煉關(guān)鍵數(shù)據(jù)結(jié)構(gòu)和核心方法，再結(jié)合源碼分析其工作機(jī)制，讓讀者明白其原理及具體實(shí)現(xiàn)，以求理論和實(shí)踐能力同步提升，為深入理解操作系統(tǒng)原理乃至進(jìn)一步研究學(xué)習(xí)Linux和Android等類UNIX系統(tǒng)內(nèi)核打下堅(jiān)實(shí)基礎(chǔ)。本書第1章對(duì)xv6進(jìn)行

本書是高等職業(yè)教育計(jì)算機(jī)類課程新形態(tài)一體化教材。本書遵循由淺入深、循序漸進(jìn)的原則，項(xiàng)目之間相互銜接合理安排各個(gè)單元，采用任務(wù)驅(qū)動(dòng)的方式設(shè)計(jì)整個(gè)教學(xué)過程，以程序員的真實(shí)工作場景、典型工作任務(wù)為載體組織教學(xué)單元，內(nèi)容選取突出Python的通用性、實(shí)用性和操作性，適合高職學(xué)生的特點(diǎn)。全書分為基礎(chǔ)篇和項(xiàng)目實(shí)戰(zhàn)篇�；�礎(chǔ)篇（單元1

本書共12章，分為基礎(chǔ)篇和實(shí)踐篇�；�礎(chǔ)篇(第1～8章)主要介紹軟件建模的基礎(chǔ)知識(shí)、設(shè)計(jì)原則和設(shè)計(jì)模式，目的是使讀者迅速了解和掌握與軟件建模相關(guān)的知識(shí)與方法，主要內(nèi)容為面向?qū)ο蠓椒▽W(xué)、軟件建模和設(shè)計(jì)的基本知識(shí)、UML的基本概念、軟件開發(fā)過程及規(guī)范、面向?qū)ο蟮脑O(shè)計(jì)原則、軟件設(shè)計(jì)模式、軟件體系結(jié)構(gòu)等。實(shí)踐篇(第9～12章)介

趣味漫畫引入，識(shí)指令，巧執(zhí)行，化繁為簡，直抵學(xué)習(xí)情境。思維游戲開導(dǎo)，析變量，悟算法，破陣解謎，應(yīng)對(duì)實(shí)際問題。本書是一套不用電腦、零基礎(chǔ)孩子也能學(xué)的編程思維啟蒙書。通過向迷路的機(jī)器人發(fā)出指令、讓機(jī)器人回家的故事串起150多個(gè)編程游戲，幫助孩子逐漸理解和掌握編程邏輯，讓編程思維成為孩子思考過程中的一種習(xí)慣。全書從了解編程思

了解當(dāng)企業(yè)、政府和其他機(jī)構(gòu)通過事件和數(shù)據(jù)流進(jìn)行整合時(shí)，流會(huì)帶來哪些好處。 通過WardleyMapping可視化和PromiseTheory建模了解流集成的價(jià)值鏈。 了解當(dāng)今事件驅(qū)動(dòng)系統(tǒng)市場背后的基本概念。 了解當(dāng)今的集成模式將如何影響未來的實(shí)時(shí)事件流。 探索為什么公司應(yīng)該從今天開始構(gòu)建軟件架構(gòu)，以便在未來幾年從流中

本書為1X職業(yè)技能等級(jí)證書配套系列教材之一，以《Java應(yīng)用開發(fā)職業(yè)技能等級(jí)標(biāo)準(zhǔn)（中級(jí)、高級(jí)）》為依據(jù)，由北京中軟國際信息技術(shù)有限公司組織編寫。本書采用項(xiàng)目化編寫模式，共分為5個(gè)項(xiàng)目，圍繞餐廳點(diǎn)餐系統(tǒng)開發(fā)案例，從JSP技術(shù)、開源框架、前后端分離的服務(wù)接口應(yīng)用開發(fā)、企業(yè)應(yīng)用架構(gòu)設(shè)計(jì)和容器化微服務(wù)架構(gòu)設(shè)計(jì)、開發(fā)與實(shí)施5個(gè)進(jìn)

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

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

本書講解了SystemVerilogTestbench強(qiáng)大的驗(yàn)證功能，清楚地解釋了面向?qū)ο缶幊�、約束隨機(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ā)布，包含了一整套功能齊全的高級(jí)軟件分析工具，可以幫助廣大研究人員在Windows、macOS和Linux各大常見系統(tǒng)平臺(tái)上進(jìn)行源代碼分析。目前已在技術(shù)安全社區(qū)掀起一股學(xué)習(xí)熱潮。