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

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

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

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

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

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

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

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

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

本書是與“十二五”普通高等教育本科國(guó)家級(jí)規(guī)劃教材《計(jì)算機(jī)算法設(shè)計(jì)與分析（第5版）》配套的輔助教材和國(guó)家精品課程教材，分別對(duì)主教材中的算法分析題和算法實(shí)現(xiàn)題給出了解答或解題思路提示。為了提高學(xué)生靈活運(yùn)用算法設(shè)計(jì)策略解決實(shí)際問題的能力，本書還將主教材中的許多習(xí)題改造成算法實(shí)現(xiàn)題，要求學(xué)生設(shè)計(jì)出求解算法并上機(jī)實(shí)現(xiàn)。本書教學(xué)資