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

本书共八章，内容包括：概述、网络安全现状、网络安全体系结构、数据库与数据安全技术、信息安全事件监测与应急响应、信息内容安全巡查管理、信息安全管理、信息系统安全管理的法律控制。

本书会告诉你如何为组织设计合适的数据保护系统，以降低组织的成本和出现问题的可能性。系统管理员与网络管理员既要保护数据中心的物理机、虚拟机以及云平台中的设施，还要保护各种移动设备，此外还有Microsoft365、GoogleWorkspace与Salesforce等SaaS产品，以及由Kubernetes与容器工作负载

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

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

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

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

本书是一部全面论述计算机病毒网络传播动力学行为的专著。全书共6章，首先，从反病毒策略角度出发，针对反制措施竞争策略提出了一类具有反制措施的SICS模型，从理论上研究了这种新型反病毒策略对抑制病毒传播的有效性。接着，提出了两类具有接种率和感染率的SIRS模型，研究了一般非线性感染率和一般非线性接种率对计算机病毒传播的影响

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

《视觉语言交互中的视觉推理研究》的作者牛玉磊博士于2020年在中国人民大学取得博士学会，后前往美国哥伦比亚大学开展博士后研究工作。本书从知识建模和知识推断两方面入手，深入研究了视觉语言交互任务中的视觉推理问题。《视觉语言交互中的视觉推理研究》共五章：第1章主要介绍了计算机视觉与自然语言处理交叉领域中交互类问题的研究背景