本書是高等教育出版社與達內(nèi)時代科技集團（以下簡稱達內(nèi)集團）聯(lián)合出品的程序類新形態(tài)一體化教材，由達內(nèi)集團諸多開發(fā)經(jīng)驗及授課經(jīng)驗豐富的一線講師編寫。本書以信息技術（IT）互聯(lián)網(wǎng)企業(yè)實際用人的要求為導向，總結近幾年國家應用型本科及示范性高職院校Web前端技術專業(yè)教學改革經(jīng)驗及達內(nèi)集團在IT培訓行業(yè)十多年的經(jīng)驗編寫而成。本書以

本書主要內(nèi)容包括Photoshop基本的界面操作、圖形圖像基礎理論、選區(qū)的創(chuàng)建與調(diào)整、圖像修飾與潤色、文字輸入與編輯和濾鏡的使用技巧，尤其對于Photoshop的重點知識（如圖層、通道等）進行了較為深入的講解。此外，附錄還給出了第1章至第10章選擇題的參考答案。為了學習者能夠快速且有效地掌握核心知識和技能，也方便教師采

本書物聯(lián)制造技術是先進制造技術與現(xiàn)代信息技術有機融合的產(chǎn)物，是現(xiàn)代制造企業(yè)追求的一種新型制造模式和信息服務模式。它是增強企業(yè)自主創(chuàng)新能力、提升企業(yè)經(jīng)營管理和服務水平的重要途徑。它為促進制造企業(yè)由生產(chǎn)型制造向服務型制造轉變，為企業(yè)搶占產(chǎn)業(yè)價值鏈高端提供了重要的技術支撐。本書通過系統(tǒng)梳理物聯(lián)制造技術所涵蓋的內(nèi)容，在對其技術

本書主要講解Photoshop的基礎知識，內(nèi)容包括基本的界面操作、圖形圖像基礎理論、選區(qū)的創(chuàng)建與調(diào)整、圖像的修飾與潤色等。

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

本書共6章。第1章介紹新一代互聯(lián)網(wǎng)研究概況，由當前互聯(lián)網(wǎng)技術面臨的問題入手，歸納總結新一代互聯(lián)網(wǎng)體系結構研究過程中的共識與分歧，同時提出一種新型的網(wǎng)絡體系結構。第2章介紹新一代互聯(lián)網(wǎng)研究重要計劃，給出國際上的主要研究計劃與主要研究項目。第3-6章重點討論新一代互聯(lián)網(wǎng)的部分核心技術。

本書根據(jù)教育部頒發(fā)的《中等職業(yè)學校專業(yè)教學標準（試行）信息技術類（第一輯）》中的相關教學內(nèi)容和要求編寫。本書內(nèi)容包括鍵盤操作及訓練指導，訓練軟件操作指導，英文錄入訓練指導，五筆字型輸入法基礎，漢字拆分訓練指導，鍵名字根、成字字根漢字訓練指導，一、二、三級簡碼和四級全碼訓練指導，多字詞組訓練指導，中文文章錄入訓練指導，搜

適應中等職業(yè)學校計算機課程改革的要求，從平面設計和制作技能培訓的實際出發(fā)，結合當前平面設計軟件的流行版本CorelDRAWX6，我們組織編寫了本書。本書的編寫從滿足經(jīng)濟發(fā)展對高素質(zhì)勞動者和技能型人才的需要出發(fā)，在課程結構、教學內(nèi)容、教學方法等方面進行了新的探索與改革創(chuàng)新，以利于學生更好地掌握本課程的內(nèi)容，利于學生理論知

《語義物聯(lián)網(wǎng)》從項目團隊當前正在開展的主要研究方向出發(fā)，介紹了語義物聯(lián)網(wǎng)研究領域中的關鍵技術和研究成果。從語義物聯(lián)網(wǎng)主要研究和解決的問題以及面臨的挑戰(zhàn)展開，重點討論物聯(lián)網(wǎng)前端資源描述和建模、物聯(lián)網(wǎng)感知數(shù)據(jù)描述和處理、物聯(lián)網(wǎng)感知數(shù)據(jù)自動語義標注、物聯(lián)網(wǎng)語義事件處理、物聯(lián)網(wǎng)時空語義建模等方面的關鍵技術和方法，并對語義物聯(lián)網(wǎng)

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