本书介绍安全协议及其验证方法，主要内容包括四部分：第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空

本书共分为八个章节，以软件测试工作流程为主线，软件测试技术为抓手，通过常用测试工具和实践案例来介绍单元测试、功能测试、移动应用测试、性能测试、嵌入式测试、大数据测试和机器学习测试的实施过程。本书的读者对象是软件工程初学者、软件工程专业实践者以及参加“大学生软件测试大赛”的学生。

本书突出重点地介绍了数据库系统的基本概念、基本原理和基本设计方法，同时以SQLServer为背景介绍了数据库原理的技术应用（实验方式）。全书共有6章及14个实验，第1部分数据库原理知识内容包括：数据库系统概述、数据模型、数据库系统结构，关系数据理论，SQL语言，关系数据库设计理论，数据库设计，SQLServer数据库管

《信息安全导论》作为计算机科学与技术（信息安全方向）专业必修课程，本教材坚持需求驱动、问题导向和目标导向，理论与实践紧密结合，实用性强，向学生传授解决信息安全问题的方法和技术同时，立德树人，向学生传授主流价值观和方法论，不仅较全面地介绍信息安全技术、安全管理、法律法规以及伦理道德，也从章节安排上向学生传递主流文化和世界

本书以德国高等教育为例说明数据库的运用。作者有意选择这个简单的例子，是为了便于读者理解和记忆。为方便完成SQL部分的习题，本书还将作者在慕尼黑大学开发的的数据库系统HyPer的Web界面提供给大家使用。 本书也适合自学。因为作者对所有的概念都尽量用易于理解的例子加以说明。 本书仅讨论现代数据库系统，对关系模型，我们尤其

本书是学习Python语言的入门教程。全书分上下两篇，上篇(理论篇)共8章，包括Python程序设计概述、顺序结构程序设计、分支和循环结构程序设计、字符串、列表与元组、字典与集合、函数、文件等程序设计基础内容；每章末尾配有相应的思维导图，对本章的知识结构、思维过程进行梳理总结，以帮助学生复习巩固、加深理解。本书下篇（习

本书共包含7个部分，即绪论、5个项目、课程拓展。绪论部分介绍了课程的定位及课程的素质目标、能力目标、知识目标等；5个项目分别涵盖了Python在文件操作、数据分析、数据可视化、管理信息系统及网络爬虫等方面的相关知识点、综合项目案例及技能训练；课程拓展部分主要介绍与本课程紧密相关的岗位、竞赛、证书及相关的知识和技能需求。

软件开发大数据分析研究与实践

本书内容基本覆盖计算机视觉的主要方面，除绪论外，共10章，分别介绍10类3D计算机视觉技术:摄像机成像和标定、深度图像采集、3D点云数据采集及加工、双目立体视觉、多目立体视觉、单目多图像场景恢复、单目单图像场景恢复、广义匹配、同时定位和制图，以及时空行为理解。本书侧重介绍计算机视觉的基本原理及近期进展。在2~11章中，

本书在介绍计算机网络基本原理的基础上，基于PacketTracer网络仿真软件，利用具体的案例对相关原理和应用进行仿真分析。本书不仅涵盖了TCP/IP模型各层协议的基本内容，涉及IPv6、无线网络构建、网络安全等较新的知识点，而且还结合了具体的工程实践应用，能够有效帮助读者理解基本概念，提高其理论联系实际、学以致用的工