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

《河南省地方標(biāo)準(zhǔn)計(jì)算機(jī)信息系統(tǒng)(場(chǎng)地)防雷安全檢測(cè)技術(shù)規(guī)范DB41/T726-2012》由河南省氣象局編著

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

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

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

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

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

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

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

相比于傳統(tǒng)類型的算法分析與設(shè)計(jì)教程，本書的最大特點(diǎn)是將計(jì)算思維這種思維方式貫穿于全書的各個(gè)章節(jié)中，力圖使讀者不僅理解和掌握這門課程的基本內(nèi)容，而且通過對(duì)全書的學(xué)習(xí)，能夠認(rèn)識(shí)和體會(huì)計(jì)算思維這種新的思維模式在算法的分析與設(shè)計(jì)中的運(yùn)用方法。除此以外，本書在第8章介紹了當(dāng)前在算法研究領(lǐng)域的前沿一一智能算法。為了便于讀者很好地掌