本书以Prometheus在云原生架构中的应用为主线，详细介绍了Prometheus的基本概念、核心功能、整体架构及部署方式。通过实际案例深入解析了PromQL查询、Alertmanager告警、服务发现和Exporter技术与组件。此外，本书还涵盖了Prometheus与可视化工具Grafana的集成、Pushgateway的使用以及 Prometheus高可用集群的优化与实践。

本书旨在聚焦新一代信息技术的新知识和新应用，为读者构建适应信息化社会发展的知识体系、拓宽视野，提升信息素养和综合素质。本书共8章，包括信息与信息技术、算法与程序、媒体信息的智能处理、数据科学与大数据、现代通信技术、云计算与物联网、人工智能、信息安全与数据加密。本书注重跨学科知识融合和交叉，内容涵盖广泛，通过Python实例将理论和应用紧密结合，使学习变得高效有趣。 本书可作为高等学校非计算机专业公共基础课程教材，也可作为对新一代信息技术感兴趣的社会学习者的自学参考书。

暂缺简介...

暂缺简介...

本书以Revit为基础，通过详细的操作，讲解了Revit参数化的各个方面。本书共计3篇，分为15章。包括Revit参数化学习篇，主要介绍参数化的基础知识和操作方法；参数化典型案例篇，主要介绍Revit参数化在实际工程中的应用；Dynamo可视化编程篇，主要介绍Dynamo参数化建模。本书可作为设计企业、施工企业以及地产管理企业中BIM从业人员和BIM爱好者的自学用书，也可作为工民建、土木工程等相关专业普通高等院校、大中专院校的教学用书。

如何基于 Microsoft Excel 运用商业建模和分析技术从数据中挖掘信息、获得需要的成果？屡获殊荣的教育家Wayne Winston 撰写的这本实用、依托应用场景的指南能够助你一臂之力。相比此书的之前版本，这一版的内容更全面、更前沿，从自定义名称到动态数组，从数据透视表到 Power Query……内容精彩纷呈。书中包含众多示例，不但展现了数据分析师在实际工作中面对过的各类挑战，而且能够教会你如何使用 Microsoft Excel 解决在工作中遇到的实际问题，从而建立自己的职场优势！ 本书不仅适合作为在校学生和初入职场的白领的教材，也适合作为希望了解如何建立数据模型等的数据分析师的参考资料。如果你希望学习资深专家的丰富经验，相信本书也能让你有所收获。

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful， moving the control from the meta-level to the constraints， which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette， France， in September 1999. The book offers coherently written chapters on constraints and constraint solving， constraint solving on terms， combining constraint solving， constraints and theorem proving， functional and constraint logic programming， and building industrial applications.

本书是高职高专院校计算机专业和非计算机专业开设的计算机应用基础课程教材。主要内容包括：计算机基础知识，Windows 7操作系统，字处理软件Word 2010，电子表格制作软件Excel 2010，演示文稿制作软件PowerPoint 2010，Internet应用，常用计算机工具软件，计算机安全技术等。每章均有适量的习题以配合教学。为方便学生上机练习，本书编写了配套的《计算机应用基础上机实训指导》，配合使用效果更佳。本书着重计算机的基本知识和基本技能的培养，适用于初学者使用，可作为高职高专各专业计算机基础课程的教材，还适合作为计算机应用培训用书，适合参加全国计算机等级考试（一级）的考生和希望快速提高计算机操作水平的人员。

本教材以Windows xP和。Office2007为蓝本，以高等职业教育注重学生应用能力培养的要求为原则，选材新颖、结构清晰、内容丰富、注重应用，突出计算机基本操作能力的培养。全书包括计算机基础、Windowsxp操作系统、计算机网络和因特网、文字处理软件Word 2007的应用、电子表格软件Excel2007的应用及演示文稿制作软件PowerPoint 2007的应用6个项目．具体分为认识计算机、学生用计算机配置、WindowsXP优化、磁盘与账户管理、WindowsxP的资源管理、局域网的配置、因特网的应用、收发电子邮件、撰写求职信、制作个人简历表、杂志排版、论文排版、邮件合并、制作学生信息表、制作学生成绩单、分析学生成绩单、制作大学生职业生涯规划演示文稿17个实用任务．采用任务介绍、任务解析、任务实施、相关知识、任务小结、课后实践等教学设计，实现对计算机应用基础相关知识技能的讲解。本教材可作为各高等职业院校计算机公共课教学用书．也可供各类培训、计算机从业人员和爱好者参考使用。

本书在系统地介绍无人艇发展概况及系统架构等基本知识的基础上，着重介绍水面无人艇智能感知与导航技术。全书共6章，第1章着重介绍无人艇的发展概况和关键技术；第2章主要介绍无人艇的艇体设计及系统架构，并阐述无人艇感知系统；第3章为基于视觉的无人艇感知技术，主要介绍水面目标检测与跟踪算法；第4章主要介绍基于激光雷达的无人艇感知技术；第5章主要介绍无人艇路径规划技术；第6章主要介绍无人艇算法的训练与测试。本书适合作为高等工科院校电子信息工程、自动化、船舶与海洋工程专业高年级本科生、研究生的教材，同时可供对无人艇控制、智能导航比较熟悉且对无人系统虚拟仿真训练有所了解的开发人员和研究人员参考。