《中国互联网发展报告2019》客观、忠实地记录了2018年以来中国互联网行业的发展状况，对中国互联网发展环境、资源、重点业务和应用、主要细分行业和重点领域的发展状况进行了总结、分析和研究，既有宏观分析和综述，也有专项研究。本书内容丰富、重点突出、数据翔实、图文并茂，对互联网相关从业者具有重要的参考价值。

本书主要介绍物联网规划与设计方面的知识，首先对物联网技术国内外发展情况进行介绍，讲解物联网体系结构和网络设计方法，然后就物联网的感知层、网络层和应用层的设计流程进行描述，最后给出智慧农业和智慧社区两个典型的物联网系统的设计实例。本书内容涉及物联网系统集成方法、物联网体系结构及其各层次（感知层、传输层、应用层）的设计原则

《语义物联网》从项目团队当前正在开展的主要研究方向出发，介绍了语义物联网研究领域中的关键技术和研究成果。从语义物联网主要研究和解决的问题以及面临的挑战展开，重点讨论物联网前端资源描述和建模、物联网感知数据描述和处理、物联网感知数据自动语义标注、物联网语义事件处理、物联网时空语义建模等方面的关键技术和方法，并对语义物联网

《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及**成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安

本书主要介绍认证与密钥协商协议的设计方法以及协议中所涉及的相关知识。针对若干应用环境，例如VoIP网络、电子医疗健康网络、智能电网等应用环境，本文详细阐述了认证与密钥协商协议设计的思想，具体的设计步骤。此外，对提出协议的安全性采用不同方法进行了详细的分析和证明，并对提出协议的性能进行了实验对比分析。 本书针对不同应用

本书以AutoCAD2019软件为平台，从实际工作需求出发，并结合实例和习题，系统地介绍AutoCAD2019的相关知识和应用方法，引导读者深入学习。 全书分为4篇，共22章。第1篇为基础入门篇，介绍了AutoCAD2019的安装与配置方法等；第2篇为二维绘图篇，介绍了二维图像的绘制与编辑、图层、图块、文字和表格、尺寸

本书共19章，全面讲解了Cinema4DR18的使用方法并配以对应的案例操作，介绍了在工作中常用的建模、材质、灯光、渲染、粒子、毛发、布料、动画、运动图形、效果器和Xpresso等方面的知识，同时介绍了与AfterEffects软件结合使用、UV贴图拆分案例和OC外置渲染器的知识。知识全面，覆盖性强，案例举一反三。

内容提要 这是一本全面介绍IllustratorCS6应用技巧的书，从软件基本应用讲起，配合大量实训练习，详细介绍了IllustratorCS6的功能和特性。全书共计14章，以循序渐进的方法讲解Illustrator的基本操作，颜色及图案填充，图形的选择，变换与变形，画笔工具与符号艺术，修剪、混合与封套扭曲，文字，图

《新编中文版PhotoshopCS6入门与提高（第2版）》是一本讲解PhotoshopCS6基本功能及运用的书。 《新编中文版PhotoshopCS6入门与提高（第2版）》共分为12课，除了对PhotoshopCS6中的功能进行由浅入深的讲解外，还为每个重要功能安排了操作练习。每个练习都有详细的制作流程，图文并茂，一目

本书由一线讲师和设计师倾力编写，深入挖掘PhotoshopCS6的核心工具、命令与功能，帮助读者在短时间内迅速掌握PhotoshopCS6的应用方法与技巧，并将其运用到实际操作中。全书分为4个部分：第一部分是Photoshop入门和基本操作；第二部分是Photoshop核心功能，如选区与填色、绘画与图像修饰、调色、照片