本书作为《形式语言与自动机理论（第4版）》（主教材）的配套教学辅导用书，按照主教材的结构编写而成。本书包括有关内容的讲解、学习要点、问题分析、求解思路和方法、注意事项。考虑到该课程习题求解具有相当的难度，以及给出全部习题解答又不利于学生学习，本书只给出了典型习题的解析。为了引导读者及时总结学习内容，按照小节给出知识点和

本书共13章，依次讲述程序设计基础、算法基础、排序、查找、搜索、字符串匹配、图论、动态规划、高级数据结构、数论、组合数学、计算几何基础、博弈论。书中提供了大量习题和答案供读者学习使用。本书可作为高等学校计算机相关专业算法设计类课程的教材，也可供对算法设计、程序设计竞赛感兴趣的读者自学使用。

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

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

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

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

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

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

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

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