暂缺简介...

本书以德国高等教育为例说明数据库的运用。作者有意选择这个简单的例子，是为了便于读者理解和记忆。为方便完成SQL部分的习题，本书还将作者在慕尼黑大学开发的的数据库系统HyPer的Web界面提供给大家使用。本书也适合自学。因为作者对所有的概念都尽量用易于理解的例子加以说明。本书仅讨论“现代”数据库系统，对关系模型，我们尤其详细地讲解，因为关系模型现在占据主导地位，使用最为广泛。本书也涉及一些全新的发展趋势，例如主存数据库、大数据技术及利用、XML和云数据库的多租户管理。本书也包括数据库实现的内容，如DBMS的物理结构、多用户同步的实现及查询评估的恢复和优化方法等。只有掌握这些知识，才能在“硬核”的工业实践中系统地使用和优化数据库。本书的UML是一种面向对象的数据建模语言，它可以替代ER模型。本书介绍如何利用数据库技术建立数据仓库，以用于决策支持及数据挖掘。在第10版中，我们根据最新的发展趋势对本书的内容做了更新，深化了几个章节的内容（尤其是和关系型数据库的查询语言SQL及其逻辑优化相关的几章）。

本书介绍了 Kubernetes 部署大规模容器的复杂流程。只有精通每个网络层的抽象工具，才能在生产集群中高效地排查故障并维护集群。本书涵盖如下内容：Kubernetes网络模型。如何从CNCF CNI项目中选择最Z适合集群的接口。Kubernetes 背后的网络基础和Linux基础。如何快速排除网络问题并防止停机。AWS、Google Cloud和Microsoft Azure的云网络和Kubernetes服务。各种网络工具的利弊以及如何为你的技术栈选择最Z合适的工具。

《鸿蒙之光HarmonyOS NEXT原生应用开发入门》以HarmonyOS NEXT版本为核心，从基础知识到实战案例，引领读者逐步探索“纯血鸿蒙”原生开发的奥秘。全书共16章，内容涵盖HarmonyOS架构、DevEco Studio使用、应用结构解析、ArkTS编程语言、Ability组件、ArkUI开发、公共事件处理、窗口管理、网络编程、安全管理、数据管理、多媒体开发、多端部署及应用测试等关键主题。书中不仅详细阐述了相关理论知识，还结合了多个实战项目，如计算器开发、WeLink打卡系统、图片轮播播放器、购物车功能实现、录音机与音乐播放器创建、购物应用设计与微信应用模拟、图片查看器构建等，旨在通过实际操作提升读者的动手能力和解决实际问题的能力。此外，《鸿蒙之光HarmonyOS NEXT原生应用开发入门》附赠完整的源代码和PPT课件，所有代码均经过严格测试验证，确保能够顺利运行并达到预期效果。《鸿蒙之光HarmonyOS NEXT原生应用开发入门》技术新颖，案例丰富，突出实战，特别适合HarmonyOS应用开发初学者、爱好者和进阶者作为自学用书，也适合作为培训机构和大中专院校的教学用书。

K线图已经成为金融交易平台和图表程序的关键组成部分。使用这些图表，交易者们从中学习基础模式，用于解释价格走势历史，并预测未来市场。这本详细的指南向投资组合经理、量化分析师、策略师和分析师展示了如何使用Python来识别、扫描K线图模式，根据模式进行交易，并回测K线图模式的盈利能力。金融作家、交易顾问和机构市场策略师Sofien Kaabar在本书中展示了如何创建K线图扫描器和指标，通过这些指标，我们可以比较不同模式的盈利能力。通过这本实践指南，你还将探索一种类似K线图的新型图表系统，以及从未介绍过的新模式。通过这本书，你将学会：创建并理解经典和现代K线图模式所需的条件。学习这些模式背后的市场心理。使用一个框架来学习如何进行交易策略的回测。探索不同的图表系统并理解它们的局限性在Python中导入不同时间框架的OHLC历史外汇数据。使用算法发现和再现模式。学习模式的特性和应用。

《Processing程序交互与数据视觉艺术实践》全面而深入地讲解了Processing在数据可视化设计领域的基础编程知识与创作实践技巧。全书共分为8章，内容包括初识数据视觉艺术、代码艺术与视觉创意、生成艺术、动态视觉效果、数据的视觉表达、数据接入与应用、传感器与数据交互，以及GUI交互设计。书中不仅展示了使用Processing处理文本和表格数据的方法、应用网络数据的技巧，而且讲解了通过Arduino传感器、摄像头、麦克风等设备进行数据采集的方式。此外，本书还详细介绍了如何利用鼠标、键盘与图形用户界面（GUI）进行交互协作的方法，旨在帮助读者创作出优秀的数据可视化新媒体作品。本书可作为高等院校视觉传达设计、信息艺术设计、广告设计、数字媒体、新媒体艺术等专业的教材，也可作为数据信息视觉化设计从业者的参考书。

数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现， 构建了非标准实数模型， 自然包含标准实数模型， 并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证. 在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码， 所有形式化过程已被Coq验证， 并在计算机上运行通过， 充分体现了基于Coq 的数学定理机器证明具有可读性、交互性和智能性的特点， 其证明过程规范、严谨、可靠. 该系统可方便地应用于非标准分析理论的形式化构建.本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或研究生教材， 也可供从事人工智能相关科研工作者学习参考.

物体6自由度（6D，6DoF）位姿估计是机器人视觉、增强现实、自动驾驶、具身智能等领域的核心技术。本书分层次介绍了有纹理物体、低纹理物体，以及反光低纹理物体位姿估计的先进机器视觉理论、方法及关键技术，其中以最具挑战性的反光低纹理物体为重点。全书包含8章，第1章为绪论，介绍视觉6D位姿估计的基本概念、研究现状，及现有技术面临的挑战；第2章介绍视觉6D位姿估计的基础知识；第3章介绍适用于有纹理物体的基于图像特征点匹配的方法；第4章介绍适用于低纹理物体的判别式神经网络方法；第5章～第8章介绍适用于反光低纹理物体的理论、方法及数据集，其中，第5章和第6章分别为基于低层和高层几何特征的理论与方法，第7章介绍基于“特征_图像”的生成式深度神经网络理论与方法，第8章介绍构建的大型反光低纹理物体图像数据集RT-Less。

数字技术为企业的管理方式带来颠覆性变革，我们正在经历从依赖企业管理者解读数据并做出业务决策，到由算法通过计算数据做出分析和判断，然后自动指挥业务活动的转变。作为企业管理者，需要思考如何顺应时代趋势，利用数字技术，实现企业管理方式升级，提升管理效率，降低管理费用，提高企业竞争力。撰写本书的主要目的是，帮助企业体系化地推进数字化管理升级。本书的主要内容包括数字技术驱动企业管理方式升级、企业数字化管理体系的四条线、企业数字化管理体系建设七步法、企业数字化管理体系建设实战、企业数字化管理体系建设中的瓶颈与难点、企业数字化管理体系建设的技术架构，以及未来数字智能技术展望。

本书从微纳光纤的特性出发，对近年微纳光纤传感技术领域的相关工作和研究进展进行梳理和评述，并提出作者对未来微纳光纤传感技术的发展预测和建议。本书首先介绍了微纳光纤的独特光学效应和特点；进而从二氧化硅和聚合物材料特性出发，介绍微纳光纤的常见制作方法和特点；分析和总结了微纳光纤传感技术当前热点领域的研究进展；最后结合作者在微纳光纤传感器及技术应用领域的研究工作进行了案例分析和技术讨论。