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

《安全協(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í)施模型、安

本書主要介紹認(rèn)證與密鑰協(xié)商協(xié)議的設(shè)計(jì)方法以及協(xié)議中所涉及的相關(guān)知識(shí)。針對(duì)若干應(yīng)用環(huán)境，例如VoIP網(wǎng)絡(luò)、電子醫(yī)療健康網(wǎng)絡(luò)、智能電網(wǎng)等應(yīng)用環(huán)境，本文詳細(xì)闡述了認(rèn)證與密鑰協(xié)商協(xié)議設(shè)計(jì)的思想，具體的設(shè)計(jì)步驟。此外，對(duì)提出協(xié)議的安全性采用不同方法進(jìn)行了詳細(xì)的分析和證明，并對(duì)提出協(xié)議的性能進(jìn)行了實(shí)驗(yàn)對(duì)比分析。 本書針對(duì)不同應(yīng)用

PhotoshopDreamweaverFlash3個(gè)軟件是主流的網(wǎng)頁(yè)設(shè)計(jì)三劍客，它們廣泛應(yīng)用于網(wǎng)頁(yè)設(shè)計(jì)領(lǐng)域，其中PhotoshopCS6通常用來(lái)設(shè)計(jì)網(wǎng)頁(yè)效果圖，DreamweaverCS6主要用來(lái)合成網(wǎng)頁(yè)頁(yè)面，而FlashCS6則用來(lái)制作網(wǎng)頁(yè)中需要的動(dòng)畫效果。本書即以PhotoshopDreamweaverFlash

PhotoshopDreamweaverFlash3個(gè)軟件是主流的網(wǎng)頁(yè)設(shè)計(jì)三劍客，它們廣泛應(yīng)用于網(wǎng)頁(yè)設(shè)計(jì)領(lǐng)域，其中PhotoshopCS6通常用來(lái)設(shè)計(jì)網(wǎng)頁(yè)效果圖，DreamweaverCS6主要用來(lái)合成網(wǎng)頁(yè)頁(yè)面，而FlashCS6則用來(lái)制作網(wǎng)頁(yè)中需要的動(dòng)畫效果。本書即以PhotoshopDreamweaverFlash

文明史的顯著特征之一，是隨著不同文化因子的混合而發(fā)生互通互融，而不是沖突。尼爾弗格森 21世紀(jì)被稱為網(wǎng)絡(luò)時(shí)代，但事實(shí)上，網(wǎng)絡(luò)早已存在。從印刷術(shù)的誕生到網(wǎng)絡(luò)社群爆發(fā)，在《廣場(chǎng)與高塔》這本書中，弗格森通貫古今，以新奇的視角，為我們重鑄了一個(gè)個(gè)有形的和無(wú)形的網(wǎng)絡(luò)。從神秘的共濟(jì)會(huì)、輝煌的羅斯柴爾德家族、復(fù)雜的薩克森科堡哥達(dá)邦聯(lián)

本書共分為25章，由淺入深，循序漸進(jìn)地講解了Excel2019相關(guān)知識(shí)，分別從Excel基礎(chǔ)知識(shí)、函數(shù)、圖表、數(shù)據(jù)分析以及宏和VBA幾個(gè)方面進(jìn)行了詳細(xì)的介紹。本書圖文結(jié)合，重要知識(shí)點(diǎn)以實(shí)例介紹，易于讀者理解。

全書共25章，內(nèi)容包括初識(shí)Excel2019、設(shè)置Excel2019工作環(huán)境、工作表基本操作、工作表頁(yè)面布局與打印設(shè)置、數(shù)據(jù)有效性與條件格式應(yīng)用、數(shù)據(jù)排序與篩選、數(shù)據(jù)處理與分析、數(shù)據(jù)組合與分類匯總、名稱定義使用、公式與函數(shù)基礎(chǔ)、邏輯函數(shù)應(yīng)用、文本與信息處理函數(shù)應(yīng)用、日期與時(shí)間函數(shù)應(yīng)用、數(shù)學(xué)函數(shù)應(yīng)用、數(shù)據(jù)庫(kù)函數(shù)應(yīng)用技巧、

本書根據(jù)實(shí)際教學(xué)經(jīng)驗(yàn)及高校學(xué)生的反饋，摒棄了傳統(tǒng)的、大段文字理論的模式，采用先實(shí)例后基礎(chǔ)的講解模式。全書共分10章，按照平面設(shè)計(jì)工作的實(shí)際需求組織內(nèi)容，基礎(chǔ)知識(shí)以實(shí)用、夠用為原則。主要內(nèi)容包括PhotoshopCC的奇妙之旅、基礎(chǔ)圖形的繪制、數(shù)碼照片的編輯——圖像的處理、個(gè)性按鈕及圖像設(shè)計(jì)與處理——圖層的應(yīng)用、手繪技法

1.觀眾滿意的才是好PPT，不是自己滿意 《好PPT壞PPT銳普的100個(gè)PPT秘訣》是從PPT的本質(zhì)（觀眾的認(rèn)知工具）出發(fā)，站在觀眾體驗(yàn)的角度，揭示好PPT的五個(gè)層次：可信、放松、悅目、動(dòng)心、驚喜，并圍繞這五個(gè)層次闡述了好PPT的100條秘訣。 2.游戲化學(xué)習(xí)，邊猜邊學(xué)，樂(lè)趣無(wú)窮 《好PPT壞PPT銳普的100個(gè)PP