《拉格朗日力学理论的形式化与机器人动力学形式化分析》以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。 \n《拉格朗日力学理论的形式化与机器人动力学形式化分析》主要内容包括：泛函变分、动力学与形式化验证的进展；泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论；泛函变分主要理论的形式化；拉格朗日力学主要理论的形式化；机器人动力学的形式化建模与分析；模块化自组织机器人对接运动学和动力学验证。作者长期系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代，《拉格朗日力学理论的形式化与机器人动力学形式化分析》是对该过程成果的高度凝练与系统总结。

本书选择以遮挡人脸识别这一当今世界难题为例，探索人工智能技术实战进阶之路。本书重现了笔者对人脸有无口罩识别、口罩分割提取、遮挡人脸识别等方面的技术探索与实现过程。从视频图像的智能分割、图像区域生长算法设计与实现、智能采集、智能分割、智能变换、智能融合、图像边缘智能检测、图像非局部均值滤波等角度入手，尝试了遮挡人脸图像处理的探索，并最终分别基于MATLAB和Python实现了遮挡人脸识别。本书内容通俗易懂，适用于对人工智能实战应用感兴趣但缺少专业指导的读者。无论是对遮挡人脸识别技术感兴趣的大学生，还是希望向人工智能领域转型的技术人员，都可以通过本书的指引，轻松完成人工智能实战进阶。

《从零开始设计你的智能小车》从“实战”出发，以STM32F103VET6单片机为对象，以C语言为开发语言，详细讲解如何在CMSIS固件库基础上完成嵌入式应用系统的开发。通过本书的学习，读者能够初步了解嵌入式系统设计中的硬件设计和软件设计，掌握硬件和软件调试技巧，具备设计、规划和实现一个简单嵌入式应用系统的能力。 \n全书以“智能小车设计”作为主线，内容分为基础篇、提高篇和实践篇三个层次。“基础篇”介绍嵌入式开发的基本常识、系统架构等。“提高篇”以小车功能需求为目标来组织各章节内容，每一章实现智能小车的一个功能。“实践篇”从应用系统设计规划的角度出发，通过两个不同的“智能小车”系统设计实例，从功能设计规划开始，经过硬件需求分析与选型、硬件设计与供电设计，到软件设计、系统测试，详细讲解从设计规划到开发实现的完整过程。侧重分析设计思路、设计方法，以及项目的组织架构，培养作为系统开发工程师而应该具备的“全局观”和从系统层面分析、分解系统功能的能力。 \n本书可作为高等院校自动化、电气工程等相关专业的教材，也可作为嵌入式开发爱好者的入门书籍。 \n

9787115587480 Spring微服务实战（第2版） 109.90 \n9787115433145 Spring Boot实战 59.00 \n9787115527929 Spring实战 第5版 99.00 \n \n《Spring微服务实战（第2版）》 \n本书以一个名为O-stock的项目为主线，介绍云、微服务等概念以及Spring Boot和Spring Cloud等诸多Spring项目，并介绍如何将O-stock项目一步一步地从单体架构重构成微服务架构，进而将这个项目拆分成众多微服务，让它们运行在各自的Docker容器中，实现持续集成/持续部署，并最终自动部署到云环境（AWS）的 Kubernetes集群中。针对在重构过程中遇到的各种微服务开发会面临的问题（包括开发、测试和运维等问题），本书介绍了解决这些问题的核心模式，以及在实战中如何选择特定Spring Cloud子项目或其他工具（如 KeyCloak、Zipkin、ELK技术栈）解决这些问题。本书适合拥有构建分布式应用程序的经验、拥有Spring的知识背景以及对学习构建基于微服务的应用程序感兴趣的Java开发人员阅读。对于希望使用微服务构建基于云的应用程序，以及希望了解如何将基于微服务的应用部署到云上的开发人员，本书也具有很好的学习参考价值。 \n \n《Spring Boot实战》 \n本书以Spring应用程序开发为中心，全面讲解如何运用Spring Boot提高效率，使应用程序的开发和管理更加轻松有趣。作者行文亲切流畅，以大量示例讲解了Spring Boot在各类情境中的应用，内容涵盖起步依赖、Spring Boot CLI、Groovy、Grails、Actuator。对于Spring Boot开发应用中较为繁琐的内容，附录奉上整理完毕的表格，一目了然，方便读者查阅。 \n \n《Spring实战 第5版》 \n本书是一本经典而实用的畅销Spring 学习指南。 \n \n第5 版涵盖了Spring 5.0 和Spring Boot 2.0 里程碑式的更新。全书分为5 个部分，共19 章。第1 部分（第1～5 章）涵盖了构建Spring 应用的基础话题。第2 部分（第6～9章）讨论如何将Spring 应用与其他应用进行集成。第3 部分（第10～12 章）探讨Spring对反应式编程提供的全新支持。第4 部分（第13～15 章）拆分单体应用模型，介绍SpringCloud 和微服务开发。第5 部分（第16～19 章）讨论如何为应用投入生产环境做准备以及如何进行部署。 \n \n本书既适合刚开始学习Spring Boot 和Spring 框架的Java 开发人员快速上手，也适合经验丰富的Spring 开发人员学习Spring 的新特性，尤其适用于企业级Java 开发人员。

