《計算機維修技術（第3版）/21世紀高等學校規(guī)劃教材·計算機應用》以目前流行的個人計算機（PC）為對象，分析和討論了x86計算機的系統(tǒng)組成、工作原理、最新技術、性能參數(shù)、故障處理方法等。本版教材在第2版基礎上進行了全面修訂，更新了計算機最新技術方面的內(nèi)容，使教材重點更加突出，更適用于教學需要。全書分為三部分，第一部分（

《形式語義學引論/當代語言學理論叢書》詳細介紹形式語義學的基本內(nèi)容、主要技巧和方法，可供大學語言和語言學專業(yè)的高年級本科學生及碩士、博士生作研習、參考之用。對自然語言分析和處理感興趣的計算機、數(shù)學、哲學、邏輯和人工智能專業(yè)的學生也可從本書中獲得系統(tǒng)的語義學知識。 本書內(nèi)容的取舍并非簡單地照搬一些外文教科書，在章節(jié)安排

《河南省地方標準計算機信息系統(tǒng)(場地)防雷安全檢測技術規(guī)范DB41/T726-2012》由河南省氣象局編著

形式語義學是邏輯與語言交叉研究的產(chǎn)物，是在邏輯框架內(nèi)構建的關于自然語言的語義學。形式語義學根植于邏輯學、哲學、數(shù)學、語言學等好幾個學科，其顯著特征是運用邏輯和數(shù)學的形式化方法去研究自然語言的形成規(guī)律。高蕓編著的《形式語義學研究》介紹了經(jīng)典形式語義學理論的兩個重要代表一一塔斯基真值語義理論和蒙太格語法，描述了動態(tài)語義學理

《計算機組裝與維護技術實訓教程（第2版）/21世紀高等學校計算機基礎實用規(guī)劃教材》從計算機組裝與維護的實訓出發(fā)，結合計算機系統(tǒng)最新發(fā)展動態(tài)，講解了計算機硬件組成、硬件選購和組裝、BIOS設置、硬盤分區(qū)、軟件系統(tǒng)安裝、移動網(wǎng)絡組建、系統(tǒng)安全維護與故障處理、數(shù)據(jù)備份與恢復等技術細節(jié)，虛擬化技術的概念及虛擬機VMWareWo

《計算機硬件檢測維修》以全國技能大賽所用的計算機硬件檢測維修臺為學習平臺，內(nèi)容分五個模塊：認識常用元器件、掌握常用維修工具及維修平臺的使用、認識計算機系統(tǒng)原理、學會檢測維修臺式計算機、學會檢測維修筆記本電腦，并將每個模塊內(nèi)容任務化，以任務教學來達到技能的培養(yǎng)。書中配有大量圖示，操作方法翔盡，可操作性強，同時配有光盤（包

《信息安全概論(重點大學信息安全專業(yè)規(guī)劃系列教材)》由郝玉潔、吳立軍、趙洋、劉瑤編著，本書全面介紹信息安全的基本概念、原理、知識體系與應用，涵蓋了當前信息安全領域的主要研究內(nèi)容，是信息安全專業(yè)的入門教材。本書主要涉及密碼學基礎與應用、網(wǎng)絡安全技術、環(huán)境與系統(tǒng)安全技術、操作系統(tǒng)安全技術、數(shù)據(jù)庫安全技術等信息安全領域的基礎

《機器視覺自動檢測技術》提出了網(wǎng)絡化多目視覺在線快速檢測理論與系統(tǒng)，系統(tǒng)地介紹了機器視覺自動檢測領域的知識和技術。本書共分為六章。第1章講述數(shù)字圖像與機器視覺技術的發(fā)展歷程、發(fā)展趨勢和前景。第2章講述機器視覺系統(tǒng)的硬件構成，包括相機的分類及主要特性參數(shù)、光學鏡頭的原理與選型、圖像采集卡的原理及種類、圖像數(shù)據(jù)的傳輸方式等

本書是根據(jù)全國高等教育自學考試計算機及應用專業(yè)（獨立本科段）課程自學考試大綱編寫的。全書共分8章，主要內(nèi)容包括：計算機系統(tǒng)結構概論；數(shù)據(jù)表示、尋址方式與指令系統(tǒng)的設計、優(yōu)化、發(fā)展和改進；存儲、中斷、總線與I/O系統(tǒng)；存儲體系概念、虛擬存儲器、高速緩沖存儲器、三級存儲體系；重疊方式和流水方式的標量處理機及指令級高度并行的

計算機硬件組成包括運算器、控制器、存儲器、輸入設備和輸出設備五大部件，《計算機組成原理教程/應用型本科信息大類專業(yè)“十二五”規(guī)劃教材·21世紀普通高等教育優(yōu)秀教材》即圍繞這五大部件展開討論。全書共分9章：第1章為計算機系統(tǒng)概論；第2章為計算機中的數(shù)制及編碼；第3章為總線系統(tǒng)；第4章為中央處理器；第5章為指令系統(tǒng)；