"本书较全面地介绍了MySQL数据库的基础概念及其在现代信息系统中的应用。全书共分为11个项目，涵盖MySQL数据库的各关键内容，包括认识数据库、安装与配置MySQL开发环境、数据库设计、数据库和表的管理、创建和管理约束、数据操纵、数据查询、视图和索引、数据库编程、用户与权限管理和数据库备份与恢复。本书可作为高校计算机

AutoCAD是由美国Autodesk公司开发的计算机辅助绘图和设计软件，可用于二维绘图、设计文档和基本三维设计，在很多领域（如机械、建筑、汽车、电子及航天等）有着广泛的应用，尤其在机械设计与机械制造领域，其已经成为了广大工程技术人员必备的绘图工具之一。本书为本科教材，结合机械制图与CAD绘图国家标准的基础上，主要介绍

《SQL实战》(原著第2版)一书属于入门书，是一本用PostgreSQL写的SQL入门教程，先从基本的SQL知识开始说起，之后逐渐过渡到更高级的特性，最后以一些实际的数据用例作为结束。全书分为20章，主要内容包括：设置编码环境、创建数据库和表、查询数据——SELECT语句、数据类型、数据的导入与导出、SQL的基本数学与

本书为上海市教委组编、高建华担任总主编的大学计算机系列教材中的一本，旨在显著提升数智时代大学生的数字素养和能力，主要包括五个部分：一是数智时代与数字素养，介绍信息技术发展历史与现状、数字工具、云计算、物联网、信息安全和数字时代的风险与责任等；二是信息处理，介绍文字信息、图像信息、动画视频信息及信息展示等；三是计算思维和

本书为上海市教委组编、高建华担任总主编的大学计算机系列教材中的一本，旨在显著提升数智时代大学生的数字素养和能力，主要包括五个部分：一是数智时代与数字素养，介绍信息技术发展历史与现状、数字工具、云计算、物联网、信息安全和数字时代的风险与责任等；二是信息处理，介绍文字信息、图像信息、动画视频信息及信息展示等；三是计算思维和

本书为上海市教委组编、高建华担任总主编的大学计算机系列教材中的一本，旨在显著提升数智时代大学生的数字素养和能力，主要包括五个部分：一是数智时代与数字素养，介绍信息技术发展历史与现状、数字工具、云计算、物联网、信息安全和数字时代的风险与责任等；二是信息处理，介绍文字信息、图像信息、动画视频信息及信息展示等；三是计算思维和

作者整理了十余年“软件测试”课程的教学笔记，进而精心编排形成此书。本书阐述了黑盒测试技术和白盒测试技术的理论知识，并以航班管理软件为线索，从实践教学的视角，介绍了软件测试技术相关的三部分内容：基于黑盒技术的测试用例设计，基于白盒技术的测试用例设计和执行，自动化测试技术。 本书的特色在于案例的完整性和测试用例设计的全面

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

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

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