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

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

本书共8章，内容包括：关系数据库设计范式、关系数据库事务、存储过程开发、触发器应用、关系数据库管理、查询检索高级应用、PowerDesigner设计工具、关系数据库调优。

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

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

本书共分13个项目，在内容结构上，按照交换基础篇、LAN交换和路由基础篇、路由协议和概念篇、路由协议配置篇、网络安全基础篇的结构进行布局。在教学过程中注意体现学生设计和动手能力培养的循序渐进性。《网络组建与应用》可用作计算机网络技术专业的教学用书，也可用作电子及计算机类专业的网络类课程的教材或者实验指导用书。

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

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

本书是学习网络设备配置的实训教程，从学生学习的角度来编写，内容丰富，结构清晰，通俗易懂，实例众多。全书以常见的交换机、路由器等设备为核心，内容涵盖设备的基本概念、性能指标、核心网络设备的选购、设备的配置和维护等。教程的体系结构完整，涉及的操作内容步骤清晰明确，具有较强的可模拟性，每章末尾附有相关的习题，便于读者学习。

本书面向具有计算机初级操作能力的读者，讲解了Windows7操作系统、计算机硬件组成、计算机网络（包括移动互联网）、Office办公软件和计算机维护等四个方面的内容，其中Office办公软件中包含Word2010、Excel2010、PowerPoint2010。全书从Windows7系统讲起，将以上六个方面的理论知识