形式语言与自动机理论是计算机类专业的一门重要课程。本书是作者结合其近40年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质，图灵机的基本知识。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性。叙述中特别注意引导读者

随着我国经济、科技、技术的快速发展，自动化、智能化、信息化、智慧化技术已成功应用于汽车、航空航天、钢铁、复合材料、精密电子等多行业生产制造，推动我国制造业向着更高精度、更高效率、更高质量的方向发展。机器视觉智能检测技术作为推进我国制造业迈向自动化、智能化方向发展的关键一环，已经为我国智能制造的快速发展贡献了显著力量。面

本书从三维计算机视觉技术的特点入手，详细介绍了**的研究进展，并以电力行业作为典型的应用场景，阐述了其重要的社会意义。全书共有7章，内容包括三维视觉技术概述、关键点检测与描述、显著性区域检测、三维非刚性模型配准、三维目标姿态估计、三维目标跟踪、三维视觉技术电力应用实例等。

本书系统地介绍了C++STL中各种数据结构容器的应用，讨论穷举法、归纳法、迭代法和递归法等基本算法设计方法，以及五大算法设计策略，即分治法、回溯法、分支限界法、贪心法和动态规划的原理及典型算法设计，同时以LeetCode、POJ和HDU网站相关题目为实战，深入剖析各种算法实现技术。全书既注重原理又注重实践，配有大量图表

本书是《算法设计与分析基础(C++版)（微课视频版）》(李春葆等，清华大学出版社)的配套学习和实验指导书，给出了主教材中所有单项选择题、问答题、上机实验题和在线编程题的参考答案，通过研习有助于提高读者灵活运用算法设计策略解决实际问题的能力。书中列出了所有题目，自成一体，可以脱离主教材单独使用。本书适合高等学校计算机及相

本书将推荐系统的理论基础与代码实践相结合，内容涵盖各类非个性化和个性化、经典及先进的推荐算法，以及工业界推荐系统的基本流程、步骤。本书可以作为各高校相关专业智能推荐系统课程教材，也可以作为技术人员的参考书籍。通过本书，读者可以掌握推荐系统的基本概念、评价指标，熟悉推荐系统在工业界应用的具体过程，既可以了解基于传统机器学

本书按实战项目研发的先后顺序，介绍了目标检测神经网络从研发到运营的全生命周期。首先介绍了目标检测场景下的图片标注方法和数据格式，以及与之密切相关的特征融合网络和预测网络；介绍了数据"后处理”所涉及的NMS算法及其变种，在此基础上，读者只需结合各式各样的骨干网络就可以搭建完整的一阶段目标检测神经网络模型。接下来介绍了神经

本书用一系列有趣的小故事讲述计算机底层相关的技术知识。?第1章：聚焦计算机中最核心的CPU，从最基础的门电路开始，到基本的指令执行过程，最后到CPU的一些高级技术。内容涵盖缓存、原子操作、指令流水线、分支预测、乱序执行、超线程、SIMD、内存管理、TLB等。?第2章：主要讲述计算机中的存储设施，包括CPU中的缓存，内存

本书为1+X职业技能等级证书（机器视觉系统应用）配套教材之一。本书从机器视觉系统软硬件安装与检测、视觉工具应用、系统集成项目调试与运行等方面介绍了机器视觉系统相关的理论知识和技能实操，以机器视觉系统应用实训平台（初级）为载体，介绍了PLC、机器人、机器视觉等多种技术，涵盖了药盒条码识别、手机尺寸测量、电子芯片引脚缺陷检

本书以机器视觉系统应用实训平台（中级）为载体，包括了PLC、机器人、机器视觉和智能传感等方面的理论知识和技能实操，涵盖机器视觉系统硬件选型、认识机器视觉工作过程、食品包装盒识别系统应用、机械工件尺寸测量系统应用、书签缺陷检测系统应用和手机定位引导装配系统应用6个项目。本书可作为高等职业教育机电一体化技术、电气自动化技术