9787115582317 C语言程序设计 109.90 \n9787115587169 C语言程序设计 习题解答 69.90 \n \n《C语言程序设计》 \n学习任何程序设计语言的好方法都是创建良好的程序，C 语言也不例外。一旦决定编写程序我们就会发现，总是有至少两种方法可以实现。那么，如何才能找到好的方法来实现程序？本书就能帮助读者解决此类问题。本书是一本C 语言程序设计的教材。多年来，本书被很多工程和科学研究所及院校指定为学习教材。 \n \n本书这一版本（第17 版）除了讲解C 语言中基本的函数、指针、控制指令、数据类型、数组、字符串、输入输出、位操作等内容外，还增加了C 语言程序设计的各个主题的实例和面试问题，以便读者尽快熟悉C 语言的实际应用。书中的实例和习题已经过作者认真挑选，集中体现了各个知识要点的具体用法。本书提供可供读者下载的程序源代码，并配套出版《C 语言程序设计 习题解答》。 \n \n本书结构合理，内容深入浅出，既适合用作高等学校本科和专科学生学习C 语言程序设计的教材，也适合用作零基础的程序设计初学者的自学用书。 \n \n \n《C语言程序设计 习题解答》 \n多年来，教材《C 语言程序设计》被很多工程和科学研究所及院校指定为学习教材。本书是《C 语言程序设计》的配套习题集，旨在让读者学习基础知识的同时，交叉地检查所做习题的正确性，从而增强读者的信心，改善整个C 语言学习的过程。本书的习题已经过作者认真挑选，集中体现了各个知识要点的具体用法。 \n \n本书习题丰富，结构合理，内容深入浅出，建议搭配《C 语言程序设计》使用，非常适合用作高等学校本科生和专科生学习C 语言程序设计的练习手册，也适合用作零基础的程序设计初学者的自学用书。

如今，计算机图形学无处不在，它为视频、游戏等增添了令人瞩目的细节，为大型电影、动画等增添了逼真的特效。本书围绕计算机图形学这一主题展开，是作者讲授计算机图形学课程多年经验的结晶。本书着重介绍光线追踪渲染器和光栅化渲染器这两大主流渲染器的基本实现过程，以渲染器的需求背景和实现原理作为出发点，辅以必要的简单数学推导过程，从光到阴影与反射，从直线到着色与纹理，逐渐引导出实现渲染器的伪代码，力求使没有丰富编程经验和深厚数学功底的读者也能够完全读懂。本书是计算机图形学入门的学习教材，特别适合渴望进入计算机图形学世界的“零基础”读者阅读，也适合对计算机图形学开发感兴趣的爱好者以及相关从业人员使用。

本书系统讲解小程序全栈项目开发所需的前后端技术。全书共分为3个部分，部分以实操的方式系统介绍小程序页面开发、事件处理、API调用、云函数、云数据库等基础概念，第二部分以相册、博客、问卷小程序为例介绍如何规划、开发一个完整的小程序项目，第三部分提出云函数、云数据库、云调用的开发指引及性能优化建议。本书将详细的操作步骤、完整的代码、复杂的技术概念以及科学的学习方法紧密结合，充分做到让读者从零基础起步，不需要具备其他前置编程技术背景知识就能掌握小程序云开发方法，从而开发出完整的全栈项目，非常适合零基础技术爱好者、前端开发初学者阅读。

《深入理解Java核心技术：写给Java工程师的干货笔记（基础篇）》是《Java工程师成神之路》系列的本，主要聚焦于Java开发者的Java核心基础知识。全书共23章，主要内容包括面向对象、基础数据类型、自动拆装箱、字符串、集合类、反射、序列化、枚举、I/O、动态代理、注解、泛型、时间处理、编码方式、语法糖、BigDecimal、常用工具库及Java新版本特性等，比较全面地覆盖了Java开发者日常工作中用到的大部分基础知识。“有道无术，术尚可求，有术无道，止于术”。本系列更加注重对Java之“道”的学习，即对原理的解读。对于很多语法概念及使用方式的介绍并不是本书的重点。所以，有一定编程语言常识或者写过Java代码的读者阅读起来会更加容易。《深入理解Java核心技术：写给Java工程师的干货笔记（基础篇）》既适合读者进行体系化的学习，也适合读者查缺补漏，将以往所学的知识点连成线，进而构建并完善自己的知识体系。

本书以Java EE的实践为主题，全面阐述Spring Boot、Spring MVC、Spring Cloud等企业级领域内的热门技术。本书讲解相关技术框架的核心知识，并结合汽车管理系统等实战项目，把Java EE领域内流行的SSH、SSM、Spring Boot、Spring Cloud、MyBatis和JPA等框架整合起来，再从代码层面讲述Activiti、Kafka、Redis、Docker、Maven、WebService和POI等经典技术。通过本书深入浅出的讲解，读者在学习Java架构师专业技能的同时，还可以学习项目开发的整个过程，真正意义上做到Spring Boot从入门到精通。本书适合Java EE领域的开发人员阅读。阅读本书，读者可以学习目前流行的Java开发技术，力争在短时间内掌握Spring Boot核心技术，成为Java架构师，走向自己职业生涯的辉煌。

本书以一个名为O-stock的项目为主线，介绍云、微服务等概念以及Spring Boot和Spring Cloud等诸多Spring项目，并介绍如何将O-stock项目一步一步地从单体架构重构成微服务架构，进而将这个项目拆分成众多微服务，让它们运行在各自的Docker容器中，实现持续集成/持续部署，并终自动部署到云环境（AWS）的 Kubernetes集群中。针对在重构过程中遇到的各种微服务开发会面临的典型问题（包括开发、测试和运维等问题），本书介绍了解决这些问题的核心模式，以及在实战中如何选择特定Spring Cloud子项目或其他工具（如 KeyCloak、Zipkin、ELK技术栈）解决这些问题。本书适合拥有构建分布式应用程序的经验、拥有Spring的知识背景以及对学习构建基于微服务的应用程序感兴趣的Java开发人员阅读。对于希望使用微服务构建基于云的应用程序，以及希望了解如何将基于微服务的应用部署到云上的开发人员，本书也具有很好的学习参考价值。