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

引进自德国斯普林格(Springer)出版社。本书简要而全面地概述了计算机与互联网安全。第一章给出了一个平缓的概述和20个安全设计原则，接下来的10章为理解计算机和互联网安全提供了一个框架。这些原则是50多年来在软件和系统设计中反复出现的安全相关错误模式的概念对应，对基本操作系统和网络概念的认知大有裨益。本书提供了相关

本书内容循序渐进，紧扣时代热点，通过9个精心设计的项目，由浅入深地引导读者从基础理论到实际应用，逐步掌握计算机视觉领域的关键技术。书中每个项目都是独立的学习单元，项目涵盖了卷积入门、图像分类、目标检测、图像分割、目标跟踪、人脸识别、风格迁移、CV大模型以及模型部署等多个应用领域。同时，各个项目实践中皆融入了新时代中国特

本书以“新工科”为背景，以“实用、够用”为度，以应用为目标，将Python语言引入数学教学，将教学重点从传统数学的理论教育转移到数学知识的使用方面，体现职教特色。将传统数学实验通用的Matblab语言更换为python语言，借助python开源、免费、易学的优势，在高职院校更具有可行性。本书以“案例导读”使学生认识数学

本书分为两部分：计算机视觉实践内容和实践参考代码及解析，内容涵盖计算机视觉实践基础、实践软件环境安装及图像显示、滤波处理与层次特征表达、图像特征提取与可视化显示、图像特征对应与对齐、二值图像的特征计算、图像分割、语义分割、纹理特征计算、摄像机模型参数恢复、光流计算、三维重建技术、传统目标识别技术、传统目标跟踪技术、智能

本书整合了计算机视觉的经典算法与现代智能视觉技术，全面系统地介绍了计算机视觉的理论知识，并深入探讨了从传统算法到深度学习的演进过程。书中内容广泛，涵盖了以下核心主题：计算机视觉的基本概念及其技术基础、人类视觉感知与图像特征的多层表达、图像特征提取、二值图像处理、区域分割技术、纹理特征分析、视觉成像模型构建、光流计算方法

本书系统介绍了各种可判定的一阶理论及其在自动软件和硬件验证、定理证明与编译器优化等场景中的具体应用，涵盖了可满足性(SAT)求解器和可满足性模理论(SMT)求解器的核心技术，以及命题逻辑、线性算术和位向量等多种建模语言。作者通过大量实际案例展示了如何将复杂的计算问题转化为形式化的逻辑问题，并借助高效的判定过程进行求解。

本书从科学数据中心的异构性和动态性方面入手，系统分析了科学数据中心运行机理，提出了一套耦合异构性和动态性的评价指标体系，建立并完善了针对各类场景下的评价模型，形成了系统的评价方法框架，同时开展了应用研究，以期为复杂场景下的科学数据中心评价提供借鉴和参考。

本书是《计算机系统导论》教材的教学指导用书，主要对每个章节的教学目标和内容安排、主要内容提要、基本术语解释、常见问题解答等给出系统性的说明和描述，并在此基础上提供大量的单项选择练习题及答案、分析应用题及分析解答，其中涉及计算机系统概述、高级语言程序、数据的机器级表示、数据的基本运算、指令集体系结构、程序的机器级表示、程

"本书面向应用型本科、职教本科或其他入门者，以基础常用算法详解为主线，介绍计算机视觉要用到的图像基础知识，包含图像定义、颜色空间、图像卷积原理等，还介绍直方图均衡化、图像滤波、图像形态学图像预处理方法。介绍图像几何变换的知识。介绍常用的图形特征检测方法，包含边缘检测、USAN算子、哈里斯角点检测、霍夫变换、轮廓提取。介