本书是在国产时空遥感云服务平台PIE-Engine系列用户手册和培训素材的基础上，集作者多年遥感大数据、云计算、人工智能等理论研究和开发实践经验升华凝练而成的。本书结合时空遥感云服务平台PIE-Engine设计理念、基本功能和技术特色，系统介绍了时空遥感云服务平台PIE-Engine基本理论、关键技术、操作流程和专题应

VEX机器人竞赛旨在拓展参赛者对于科学、技术、工程和数学的兴趣，提升参赛者解决实际问题的能力，培养团队协作精神，是一个非常典型的STEM实践案例。本书立足于VEX机器人竞赛，介绍了VEXEDR机器人的硬件、软件及结构知识，同时给出2020—2021赛季竞赛手册，帮助读者了解VEX机器人竞赛的具体要求和赛事规则。

本书从系统角度，遵循基础理论与工艺技术相结合的技术路线，分析镍基高温合金微小结构/零件微铣削加工与传统切削加工的差异性，从微铣加工机理、物理建模与仿真、微铣刀磨损与破损、微铣过程稳定性、表面完整性预测与评价及微铣加工工艺等方面进行系统的理论与技术探讨，为实现镍基高温合金微小结构/零件高质高效微铣削加工提供理论与技术支撑

内容提要SOLIDWORKS是三维CAD软件，该软件以参数化特征造型为基础，具有功能强大、易学易用等特点。本书系统地介绍了SOLIDWORKS2023中文版软件在草图绘制、实体建模、装配体设计、工程图设计、仿真分析等方面的功能。本书每章的前半部分介绍软件的基础知识，后半部分利用一个或多个内容较全面的实例介绍具体的操作步

本书以Google开发的JAX开源框架为载体，详细介绍了JAX在可微分编程领域的应用，具体包括自动微分的基本原理、数据结构，以及自动微分在实际场景中的应用，其涉及的领域包括但不限于算法优化、神经网络、工程建模、量子计算等。 本书分为3部分，总计10章外加5篇附录。第1部分介绍了可微分编程的基本原理，包括手动求导、数值

《Word排版技术大全（第2版）》全面、详细地介绍了Word排版的理论和技术，其内容适用于Word2003/2007/2010/2013/2016/2019/ 2021等版本。本书共有12章和5个附录，主要内容包括Word排版中的7个重要原则，页面设置和版面设计的方法，模板和样式的创建、使用及管理的方法，不同类型文本的

信息技术日新月异，以人工智能、大数据、云计算等为代表的新技术已成为各行业高质量发展和数字化转型的动力。由于数字化的基础信息来自企业级应用的业务数据，因此企业级应用建设的成败直接关系到数字化转型的成败，而JavaEE作为企业级应用开发的一个重要分支，是数字化转型过程中不可或缺的一个部分。 本书依据理论结合实战的思路，首先

本书是摄影零基础入门与提高系列的摄影实拍技法篇。本书更侧重于实拍技法的传授，旨在让广大摄影爱好者真正掌握数码摄影的取景构图、色彩搭配、用光布光等实用技法，尽享摄影的乐趣。本书主要内容包括自然风光摄影实拍技法、城市与园林风光摄影实拍技法、人像摄影实拍技法、纪实摄影实拍技法、花卉摄影实拍技法、星空摄影实拍技法、手机摄影实拍

本书主要介绍ARM开发的相关知识，详细讲解常用的ARM指令及如何基于ARM架构的外设编写驱动程序，并分析了开源软件U-Boot的启动源代码和网络协议栈。 本书第1～4章为基础篇，主要介绍CPU与ARM、搭建环境、ARM编程、异常等；第5～13章为编程篇，主要介绍基于Exynos4412的常用外设的工作原理及驱动程序编写

本书旨在介绍TypeScript的语法和应用。本书首先介绍TypeScript的基本语法，以帮助读者编写基本的应用程序；然后讲述TypeScript的进阶语法，这些语法可以满足复杂项目中的编程要求；接着讨论如何将TypeScript代码编译为JavaScript代码，如何快速地编写与调试TypeScript代码，如何通