《安全協(xié)議實(shí)施安全性自動(dòng)化分析與驗(yàn)證》系統(tǒng)介紹安全協(xié)議實(shí)施安全性自動(dòng)化分析與驗(yàn)證的基本理論和關(guān)鍵技術(shù)及**成果。主要內(nèi)容包括安全協(xié)議實(shí)施安全性分析與驗(yàn)證的國(guó)內(nèi)外發(fā)展現(xiàn)狀、一階定理證明器ProVerif及應(yīng)用、自動(dòng)化安全協(xié)議證明器CryptoVerif及應(yīng)用、基于計(jì)算模型自動(dòng)化抽取安全協(xié)議Blanchet演算實(shí)施模型、安

本書(shū)共19章，全面講解了Cinema4DR18的使用方法并配以對(duì)應(yīng)的案例操作，介紹了在工作中常用的建模、材質(zhì)、燈光、渲染、粒子、毛發(fā)、布料、動(dòng)畫(huà)、運(yùn)動(dòng)圖形、效果器和Xpresso等方面的知識(shí)，同時(shí)介紹了與AfterEffects軟件結(jié)合使用、UV貼圖拆分案例和OC外置渲染器的知識(shí)。知識(shí)全面，覆蓋性強(qiáng)，案例舉一反三。

本書(shū)共分13個(gè)項(xiàng)目，在內(nèi)容結(jié)構(gòu)上，按照交換基礎(chǔ)篇、LAN交換和路由基礎(chǔ)篇、路由協(xié)議和概念篇、路由協(xié)議配置篇、網(wǎng)絡(luò)安全基礎(chǔ)篇的結(jié)構(gòu)進(jìn)行布局。在教學(xué)過(guò)程中注意體現(xiàn)學(xué)生設(shè)計(jì)和動(dòng)手能力培養(yǎng)的循序漸進(jìn)性�！毒W(wǎng)絡(luò)組建與應(yīng)用》可用作計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)專業(yè)的教學(xué)用書(shū)，也可用作電子及計(jì)算機(jī)類專業(yè)的網(wǎng)絡(luò)類課程的教材或者實(shí)驗(yàn)指導(dǎo)用書(shū)。

本書(shū)由一線講師和設(shè)計(jì)師傾力編寫(xiě)，深入挖掘PhotoshopCS6的核心工具、命令與功能，幫助讀者在短時(shí)間內(nèi)迅速掌握PhotoshopCS6的應(yīng)用方法與技巧，并將其運(yùn)用到實(shí)際操作中。全書(shū)分為4個(gè)部分：第一部分是Photoshop入門(mén)和基本操作；第二部分是Photoshop核心功能，如選區(qū)與填色、繪畫(huà)與圖像修飾、調(diào)色、照片

本教材共分為六章，主要內(nèi)容包括虛擬現(xiàn)實(shí)認(rèn)知、虛擬現(xiàn)實(shí)的產(chǎn)品認(rèn)知、虛擬現(xiàn)實(shí)在各領(lǐng)域的應(yīng)用、虛擬現(xiàn)實(shí)的關(guān)鍵技術(shù)、增強(qiáng)現(xiàn)實(shí)、混合現(xiàn)實(shí)等。在內(nèi)容設(shè)計(jì)上通過(guò)劃分小節(jié)分別闡述虛擬現(xiàn)實(shí)的基本概念、基本特征、系統(tǒng)分類及研究概況，虛擬現(xiàn)實(shí)的產(chǎn)品，虛擬現(xiàn)實(shí)在醫(yī)療健康領(lǐng)域、旅游行業(yè)、房地產(chǎn)領(lǐng)域、游戲和影音媒體、購(gòu)物領(lǐng)域、教育領(lǐng)域、制造領(lǐng)域、

內(nèi)容提要 這是一本全面介紹IllustratorCS6應(yīng)用技巧的書(shū)，從軟件基本應(yīng)用講起，配合大量實(shí)訓(xùn)練習(xí)，詳細(xì)介紹了IllustratorCS6的功能和特性。全書(shū)共計(jì)14章，以循序漸進(jìn)的方法講解Illustrator的基本操作，顏色及圖案填充，圖形的選擇，變換與變形，畫(huà)筆工具與符號(hào)藝術(shù)，修剪、混合與封套扭曲，文字，圖

本書(shū)由多年從事網(wǎng)絡(luò)技術(shù)教學(xué)工作及系統(tǒng)集成項(xiàng)目的教師及工程技術(shù)人員編寫(xiě)。本書(shū)以注重實(shí)際操作、注重主流技術(shù)、注重網(wǎng)絡(luò)應(yīng)用為中心，主要目的是讓學(xué)生掌握和熟悉網(wǎng)絡(luò)互聯(lián)的組網(wǎng)方法和相關(guān)設(shè)備的配置，能夠利用互聯(lián)網(wǎng)絡(luò)作為本學(xué)科的學(xué)習(xí)與研究工具，適應(yīng)信息化社會(huì)的發(fā)展。本書(shū)既能保持教學(xué)的系統(tǒng)性，又能反應(yīng)當(dāng)前網(wǎng)絡(luò)互聯(lián)發(fā)展的最新技術(shù)。

本書(shū)主要介紹物聯(lián)網(wǎng)規(guī)劃與設(shè)計(jì)方面的知識(shí)，首先對(duì)物聯(lián)網(wǎng)技術(shù)國(guó)內(nèi)外發(fā)展情況進(jìn)行介紹，講解物聯(lián)網(wǎng)體系結(jié)構(gòu)和網(wǎng)絡(luò)設(shè)計(jì)方法，然后就物聯(lián)網(wǎng)的感知層、網(wǎng)絡(luò)層和應(yīng)用層的設(shè)計(jì)流程進(jìn)行描述，最后給出智慧農(nóng)業(yè)和智慧社區(qū)兩個(gè)典型的物聯(lián)網(wǎng)系統(tǒng)的設(shè)計(jì)實(shí)例。本書(shū)內(nèi)容涉及物聯(lián)網(wǎng)系統(tǒng)集成方法、物聯(lián)網(wǎng)體系結(jié)構(gòu)及其各層次（感知層、傳輸層、應(yīng)用層）的設(shè)計(jì)原則

本書(shū)以零基礎(chǔ)講解與自學(xué)為宗旨，以圖文并茂、理論與實(shí)戰(zhàn)相結(jié)合的方式引導(dǎo)讀者深入學(xué)習(xí)，涵蓋了PhotoshopCC常用的各個(gè)功能，深入淺出地講解使用Photoshop處理圖片的各項(xiàng)技術(shù)以及實(shí)戰(zhàn)技能。書(shū)中的實(shí)例針對(duì)性強(qiáng)，以便讀者在學(xué)習(xí)軟件技法的同時(shí)能夠快速掌握每個(gè)知識(shí)點(diǎn)，為日后應(yīng)用于工作打好基礎(chǔ)。通過(guò)理論知識(shí)、實(shí)戰(zhàn)、提示等內(nèi)

本書(shū)以AutoCAD2019軟件為平臺(tái)，從實(shí)際工作需求出發(fā)，并結(jié)合實(shí)例和習(xí)題，系統(tǒng)地介紹AutoCAD2019的相關(guān)知識(shí)和應(yīng)用方法，引導(dǎo)讀者深入學(xué)習(xí)。 全書(shū)分為4篇，共22章。第1篇為基礎(chǔ)入門(mén)篇，介紹了AutoCAD2019的安裝與配置方法等；第2篇為二維繪圖篇，介紹了二維圖像的繪制與編輯、圖層、圖塊、文字和表格、尺寸