本书从HTML和CSS入手，讲解了HTML标签与CSS的相关属性。在讲解了基础知识后，又对HTML5与CSS3的新增标签和属性进行了相关介绍，同时穿插了大量案例，模拟了真实的开发场景。

本书提出了一种基于形式化模型的严密的系统设计方法，阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断

本书结合项目实战案例和业界主流工具，从思想、技术、工具、案例等方面阐述了DevOps在传统规模化IT组织中实施落地的方法。

本书详细介绍了面向静态数据库、增量数据库和数据流的高效用模式挖掘的理论和方法。本书主要内容包括六个章节，前两章介绍高效用模式挖掘的相关知识。第三章介绍面向静态数据库包含正、负效用的两类精简高效用模式挖掘方法的研究与实现过程。第四章介绍针对增量数据库的挖掘高效用模式全集和精简集合算法的研究。第五章介绍面向数据流的精简高效

本书是“十二五”普通高等教育本科国家级规划教材，系统、全面地介绍了数控编程、数控原理、数控机床机械结构等方面的知识。全书共10章，内容包括数控技术概论、数控加工程序编制基础、数控加工编程方法、计算机数控装置、数控机床的运动控制原理、数控机床的检测装置、数控机床的伺服驱动系统、数控机床的机械结构与装置、分布式数字控制技术

本书系统梳理了20种稀土和稀有材料的发展历史。全书共20章，前14章主要记述了14种稀土材料，分别为稀土永磁材料、稀土储氢材料、稀土发光材料、稀土催化材料、稀土玻璃材料、稀土陶瓷材料、稀土抛光材料、稀土超导材料、稀土激光材料、稀土热电材料、稀土磁制冷材料、稀土发火合金材料、稀土核能材料、稀土高分子材料。后6章主要记述了

家具和人们的生活密不可分，而木质材料和竹质材料是各式家具的传统材料，也是不可替代的材料。本书详细分析了常见木质和竹质材料的构成、结构、性能以及材质特性，系统介绍了传统实木家具和板式家具的结构、连接、制作工艺以及传统造型设计和现代设计思路，并简要介绍了家具结构的有限元分析等现代分析方法和技巧。本书适合从事家具设计与制造的

本书全面而系统地论述了信号与线性系统分析的基本理论和方法，并在配套的实验与例题中加入机器人工程中相关信息与系统实例展开，突出理论与实践联系，从工程技术问题中建立系统模型，展开分析，体现新兴专业教学特点。全书共7章。第1章简单介绍信号与系统的基本概念。第2章讲解连续时间信号的描述及其运算。第3章讲解连续时间系统的时域描述

本教材分为五个模块、9个项目。第1个模块包括项目一、项目二，主要阐述BIM基本概念，系统介绍什么是BIM，BIM的发展现状和应用价值；其次，介绍Revit软件的相关知识。第2个模块为项目三，主要讲解如何在Revit2021软件中绘制标高和轴网。第3个模块包括项目四、项目五，主要描述土建模型中结构构件与建筑构件的创建方法

本书基于对20世纪80年代以来我国历史城市水利研究的评述，提出“区域”、“整体”的研究思路，分别从“城址的选定与水环境”、“城市用水的环境与供应”、“城市水灾的特征与应对”和“城市水体的营建与功能”四个方面，对明清民国时期关中一天水地区城市与水环境的互动进行整体关照和总体性反思。基于区域整体、典型案例、特殊问题等多角度