近年来随着三维计算理论技术逐步完善，使得计算机视觉技术在自动化、智能化等领域占据至关重要的位置，如无人系统、视觉测量及医疗辅助等。但由于成像设备易受各种环境因素影响，使得高效率高精度的视差计算一直是计算机视觉领域的热点及难点问题。由于人类、许多动物的眼睛都位于头上不同的横向位置，通过双眼获得的立体图像的差异主要体现在相

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

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

本书在深入梳理传统媒体背景下多种媒介内容形态的历史演变与固有特性的基础上，从新媒体理念与研究方法的革新、舆论舆情的多维度变迁、实务操作的转型，以及新媒体艺术的探索等多个维度入手，深入剖析了新媒体之“新”向数智时代媒体之“智”转变的关键要素，以及这一转变对数智时代“媒体与人”关系产生的深远影响。基于此，本书从多个维度探讨

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

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

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

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

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

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