本書提出了一種基于類型系統(tǒng)和結(jié)構(gòu)操作語義的編程語言理論。第2版經(jīng)過全面修訂，幾乎每章都包含習(xí)題，并新增一章討論類型細(xì)化。本書涉及的概念廣泛，包括：基本數(shù)據(jù)類型，多態(tài)和抽象類型，動態(tài)定型，動態(tài)分派，子類型和類型細(xì)化，符號和動態(tài)分類，并行和成本語義，并發(fā)和分布。書中對不同編程語言的特性做了分析、證明和比較，所提供的方法可直

本書詳細(xì)介紹了數(shù)據(jù)倉庫的基本概念和Hive數(shù)據(jù)倉庫的架構(gòu)原理，并采用“項目驅(qū)動+理論介紹+微實例+實際代碼+運(yùn)行效果”的模式介紹項目案例。全書包括崗前培訓(xùn)和8個項目，主要內(nèi)容包括數(shù)據(jù)倉庫環(huán)境部署、基于DDL的學(xué)員信息系統(tǒng)操作、基于DML的學(xué)員信息系統(tǒng)操作、企業(yè)信息管理數(shù)據(jù)查詢與操作、網(wǎng)上商城購物數(shù)據(jù)統(tǒng)計和優(yōu)化、基于函數(shù)

《Python深度強(qiáng)化學(xué)習(xí)入門：強(qiáng)化學(xué)習(xí)和深度學(xué)習(xí)的搜索與控制》共7章。其中，第1章介紹了機(jī)器學(xué)習(xí)的分類、強(qiáng)化學(xué)習(xí)的學(xué)習(xí)機(jī)制以及深度強(qiáng)化學(xué)習(xí)的概念；第2章通過強(qiáng)化學(xué)習(xí)的基本概念、馬爾科夫決策過程和貝爾曼方程、貝爾曼方程的求解方法、無模型控制等介紹了強(qiáng)化學(xué)習(xí)的基本算法；第3章通過深度學(xué)習(xí)、卷積神經(jīng)網(wǎng)絡(luò)（CNN）、循環(huán)神經(jīng)

這本書是筆記，它的特色是“小學(xué)生寫給小學(xué)生看”�，F(xiàn)在市場上的書絕大部分都是大人寫的，雖然作者盡量試圖從小學(xué)生的角度來寫，但畢竟還是有一些隔閡。而這本書忠實記錄了小朋友自己的學(xué)習(xí)歷程和心得體會，包括成功的經(jīng)驗，也有遇到bug時的挫折。例如：在實現(xiàn)劉徽割圓法估算圓周率π時，傅鼎荃懷疑“大圓的π應(yīng)該更大”，通過實驗才確信了一

《操作系統(tǒng)原理與實踐教程(第四版)》全面講述計算機(jī)操作系統(tǒng)的基本原理和相關(guān)技術(shù)。全書共分為10章，深入介紹操作系統(tǒng)的發(fā)展歷程、通用操作系統(tǒng)的啟動過程、處理器管理、進(jìn)程管理、存儲器管理、文件管理、設(shè)備管理、系統(tǒng)安全、嵌入式操作系統(tǒng)等內(nèi)容�！恫僮飨到y(tǒng)原理與實踐教程(第四版)》內(nèi)容豐富、結(jié)構(gòu)合理、知識體系完備，主要面向計算機(jī)

本書是對深度學(xué)習(xí)感興趣的讀者的入門圖書，主要介紹深度學(xué)習(xí)算法和Python應(yīng)用實踐兩部分。在深度學(xué)習(xí)算法部分，將從邏輯回歸、淺層神經(jīng)網(wǎng)絡(luò)、深層神經(jīng)網(wǎng)絡(luò)、卷積神經(jīng)網(wǎng)絡(luò)、深度卷積網(wǎng)絡(luò)、目標(biāo)檢測算法、循環(huán)序列模型等方面介紹深度學(xué)習(xí)的核心算法。在Python應(yīng)用實踐部分，將主要介紹Python基礎(chǔ)語法，numpy基本用法，以及

全書共分10章，內(nèi)容包括圖像數(shù)據(jù)的表示與基本運(yùn)算、灰度變換、空域濾波、頻域濾波、彩色圖像處理、圖像幾何變換、圖像復(fù)原、形態(tài)學(xué)圖像處理、邊緣檢測、圖像分割等。本書以講透概念、重視方法、突出應(yīng)用、好教易學(xué)為指導(dǎo)思想，遵循概念、機(jī)理和實現(xiàn)CMI教學(xué)理念，從語義和數(shù)學(xué)兩個視角廓清數(shù)字圖像處理專業(yè)術(shù)語，分析圖像處理典型算法機(jī)理。

"本書從零開始，結(jié)合青少年兒童學(xué)習(xí)編程的實際情況和興趣特點，系統(tǒng)并全面地講解了Scratch圖形化界面編程的相關(guān)知識。 全書共15個章節(jié)，分別講解了Scratch軟件與編程原理、相關(guān)模塊指點的應(yīng)用，包括運(yùn)動指令、外觀指令、聲音指令、控制指令、事件指令、運(yùn)算指令、變量指令、偵測指令、畫筆指令，以及自制積木的相關(guān)函數(shù)應(yīng)用

本教材秉持“以學(xué)習(xí)者為中心-職業(yè)標(biāo)準(zhǔn)融入-工作過程系統(tǒng)化組織”的編寫理念，通過系統(tǒng)分析統(tǒng)信UCP運(yùn)維工程師崗位工作任務(wù)，將統(tǒng)信服務(wù)器系統(tǒng)（統(tǒng)信UOS）在日常維護(hù)和配置下的各種實踐操作、通過場景化的項目案例激發(fā)學(xué)習(xí)興趣、通過標(biāo)準(zhǔn)化業(yè)務(wù)實施流程熟悉工作過程、通過應(yīng)用結(jié)合理論讓技術(shù)更具畫面感，通過項目拓展考核鞏固業(yè)務(wù)能力和養(yǎng)

本書以Keil軟件為開發(fā)平臺，以C語言在工程實踐中的具體應(yīng)用為主線，采用項目導(dǎo)入、任務(wù)驅(qū)動的形式，將C語言語法和編程技巧等知識通過項目任務(wù)和工程應(yīng)用傳授給學(xué)生，打破了傳統(tǒng)的教學(xué)方法和教學(xué)體系結(jié)構(gòu)，解決了C語言程序設(shè)計這門課程抽象與枯燥難學(xué)的問題。全書共9個項目：項目1認(rèn)識C語言、項目2順序結(jié)構(gòu)程序設(shè)計、項目3選擇結(jié)構(gòu)程