本书介绍安全协议及其验证方法，主要内容包括四部分：第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空间模型理论等；第四部分为安全协议前沿技术研究简介，包括前沿计算领域中的安全协议、安全协议硬件卸载和人工智能与安全协议。

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

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

《信息安全导论》作为计算机科学与技术（信息安全方向）专业必修课程，本教材坚持需求驱动、问题导向和目标导向，理论与实践紧密结合，实用性强，向学生传授解决信息安全问题的方法和技术同时，立德树人，向学生传授主流价值观和方法论，不仅较全面地介绍信息安全技术、安全管理、法律法规以及伦理道德，也从章节安排上向学生传递主流文化和世界优秀文化。
手段是外在的，是方法论，而驱动人的行为的是认识论，是内在的。只有我们的认识论和方法论都返璞归真，回归本我，不攻击他人，才能从根本上解决安全问题。加强学生的信

数字经济时代，数据已经成为关键生产要素。本书结合全球视角与中国国情，深度剖析了数据基础设施的构成、运行机制、技术支撑体系及政策法规环境，旨在帮助读者精准把握数据要素基础设施的内在逻辑和发展趋势，提高驾驭数字经济的能力，精准把握数字时代脉搏。本书详细介绍了数据采集、存储、传输、计算、交换和治理等环节的数据要素基础设施建设要点，重点探讨了大数据、云计算、区块链、隐私计算、人工智能等前沿技术在数据要素基础设施建设中的深度融合和创新应用，辅以实际案例分析，揭示数据要素基础设施对数字经济高质量发展的重大意

本书以XilinxArtix-7FPGA为例，通过典型项目案例讲解VerilogHDL编程与芯片验证技术，采用“项目引领、任务驱动”的编写模式，注重理论知识与实践应用的结合，内容精选实用案例，兼顾基础与创新，符合高职教育的培养目标。全书共9个项目，内容包括FPGA设计入门、多人表决器的设计与验证、花样流水灯的设计与验证、倒计时定时器的设计与验证、多位数码管动态扫描电路的设计与验证、矩阵式键盘接口电路的设计与验证、数字钟的设计与验证、串行通信接口设计实现和HDMI显示设计实现。

"本书在全面介绍计算机图形学的基本理论及相关概念的基础上，着重对图元生成、几何变换与观察、曲线曲面生成、消隐算法、光照与颜色模型和几何造型等相关技术进行详细而系统的论述，并增加了计算机动画、虚拟现实与数字图像处理等应用技术与相关学科的描述。

全书共分3篇： 第一篇（第1～4章）为基础图形理论与算法，着重介绍计算机图形学的定义与图形软件系统、
图元生成技术、图形的几何变换及图形观察； 第二篇（第5～7章）为复杂图形构造理论，着重讨论曲线曲面生成技术、真实感图形生成及几何造型技术

本书以项目为导向，以任务为驱动，全面地介绍了ECharts数据可视化的应用全书共7个项目，项目1介绍了数据可视化概述；项目2-项目5介绍了农村电商可视化案例的农村电商发展趋势分析、销售趋势分析、用户行为分析，以及可视化大屏，内容涵盖坐标系下的网格和坐标轴，标题、图例、工具栏、提示框、标记点、标记线组件，鼠标事件，触发组件的行为事件，主题，多图表联动，异步数据加载等；项目6介绍了电商平台运营数据可视化分析综合案例；项目7介绍了基于ECharts的大数据分析可视化平台实现电商平台运营数据可

本书是一本讲授Web前端开发的教材，以任务驱动式的编写体例和通俗易懂的语言，详细讲解jQuery的基础知识。

本书共10章。第1章讲解jQuery的基础知识；第2章讲解jQuery实现多样化菜单；第3章和第4章讲解jQuery实现页面交互；第5章讲解jQuery实现动画效果；第6章讲解jQuery实现图像效果；第7章讲解jQuery操作表单；第8章讲解jQuery操作Ajax；第9章讲解jQuery Mobile移动页面开发；第10章讲解项目实战——在线商城，帮助读者将所学知识运

"本书对数据科学与工程中的算法基础进行了全面的论述，把读者引入数据科学的大门，为进一步学习和掌握大数据分析算法提供有力的支撑。本书介绍的数据科学与工程中的算法基础包括特征工程、数据表征、数据抽样、随机优化算法和关联性分析等，侧重内容的科学性、实用性和前沿性。本书结构上注重理论与实践并重，各章通过案例引出问题，并深入介绍回答类似问题需要的知识，最后通过实际案例串联本章知识点，可以使读者感受到算法的价值及其在解决实际问题中的实用性。

本书可以作为高等学校大数据、计算机等相关专业的教学用