該書(shū)共分為6章，其中第1章為介紹，第2~5章依次為數(shù)據(jù)流分析、基于約束的分析、抽象解釋、類型和作用系統(tǒng)，第6章為分析算法介紹。該書(shū)內(nèi)容基本囊括了程序分析領(lǐng)域中的經(jīng)典方法和技術(shù)，配以嚴(yán)謹(jǐn)?shù)男问交�系統(tǒng)，全書(shū)思路清晰、邏輯性強(qiáng)，是不可多得的經(jīng)典書(shū)籍。

本書(shū)是字節(jié)跳動(dòng)資深前端工程師嘔心瀝血之作，也是目前市場(chǎng)上少有的從原理到實(shí)戰(zhàn)深度剖析JavaScript生態(tài)中經(jīng)典工具庫(kù)的技術(shù)圖書(shū)。全書(shū)共有6篇，分別是基礎(chǔ)篇、圖形學(xué)篇、多媒體篇、跨端開(kāi)發(fā)篇、游戲開(kāi)發(fā)篇和跨界實(shí)踐篇，書(shū)中不僅詳細(xì)介紹了JavaScript語(yǔ)言在瀏覽器頁(yè)面之外的不同應(yīng)用場(chǎng)景，更從實(shí)用技巧、設(shè)計(jì)理念、原理源碼

本書(shū)是作者基于多年的教學(xué)與實(shí)踐進(jìn)行的總結(jié)，重點(diǎn)介紹了MySQL數(shù)據(jù)庫(kù)的核心原理與體系架構(gòu)，涉及開(kāi)發(fā)、運(yùn)維、管理與架構(gòu)等知識(shí)。全書(shū)共12章，包括MySQL數(shù)據(jù)庫(kù)基礎(chǔ)、詳解InnoDB存儲(chǔ)引擎、MySQL用戶管理與訪問(wèn)控制、管理MySQL的數(shù)據(jù)庫(kù)對(duì)象、MySQL應(yīng)用程序開(kāi)發(fā)、MySQL的事務(wù)與鎖、MySQL備份與恢復(fù)、My

本書(shū)提供了一系列有價(jià)值的過(guò)程、方法和工具，用于企業(yè)級(jí)Linux部署的精簡(jiǎn)和高效管理。全書(shū)分為三部分。第1部分介紹系統(tǒng)管理基礎(chǔ)知識(shí)和技術(shù)，包括在本書(shū)中用于自動(dòng)化以及包管理和高級(jí)系統(tǒng)管理等的工具Ansible。第二部分介紹如何確保一致性和可重復(fù)性仍然是Linux服務(wù)器環(huán)境的核心方面，從而促進(jìn)Linux服務(wù)器環(huán)境的可伸縮性、

本書(shū)共有8個(gè)項(xiàng)目，分別是部署動(dòng)態(tài)Web應(yīng)用、使用數(shù)據(jù)卷、部署Docker網(wǎng)絡(luò)、使用Dockerfile構(gòu)建鏡像、使用Docker鏡像倉(cāng)庫(kù)、監(jiān)控容器與限制資源、Docker-Compose單機(jī)編排容器、Kubernetes多機(jī)編排容器。本書(shū)采用循序漸進(jìn)的項(xiàng)目和任務(wù)來(lái)組織教學(xué)內(nèi)容，通過(guò)簡(jiǎn)單任務(wù)到復(fù)雜任務(wù)的逐步遞進(jìn)，講解Do

本書(shū)以HBase和MongoDB兩大NoSQL數(shù)據(jù)庫(kù)平臺(tái)為選型，以任務(wù)為向?qū)В�采用�?xiàng)目化的方式進(jìn)行項(xiàng)目任務(wù)的設(shè)計(jì)和實(shí)施，每個(gè)項(xiàng)目任務(wù)包括“任務(wù)描述+任務(wù)分析+知識(shí)準(zhǔn)備+任務(wù)實(shí)施”。全書(shū)內(nèi)容分為兩大部分：第壹部分主題為HBase，內(nèi)容包含崗前培訓(xùn)，項(xiàng)目1HBase安裝、部署與運(yùn)行，項(xiàng)目2應(yīng)用HBaseshell命令實(shí)現(xiàn)微

隨著數(shù)據(jù)集的增加，數(shù)據(jù)的呈現(xiàn)和故事化已成為大數(shù)據(jù)研究的必然趨勢(shì)。本書(shū)結(jié)合Tableau軟件的應(yīng)用，由淺入深地講述使用Tableau進(jìn)行數(shù)據(jù)分析的方法和技巧。以數(shù)據(jù)分析的思維和Tableau的具體操作為講授的主要內(nèi)容，結(jié)合具體的數(shù)據(jù)集案例，使讀者深刻體會(huì)到數(shù)據(jù)可視化的作用。本書(shū)內(nèi)容包括：大數(shù)據(jù)及數(shù)據(jù)可視化基礎(chǔ)、Table

C++20高級(jí)編程主要講解C++庫(kù)、框架開(kāi)發(fā)中的高級(jí)編程技術(shù)，以及*新的C++20標(biāo)準(zhǔn)特性。全書(shū)共10章，分別為：類型與對(duì)象、編譯時(shí)多態(tài)、概念約束、元編程介紹、模板元編程、constexpr元編程、Ranges標(biāo)準(zhǔn)庫(kù)、協(xié)程、模塊、綜合運(yùn)用。其中C++20的四大特性獨(dú)立成章，一些小的特性則貫穿于全書(shū)，其他章節(jié)則探討了面向

本書(shū)以SQLServer2019為平臺(tái)，從數(shù)據(jù)庫(kù)管理和開(kāi)發(fā)的角度出發(fā)，介紹數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)開(kāi)發(fā)技術(shù)，內(nèi)容涵蓋開(kāi)發(fā)數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)所需的基本知識(shí)和技術(shù)。本書(shū)將數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)開(kāi)發(fā)實(shí)例“學(xué)生信息管理系統(tǒng)”融入各項(xiàng)目，再把每個(gè)項(xiàng)目分解成若干任務(wù)，使學(xué)生逐步學(xué)會(huì)創(chuàng)建、管理、開(kāi)發(fā)數(shù)據(jù)庫(kù)，并掌握使用T-SQL進(jìn)行程序設(shè)計(jì)的編程思想和技術(shù)

這是一本寫(xiě)給青少年的Python編程圖書(shū)，行文風(fēng)格簡(jiǎn)明、易讀，示例和項(xiàng)目活潑、有趣。全書(shū)始終遵循“小巧的Python”這一原則，力求簡(jiǎn)化技術(shù)性定義，讓剛接觸Python語(yǔ)言的青少年理解并真正掌握Python的基礎(chǔ)知識(shí)。 本書(shū)先介紹變量、循環(huán)、列表、模塊、函數(shù)、字典等關(guān)鍵概念，然后通過(guò)示例和項(xiàng)目，引導(dǎo)青少年在充分理解這些