全书共10章，第1章对InnoDB的基本概念进行介绍。第2章-第7章的主题是并发控制，从基础理论到两阶段锁协议，再到多版本并发控制技术以及嵌套事务模型，最后是InnoDB的具体实现。第8章和第9章的主题是崩溃恢复，首先介绍基于日志的崩溃恢复理论，然后通过实践分析InnoDB的具体实现。第10章补充介绍了InnoDB的其

本书系统性介绍了基于Cursor的AI编程方法与实战应用。内容从工具定位与安装开始，逐步深入日常技巧与高级工作流，解析了Cursor的设计哲学与性能优化策略，并对比了其与同类工具的差异，展望了AI编程的未来趋势。本书的核心亮点在于对VibeCoding理念的深度探索与实践，并通过两个完整的实战项目帮助读者理解如何利用C

本书系统全面地阐述了移动机器人技术的核心理论与工程实践。全书以绪论开篇，概述了移动机器人的定义、发展历程、系统组成、分类及其在各类场景中的典型应用，为读者构建了宏观的知识框架。随后，书中深入剖析了移动机器人的关键技术模块：在硬件层面，详细介绍了机器人的机械结构、控制器、感知传感器、驱动系统与电源设计；在软件与算法层面，

全书不追求编程深度，而强调“够用、能改、可复用”，通过精简版Python入门、API调用、自动化脚本与AI工作流设计，帮助设计师快速跨过“编程恐惧”，建立真正可持续的AI生产力。本书系统拆解了一条完整的设计师AI编程学习路径，覆盖从基础逻辑到自动化落地；深度讲解Python、API、Cursor、MCP等关键技术组合；

本书首先讨论了主流机器学习算法的主要特点；介绍了数据在可视化在实体项目中的应用。基于此，通过多个项目案例，详细地分析了决策树、随机森林、支持向量机、逻辑回归、贝叶斯网络、卷积神经网络、循环神经网络、对抗生成网络等机器学习算法在新闻传播领域的具体应用。本书共给出19个案例，每个案例都是一个使用智能算法解决问题的具体实例，

本书以机器人具身智能的基本概念、基本理论、基本方法以及典型应用实例为主线，系统地介绍了具身智能基础模型的基本参数、系统组成及设计方法、多模态信息融合感知、机器人机电集成技术学习、多智能体自动驾驶、人工智能大模型、具身智能未来应用等内容。章节安排上循序渐进、由浅入深，注重将机器人具身智能基础理论与应用技术相结合，力求反映

本书从零开始，系统讲解这一工具的核心逻辑、安装部署、基础操作与进阶玩法。无论你是否有技术背景，都能通过本书快速上手，亲手部署一个替你干活的AI助理。本书不只教你“怎么做”，更带你理解“为什么”——OpenClaw的设计哲学是什么？它与传统自动化工具有何不同？如何在享受便利的同时防范安全风险？这些问题，书中都有深入浅出的

本书系统介绍智能体技能(AgentSkills)的基本概念、设计方法与实际应用路径，并通过案例讲解如何使用与构建技能，在学习辅助、办公协同和内容创作等具体场景中解决实际问题。在此基础上，针对Agent平台扣子，本书通过快速实践指南介绍其核心机制、部署流程及实践方式，并演示如何在扣子等平台中使用技能，使Agent能够持续

本书共分为六个模块，分别为引领科技时代的人工智能、AIGC应用于办公、AIGC图像和视频制作、AIGC应用于生活、AIGC应用于编程，以及健康成长与安全发展。本书是为技工院校或职业院校开设“人工智能导论”相关课程设计编写的。尽管“人工智能导论”是一门理论与实践紧密结合的课程，但在科技迅速发展的当代，旧有技术可能迅速被新

本书共20章，涵盖的主要内容包括模型检测的基本知识、系统建模、时序逻辑、符号模型检测技术、SMV模型检测器、模型检测与自动机理论、偏序约简、抽象解释、有限状态系统的无限族、实时系统验证等。