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

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

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

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

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

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

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

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

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

本书将计算机与互联网相关的内容分为上下两篇，讲解了与计算机和互联网相关的基础知识。书中上篇介绍了计算机基础理论知识，包括计算机概述、计算机系统的组成、计算机中信息的表示、程序设计基础；下篇介绍了与互联网相关的知识，包括计算机网络、云计算、大数据、物联网。