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

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

本書側重于介紹網絡控制系統(tǒng)的漸進和有限時間穩(wěn)定性與控制算法的一些新方法，這些方法有的是作者近年來所提出的，有的是作者對原方法進行的改進和發(fā)展。全書內容共分為十章，涉及單邊隨機時延網絡控制系統(tǒng)的分析與控制，雙邊隨機時延網絡控制的分析與控制，丟包網絡控制系統(tǒng)的分析與控制，同時受時延與丟包干擾的網絡控制系統(tǒng)的分析與控制

《信息中心網絡關鍵理論與技術》在歸納分析國內外信息中心網絡相關科研成果的基礎上，研究信息中心網絡的名字査找、緩存、路由及擁塞控制等問題，主要內容包括：名字快速査找方法，提出基于名字拆分的査找策略，旨在提高名字査找效率；網絡內容緩存策略，提出基于請求內容關聯性的預緩存策略、路由器緩存準人策略、基于節(jié)點利用比的緩存策略、基

Java是一門優(yōu)秀的純面向對象語言�！睹嫦驅ο蟪绦蛟O計Java》從Java的基本概念入手，循序漸進地介紹Java語言程序設計基礎、面向對象程序設計、圖形用戶界面設計、異常處理、多線程設計、圖形圖像處理及Applet小程序設計等。在講解過程中，始終強調以面向對象的思想來分析問題與解決問題。《面向對象程序設計Java》案例

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

《多維計算機導論課程教與學的研究與實證》以“計算機科學導論”課程為主要研究對象，從不同角度對該課程的教學進行研究與實證。首先，從計算機科學的學科特性出發(fā)，在ACT-R、SOAR、ECIP、粒計算認知模型基礎上提出實踐環(huán)節(jié)的認知模型，以此重組課程內容并優(yōu)化計算機系列課程；確定開放學習的含義及原則，研發(fā)開放學習平臺；建模課

軟件可信性度量評估與增強規(guī)范是目前計算機科學與軟件工程的一個重要研究領域，其研究成果對可信軟件開發(fā)等方向有重大的理論價值和實際意義。《軟件可信性度量評估與增強規(guī)范》融入了作者及其研究團隊近十年來承擔完成國家重要研發(fā)任務的研究與應用成果，深入系統(tǒng)地論述了軟件可信性層次化度量模型構建、分級評估體系設計以及增強規(guī)范制定等**

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

《物聯網標識技術及應用》系統(tǒng)研究傳感器網絡標識技術及其應用�！段锫摼W標識技術及應用》共9章：第1章在介紹物聯網標識的基礎上，闡述傳感器網絡標識技術的發(fā)展歷史、現狀及未來發(fā)展趨勢；第2～6章闡述傳感器網絡標識符編碼技術、傳感器網絡標識符解析技術、傳感器網絡傳感節(jié)點標識符管理技術、傳感器網絡標識符解析一致性測試技術，其中第

本書是《網絡空間安全：C語言程序設計》（科學出版社，2018）的配套習題輔導，旨在為學習者學習C語言程序設計課程提供指導和幫助。本書以C語言程序設計的基本思想和方法為主線，以培養(yǎng)學習者的邏輯思維能力、程序設計能力和自主學習能力為導向，以強化和鞏固程序設計的綜合能力和基本素養(yǎng)為目標。本書共分四章，包括章節(jié)練習、教材習題解

本書分為12個單元，通過科學、合理的結構，以親切的筆調、活潑的對話介紹了Python編程的相關知識。用有趣的例子，借助可愛的漫畫生動形象地介紹了包括變量、輸入輸出語句、循環(huán)語句、列表、對象等編程的基本概念。學習本書的內容，可以幫助孩子掌握計算機的思維方式，而書中可視化和以游戲為主的例子可以激發(fā)孩子的學習興趣，培養(yǎng)其專注

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

《Scratch3.0少兒人工智能編程指南》第1章介紹Scratch，以及它能夠實現的內容；然后引出第2章Scratch3.0的界面知識與操作方法，介紹Scratch3.0的一些基本操作；接著在第3~6章以案例形式介紹了Scratch3.0在動畫制作、游戲設計、數學編程、硬件編程4個方面的實現方法和步驟；第7章介紹Sc

本書共11章，以RedHatEnterpriseLinux6.9（簡稱RHEL6.9）為例，分別介紹了Linux操作系統(tǒng)基礎、Linux圖形化界面、Linux常用Shell命令、管理用戶和用戶組、文件系統(tǒng)及磁盤管理、系統(tǒng)與進程管理、軟件包管理、Linux應用軟件、網絡配置、Linux遠程管理、Linux安全設置及日志管

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

《新編中文版PhotoshopCS6入門與提高（第2版）》是一本講解PhotoshopCS6基本功能及運用的書。 《新編中文版PhotoshopCS6入門與提高（第2版）》共分為12課，除了對PhotoshopCS6中的功能進行由淺入深的講解外，還為每個重要功能安排了操作練習。每個練習都有詳細的制作流程，圖文并茂，一目

《新編中文版Maya2016入門與提高》是一本介紹中文版Maya2016重要功能及實際運用的書。 《新編中文版Maya2016入門與提高》共分為9課，全面、細致地講解了Maya的重要應用技術。通過學習本書，讀者能夠在較短時間內掌握Maya的建模、燈光、材質、渲染、動畫、動力學和流體等方面的技術。 《新編中文版Maya2

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

本書基于Blynk物聯網平臺，通過項目實踐的方式引導讀者制作物聯網項目。全書包括 準備篇、基礎項目實踐篇、中級項目實踐篇、高級項目實踐篇和附錄五部分內容。 本書先介紹物聯網的一些概念，并在認識物聯網開發(fā)板的基礎上介紹搭建物聯網開發(fā)環(huán) 境的方法；接著通過實現遠程控制臺燈、定時風扇等初級項目，引導讀者利用手機與硬件完成互相