本书以工业机器人技术及应用为主线，从工业机器人的基础理论、结构认知到控制编程和典型应用，以“理论知识+实践项目”的方式组织内容。 本书以认识工业机器人和对工业机器人进行简单示教编程为目标，通过大量的图片和实例，对工业机器人的认知、工业机器人的运动学基础、工业机器人的机械系统、工业机器人的动力系统、工业机器人的传感系统、工业机器人的控制系统、工业机器人的示教与编程、工业机器人的典型应用等方面进行了介绍。内容紧跟时代特征、新颖全面，注重理论知识和实践技能的有机结合。 本书

本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。

本书内容紧紧围绕“施工测量”这一主题, 并兼顾学生可持续发展的需要, 突出应用, 加强实践, 强化工程施工技术人员的施工放样能力。主要内容包括测量基本知识、水准仪的使用与高程测量、全站仪的使用与角度测量、距离测量与直线定向、小区域控制网的建立与坐标测量、民用建筑的施工测量、工业建筑的施工测量、建筑物变形观测、其他测绘新仪器简介、某工程施工测量方案共10个项目及1个附录。

本书阐述了电子线路设计基础知识、基于计算机辅助设计平台Altium Designer的简单电路原理图设计和复杂层次原理图设计、一般PCB印制电路板设计及其高级编辑技巧、基于Altium Designer的电路仿真技术、基于Altium Designer的教学实验案例的完整设计流程等五部分内容。结合的实用电路原理图和仿真案例源于工程实践经验, 有利于提升学生的动手能力和绘图技巧。

随着科学技术的快速发展，信息技术在社会各个领域进行不断深入运用和融合。“新工科”教改的一波浪潮之后，“新文科”教改也接踵而至。高校专业建设面临着新的时代使命和挑战，需培养出符合未来社会与经济发展需求的新型人才。

本书通过大量实例，深入浅出地介绍了Python的基础语法，让读者在解决实际问题的过程中，掌握Python语言程序设计的基础和应用。通过案例引导读者学习，弱化语法规则，突出领域应用，强调数据分析，让非计算机专业的学生也能通过数据分析实践感受人工智能的魅力。

全书

工程总承包模式是适应新时期我国建设市场转型升级和高质量发展需求的现代化工程项目实施方式。在此背景下，我国工程总承包模式的顺利推广必须与工程造价管理改革、全过程工程咨询等制度改革同步推进。工程总承包项目运作模式与传统设计施工分离模式有重大区别，面临许多投资管控问题。本书围绕工程总承包项目运作的特点及全过程投资管控的主要矛盾，构建了适合工程总承包模式的投资管控理论与技术体系。全书共9章，分别为绪论、工程总承包项目《发包人要求》编制策划及实施、工程总承包模式下项目发包价格的确定、工程总承包合同风险分担

随着互联网技术的广泛应用和网络规模的不断扩大，很多时候要求网络工程师熟悉并能应用不同厂商的产品，按需求搭建网络并负责其维护和升级。本书融合了多厂商技术，以当前主流厂商思科和华为的设备为基础，重点讲述了网络互联技术问题，涵盖了网络互联基本概念、二层交换技术、三层交换技术、路由技术、公网接入技术、网络安全技术、网络规划与设计、网络故障检查等方面的知识。本书内容贴近工作实际，围绕网络互联技术的规划设计和使用展开论述，并通过众多的案例来帮助读者理解和实现网络互联。本书可作为本科院校网络工程、计算机科学与

本书以居室空间设计的工作流程为主线，以企业实际项目为载体，从项目设计准备、项目设计表达、项目设计实施、项目综合设计方面，全面、系统地介绍了居室空间设计的基础理论和各种设计方法、技巧，并通过企业实际案例，对小户型、中户型、大户型和别墅四种常见居室空间的设计进行了详细讲解。本书内容新颖，形式丰富，将课堂互动、设计小技巧、小贴士、知识链接等内容穿插其中，在突出设计任务的同时，注重培养学生的设计技巧和设计能力。本书配套资源丰富，通过二维码将线上和线下知识衔接，满足学生随时随地学习的需求。本书可作为环境艺

本书以设计思维与快速表现的训练为主要教学手段，培养学生综合解决问题的能力，突出产品设计专业方向特色，着重培养学生在短时间内发现并解决一些具有代表性的设计问题，使学生掌握科学的设计理念与设计方法，能行之有效地将成功的设计展现出来。全书共５章，第１章主要讲解快题设计概念；第２～４章是本书重点，内容包括快题设计的程序与表现方法、 快题设计思维方法与表达、快题设计教学案例，主要讲解了设计流程、设计分析方法、设计思维创意、快题设计表达。第５章主要对实践应用案例进行研究，以便将快题设计方法应用到市场实战中。

虚拟化作为云计算的核心技术之一，是多种云服务实现和交付的基础。本书详细讨论了云计算和虚拟化技术，包括虚拟化与云计算概述、云计算基础设施、虚拟化平台介绍、部署虚拟化平台、虚拟化平台基本功能、虚拟化平台高级功能、维护虚拟化平台、云平台介绍。本书的**特点是理论与实践紧密结合，通过在H3C虚拟化平台上进行大量而翔实的实验，能够使读者更快、更直观地掌握云计算和虚拟化理论与动手技能。本书附有实验手册。
本书是H3C认证系列教程之一，是为对云计算和虚拟化技术感兴趣的人员编写。对于专业的科学研究人员与工