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

《多维计算机导论课程教与学的研究与实证》以“计算机科学导论”课程为主要研究对象，从不同角度对该课程的教学进行研究与实证。首先，从计算机科学的学科特性出发，在ACT-R、SOAR、ECIP、粒计算认知模型基础上提出实践环节的认知模型，以此重组课程内容并优化计算机系列课程；确定开放学习的含义及原则，研发开放学习平台；建模课

软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域，其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果，深入系统地论述了软件可信性层次化度量模型构建、分级评估体系设计以及增强规范制定等**

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

《物联网标识技术及应用》系统研究传感器网络标识技术及其应用。《物联网标识技术及应用》共9章：第1章在介绍物联网标识的基础上，阐述传感器网络标识技术的发展历史、现状及未来发展趋势；第2～6章阐述传感器网络标识符编码技术、传感器网络标识符解析技术、传感器网络传感节点标识符管理技术、传感器网络标识符解析一致性测试技术，其中第

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

估计算法作为数据融合技术的重要组成部分，其性能评估对于图像融合、目标识别、目标跟踪等具有重要的理论和现实意义。本书围绕估计算法性能评估的理论与算法进行了深入研究，从不同角度对估计算法进行评估，阐述几种综合、全面、具有互补性的度量方法，以更好地丰富和完善估计技术的性能评估理论。

在国家政策的支持下，2018年以来我国网络可信身份服务业发展迅猛，规模持续增加、结构更趋合理、企业成长迅速、技术逐渐成熟。本书系统分析了国内外相关做法和经验，具体阐述了我国网络可信身份服务业发展现状、特点和问题，明晰了网络可信身份战略的实施路径。本书分为综合篇、国际篇、技术和标准篇、产业和应用篇、行业实践篇、展望篇，共

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

遗传算法由于其在解决非线性、大空间、全局寻优、组合优化等复杂问题方面所具有的独特优势，得到了国内外学者的广泛关注，并在电子、通信、计算机、自动化、信号处理和模式识别等众多领域得到了成功的应用。本书首先介绍遗传算法的概念、理论、主要应用方向、算法流程和关键参数，并给出具体的MATLAB仿真实例；然后介绍直线阵列、平面阵列

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

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

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

本书共11章，以RedHatEnterpriseLinux6.9（简称RHEL6.9）为例，分别介绍了Linux操作系统基础、Linux图形化界面、Linux常用Shell命令、管理用户和用户组、文件系统及磁盘管理、系统与进程管理、软件包管理、Linux应用软件、网络配置、Linux远程管理、Linux安全设置及日志管

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

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

《新编中文版Maya2016入门与提高》是一本介绍中文版Maya2016重要功能及实际运用的书。 《新编中文版Maya2016入门与提高》共分为9课，全面、细致地讲解了Maya的重要应用技术。通过学习本书，读者能够在较短时间内掌握Maya的建模、灯光、材质、渲染、动画、动力学和流体等方面的技术。 《新编中文版Maya2

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

本书基于Blynk物联网平台，通过项目实践的方式引导读者制作物联网项目。全书包括 准备篇、基础项目实践篇、中级项目实践篇、高级项目实践篇和附录五部分内容。 本书先介绍物联网的一些概念，并在认识物联网开发板的基础上介绍搭建物联网开发环 境的方法；接着通过实现远程控制台灯、定时风扇等初级项目，引导读者利用手机与硬件完成互相

本书对近年来涌现出的各种主流分布式技术做了简要介绍和全面梳理。本书将分布式系统中涉及的技术分为前端构造技术、分布式中间件技术和分布式存储技术三大类，对每类技术都详细介绍了其原理、设计思想和架构，以及相关应用场景。此外，本书还总结了分布式系统的构建思想，并分别对业界几个非常成功的大型分布式系统（谷歌搜索系统、淘宝网电商平