本書為“基于系統(tǒng)能力培養(yǎng)的計算機專業(yè)課程建設(shè)研究”項目規(guī)劃教材，根據(jù)北京航空航天大學對計算機專業(yè)系統(tǒng)能力培養(yǎng)十二年改革成果編寫而成。本課程的教學目標為：開發(fā)一個具有數(shù)十條指令規(guī)模且通過嚴格測試的功能型CPU。本書根據(jù)設(shè)計一臺計算機的教學要求，重新梳理了課程體系，涉及傳統(tǒng)意義上的數(shù)字邏輯、匯編語言和計算機組成3門課程的相

本書介紹了一種新的系統(tǒng)建模、分析與綜合的數(shù)學方法——邏輯動態(tài)系統(tǒng)代數(shù)狀態(tài)空間法。該方法是在矩陣的半張量積的基礎(chǔ)上發(fā)展而來的，在使用矩陣處理復(fù)雜的泛邏輯系統(tǒng)方面具有很大優(yōu)勢。全書共9章，第1~4章介紹邏輯動態(tài)系統(tǒng)代數(shù)狀態(tài)空間法；第5~8章為其各種應(yīng)用，包括有限自動機的動態(tài)建模、性能分析、控制技術(shù)，合成有限自動機的建模與控

本書介紹了信息安全數(shù)學的基礎(chǔ)內(nèi)容,包括初等數(shù)論、抽象代數(shù)、橢圓曲線論等，全書選材合理、難度適中、層次分明、內(nèi)容系統(tǒng),書中以大量例題深入淺出地闡述信息安全數(shù)學基礎(chǔ)各分支的基本概念、基本理論與基本方法,注重將抽象的理論與算法和實踐相結(jié)合，并強調(diào)理論在信息安全特別是密碼學中的具體應(yīng)用實例。本書語言通俗易懂，容易自學。本書可作

優(yōu)化理論研究一直是一個非常活躍的研究領(lǐng)域。它所研究的問題是在眾多方案中尋求方案。人們關(guān)于優(yōu)化問題的研究工作，隨著歷史的發(fā)展不斷深入，對人類的發(fā)展起到了重要的推動作用。但是，任何科學的進步都受到歷史條件的限制，直到20世紀中葉，由于高速數(shù)字計算機應(yīng)用日益廣泛，使得優(yōu)化技術(shù)不僅成為迫切需要，而且有了求解的有力工具。因此，優(yōu)

本書采用大量圖片，通過詳細的分步講解，以直觀、易懂的方式展現(xiàn)了7個數(shù)據(jù)結(jié)構(gòu)和26個基礎(chǔ)算法的基本原理。第1章介紹了鏈表、數(shù)組、棧等7個數(shù)據(jù)結(jié)構(gòu)；從第2章到第7章，分別介紹了和排序、查找、圖論、安全、聚類等相關(guān)的26個基礎(chǔ)算法，內(nèi)容涉及冒泡排序、二分查找、廣度優(yōu)先搜索、哈希函數(shù)、迪菲-赫爾曼密鑰交換、k-means算法等

本書是《算法設(shè)計與分析（第4版）》配套輔助教材。本書將結(jié)合原教材的內(nèi)容，進一步討論和講解原教材中的重點和難點，問題分析，求解思路和方法，為讀者深刻體會問題求解的核心思想提供幫助。由于原教材的內(nèi)容有一定的深度和難度，讀者在學習和解答習題過程中會遇到一定的困難，因此本書選擇了原教材的一些典型的習題和難題，給出詳細的解答和分

內(nèi)容提要 本書全面詳細地介紹個人計算機的網(wǎng)絡(luò)安全反黑技術(shù)，并穿插講解關(guān)于手機安全使用的部分內(nèi)容，每節(jié)從案例分析總結(jié)引入，講解了大量實用工具的操作及安全防范知識。 本書從認識黑客與信息安全開始講起，進而詳細介紹了系統(tǒng)的安裝/配置與修復(fù)、系統(tǒng)防火墻與WindowsDenfender、組策略、系統(tǒng)和數(shù)據(jù)的備份與還原、端口掃描

叢書簡介：西方語言學視野是精選國外已經(jīng)出版的經(jīng)典語言學圖書，前面添加國內(nèi)學者撰寫的中文導讀進行影印出版的系列圖書，適合國內(nèi)語言學領(lǐng)域的研究者和學習者閱讀參考。 本書簡介：作為一本形式語義學教科書，《形式語義學的要素》著重呈現(xiàn)該領(lǐng)域研究的兩個要素：一是形式分析的對象蘊涵（entailment）推理這一語義直覺。全書討論

本書立足于計算機視覺特征檢測這一基礎(chǔ)技術(shù)問題，介紹了特征點、線和區(qū)域的檢測方法，并給出具體的檢測應(yīng)用實例，旨在為相關(guān)技術(shù)人員提供特征檢測及應(yīng)用方面的新研究進展，促進特征檢測技術(shù)在社會經(jīng)濟生活領(lǐng)域的應(yīng)用和發(fā)展。本書內(nèi)容分為兩部分：特征檢測方法和特征檢測技術(shù)應(yīng)用。在特征檢測方法方面，第2章介紹特征點檢測方法，第3~5章介紹

本書由2017年圖靈獎得主Patterson和Hennessy共同撰寫，是計算機體系結(jié)構(gòu)領(lǐng)域的經(jīng)典教材，強調(diào)軟硬件協(xié)同設(shè)計及其對性能的影響。本書采用ARMv8體系結(jié)構(gòu),講解硬件技術(shù)、匯編語言、計算機算術(shù)運算、流水線、存儲器層次結(jié)構(gòu)以及I/O的基本原理。新內(nèi)容涵蓋平板電腦、云基礎(chǔ)設(shè)施、ARM（移動計算設(shè)備）以及x86（云