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

本书从初学者的角度出发，通过通俗易懂的语言，详细介绍了机器学习、NLP自然语言处理（聊天机器人设计）、网络爬虫等应用知识，书中所有知识点都结合具体实例进行讲解，可以使读者轻松领会Python程序开发的精髓，让零基础的读者轻松跨入编程领域。本书适合Python语言零基础的学生、以及从事数据建模框架和与机器学习、NLP自然

《Scratch3.0少儿人工智能编程指南》第1章介绍Scratch，以及它能够实现的内容；然后引出第2章Scratch3.0的界面知识与操作方法，介绍Scratch3.0的一些基本操作；接着在第3~6章以案例形式介绍了Scratch3.0在动画制作、游戏设计、数学编程、硬件编程4个方面的实现方法和步骤；第7章介绍Sc

本书是《网络空间安全：C语言程序设计》（科学出版社，2018）的配套习题辅导，旨在为学习者学习C语言程序设计课程提供指导和帮助。本书以C语言程序设计的基本思想和方法为主线，以培养学习者的逻辑思维能力、程序设计能力和自主学习能力为导向，以强化和巩固程序设计的综合能力和基本素养为目标。本书共分四章，包括章节练习、教材习题解

本书分为12个单元，通过科学、合理的结构，以亲切的笔调、活泼的对话介绍了Python编程的相关知识。用有趣的例子，借助可爱的漫画生动形象地介绍了包括变量、输入输出语句、循环语句、列表、对象等编程的基本概念。学习本书的内容，可以帮助孩子掌握计算机的思维方式，而书中可视化和以游戏为主的例子可以激发孩子的学习兴趣，培养其专注

本教材根据计算机专业岗位能力标准，分析和归纳课程核心能力所对应的知识与技能要求,然后对知识技能进行归属性分析，按项目进行教学单元构建，以实际工作任务驱动，将知识融合到项目、任务中，通过项目、任务的训练加深学生对知识的理解、记忆和掌握运用，在项目、任务训练中提高学生的职业技能。通过本课程的学习，使学生具有简单计算机网络的

本书共6章。第1章介绍新一代互联网研究概况，由当前互联网技术面临的问题入手，归纳总结新一代互联网体系结构研究过程中的共识与分歧，同时提出一种新型的网络体系结构。第2章介绍新一代互联网研究重要计划，给出国际上的主要研究计划与主要研究项目。第3-6章重点讨论新一代互联网的部分核心技术。

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

本书以基础知识为依托、以案例教学为特色，共分10章，穿插17个案例和近百个小例程讲授表、查询、窗体、报表、宏及模块的创建步骤和操作过程。另外，配套使用电子版完成了10个实训题目，以扫二维码的形式即可获得每章的习题及答案。结合本书的演示文稿PPT，帮助学生融会贯通全书的内容。教材编写中力求通俗易懂，学生通过学习本教程即能

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