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

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

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

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

本書按照“全國碩士研究生招生考試計算機科學與技術學科聯(lián)考計算機學科專業(yè)基礎綜合考試大綱”的要求編寫，基本涵蓋所有知識點，并加入部分高校及全國統(tǒng)一考試真題作為自測題，同時給出參考答案和題目解析。本書主要介紹各種常用的經(jīng)典數(shù)據(jù)結構（如線性表、棧、隊列、串、數(shù)組、樹、圖、集合等）和算法，并在時間復雜度和空間復雜度之間進行平衡

本書通過對信息安全風險評估領域的研究，在汲取國內外研究成果的基礎上，總結信息安全風險評估的發(fā)展趨勢與研究要點，對常用風險評估方法進行分析，提出幾種改進的信息安全風險評估方法，詳細介紹了所提出的改進評估方法的評估流程與特點，并通過評估實例與代碼實現(xiàn)，加深讀者對所介紹的評估方法的認識。本書可供信息安全專業(yè)及相關專業(yè)本科生、

本書是《算法設計與分析（第2版）》（李春葆等編著，清華大學出版社出版）的配套學習和上機實驗指導書，給出了主教材中所有練習題、上機實驗題和在線編程題的參考答案，通過研習有助于提高靈活運用算法設計策略解決實際問題的能力。書中列出了所有題目，自成一體，可以脫離主教材單獨使用。本書適合高等院校計算機及相關專業(yè)本科生及研究生使用

為了適應培養(yǎng)我國２１世紀計算機各類人才的需要，結合我國高等學校教育工作的現(xiàn)狀，立足培養(yǎng)學生能跟上國際計算機科學技術的發(fā)展水平，更新教學內容和教學方法，提高教學質量，本書以算法設計策略為知識單元，系統(tǒng)地介紹計算機算法的設計方法與分析技巧，以期為計算機科學與技術學科的學生提供廣泛而堅實的計算機算法基礎知識。另有配套的《算法

本著系統(tǒng)設計實現(xiàn)分離的原則，降低實現(xiàn)難度，提升設計內容，采用簡單易學logisim仿真平臺，緊扣計算機組成原理各章重要知識點，設計一系列有針對性的設計型實驗和大型課程設計實驗，試圖以實踐教學為中心進行計算機組成原理課程的教學。

本書主要是針對普通院校計算機應用專業(yè)的學生編寫的。全書共分9章，第1章主要介紹計算機系統(tǒng)的組成、計算機的發(fā)展歷史及計算機的應用；第2章主要講解信息的數(shù)字化表示，重點討論數(shù)值數(shù)據(jù)的原碼、補碼和反碼表示方法，非數(shù)值數(shù)據(jù)的表示方法；第3章介紹運算器的作用及實現(xiàn)，重點討論定點數(shù)的加法器、乘法器、除法器的設計方法；第4章介紹存儲