本书以“厚理论、重问题、强实践、广应用”为出发点撰写内容。本书基于射影几何和数学建模思想，介绍针孔摄像机模型和全景摄像机模型，解决了摄像机标定、三维重建等计算机视觉中的基本理论和典型问题，分析建模方法及其应用。本书分三篇：理论篇，从射影几何的角度介绍针孔摄像机、全景摄像机和三维重构的基础知识；实践篇，基于理论知识，通过

本书在介绍深度学习、百度飞桨等相关知识的基础上，着重介绍了图像分类、目标检测、语义分割、人体关键点检测、图像生成、视频分类、图像文本检测和识别、图像识别等计算机视觉任务的实现原理及深度学习模型框架，并通过具体案例来详细介绍各任务的实现细节。全书分为理论篇和实战篇。理论篇（第1～4章）梳理了计算机视觉技术的发展历程、主要

本书以图解的方式通俗易懂的讲解计算机系统中各项技术的本质，包括编程语言的本质是什么、操作系统、进程线程协程等的本质是什么、到底什么是内存、什么是堆区栈区、内存分配等是怎么一回事、怎样从晶体管构建出CPU、I/O是如何实现的等等，从根源出发，一步步讲解一项技术到底是怎么来的，同时内容可视化——辅助大量精心设计的插图，几乎

本书对二维、三维目标检测技术涉及的骨干网络及入门必备的计算机视觉算法进行全面的介绍。本书由浅入深地介绍了MNIST、ImageNet、CIFAR、波士顿房产、ModelNet等经典二维、三维数据集和相关国际赛事，还介绍了TensorFlow中的二维卷积层、全连接层、激活层、池化层、批次归一化层、随机失活层的算法和梯度下

本书第1章是模式分析概述，宏观介绍模式分析。第2章主要论述模式分析的基本原则与策略；容量、集中度、VC维、Rademacher理论；这些是模式分析的顶层思想和泛化错误率分析的基础理论。第3章给出后面各章节共用的核函数与核映射空间知识。在前面三章的基础上，讨论具体的模式分析与核方法，各章节首先比较详细论述基本原理和方法，

本书介绍了常见的算法设计方法，主要内容包括算法概述、递归、分治法、动态规划、贪心算法、回溯法和分支限界法。书中介绍各种算法的设计思路、算法复杂性及实例分析，同时在每一章的章首*分增加了学习要点，每一章的章末给出和本章内容相关的习题。本书适合普通高等学校及高职院校的计算机科学与技术专业、软件工程专业、数据科学与技术专业、

机器视觉是当代智能制造、自动控制等领域中重要的研究内容之一。本书涵盖了机器视觉的基本原理与概念、机器视觉系统的构成等内容，并以VisionPro为例介绍了机器视觉技术在测量、识别、引导等实际工业生产中的应用。全书共13个项目，各项目进一步分解为若干个任务并配有相应习题，由易及难地逐步介绍机器视觉及其应用技术。本书重在理

本书是为满足计算机组装与维修课程理实一体化教学与技能训练需要，培养计算机安装、调试、应用和维修专业人员的岗位技能，依据《计算机及外部设备装配调试员》等最新国家职业技能标准和工业标准要求而编写的。全书内容包括计算机系统概述、计算机常用标准简介、计算机硬件系统、计算机外部设备、计算机软件系统、计算机系统维护以及常见计算机故

本书以计算机组装的一般流程为主线，采用任务式教学讲解计算机组装的知识和技巧，同时介绍计算机维护的相关知识。本书如同一本工作手册，读者只需要按照步骤去执行，就能完成自主组装计算机和维护计算机的相关操作。全书共10个项目，包括了解计算机、选配计算机硬件、组装计算机、设置BIOS和硬盘分区、安装操作系统和常用软件、配置和管理

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇：上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Pe