本书共11章，分为三部分。部分(第1章至第5章)介绍了Python在计算机视觉中的图像基本操作、图像增强、形态学处理、局部图像特征提取、图像分割等方面的编程应用。第二部分(第6章至第8章)梳理了计算机视觉的相关基础理论，包括深度神经网络基础、卷积神经网络基础和PyTorch深度学习框架。第三部分(第9章至第11章)列举了Python在计算机视觉中的典型应用，即在图像分类、目标检测和语义分割中的应用。各章都附有相关的习题，可供自学练习，以便读者加深对本书所述内容的理解。

本书深

本书从系统的角度出发，结合龙芯处理器及Loongnix系统的相关实例，从软件和硬件两个方面对计算机系统进行由硬到软、自底向上的介绍，目的是帮助读者掌握完整的计算机系统层次结构，了解计算机相关技术概念，掌握计算机系统的相关知识。
本书分为基础部分与实践部分。基础部分主要介绍了计算机系统相关的基本概念、组合电路与时序电路、处理器体系结构、程序的加载与运行、数据的机器级表示和运算、层次化结构存储、异常控制流；实践部分则主要介绍了龙芯实验平台的软硬件环境、文件读写及加解密实验、二进制炸弹

本书采用活页式、项目化的编写方式，可实现基于工作过程、项目教学的理念。全书包含3个项目，共16个任务。
本书涵盖了网络安全加固和渗透测试方面的实际内容，其中的3个项目即Windows系统安全、Linux系统安全和漏洞渗透测试分别对应了网络中的个人计算机安全加固、服务器安全加固和内容漏洞发现。本书内容深入浅出，学做结合，循序渐进，能够让读者轻松学习并掌握各个知识点。
本书的任务内容均来自企业工程实践，具有典型性、实用性、趣味性和可操作性。
本书可作为中等职业学校网络安全相关专业的教材，也

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

本书基于Python 3.8和OpenCV 4.5编写，共8章，包括环境搭建、简易调色画布、几何图像绘制、简单的图像处理、马赛克、图像美颜、人脸检测、人脸跟踪。读者通过学习本书内容及运行相应的仿真程序，可以更加深刻地理解图像处理的内容，并且更加熟练地掌握计算机视觉在不同领域的应用。

机器视觉是当代智能制造、自动控制等领域中重要的研究内容之一。本书涵盖了机器视觉的基本原理与概念、机器视觉系统的构成等内容，并以VisionPro为例介绍了机器视觉技术在测量、识别、引导等实际工业生产中的应用。
全书共13个项目，各项目进一步分解为若干个任务并配有相应习题，由易及难地逐步介绍机器视觉及其应用技术。本书重在理论联系实际，主要内容都具有实际工程应用背景，各个项目中配套的案例、习题均来源于实际工业应用。
本书可作为高等职业院校自动化类和电子信息类等相关专业的教学参考书，也可作

本书以计算机组装的一般流程为主线，采用任务式教学讲解计算机组装的知识和技巧，同时介绍计算机维护的相关知识。本书如同一本工作手册，读者只需要按照步骤去执行，就能完成自主组装计算机和维护计算机的相关操作。全书共10个项目，包括了解计算机、选配计算机硬件、组装计算机、设置BIOS和硬盘分区、安装操作系统和常用软件、配置和管理网络连接、保护计算机系统与数据、维护计算机、故障诊断和排除、选购笔记本电脑等内容。 本书的每个项目都由多个任务组成，每个任务均包含任务导入、任务分析、相关知识、任务实施等环节，读者

本书是为满足计算机组装与维修课程理实一体化教学与技能训练需要，培养计算机安装、调试、应用和维修专业人员的岗位技能，依据《计算机及外部设备装配调试员》等最新国家职业技能标准和工业标准要求而编写的。
全书内容包括计算机系统概述、计算机常用标准简介、计算机硬件系统、计算机外部设备、计算机软件系统、计算机系统维护以及常见计算机故障检测分析与技能训练，各单元以情景式热点案例开篇，突出新技术和典型应用，设置了弘扬计算机文化的中国计算机历史记忆故事，配套大量高清彩色照片。全书按照“做中学”理念由资深专业

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。

本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型； 中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用； 下篇（第8～12章）为形式验证篇，着重介绍定理证明方法

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