本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语

本书共分为7章，主要内容包括绪论、知识图谱表示学习的现有研究综述、基于超平面机制的时态知识图谱表示学习模型、基于张量分解技术的时态知识图谱表示学习模型、利用隐式类型信息增强现有静态模型的普适性方法、类型增强的时态知识图谱表示学习模型、总结与展望。知识图谱是一种新型数据管理模式，对原本分散的多专业、多来源、多结构的专业知

编者从百色水利枢纽工程项目前期工作开始，对工程建设管理体制与机制、招投标管理、施工管理、合同管理、技术管理、质量管理、安全生产管理、征地补偿及移民安置、水土保持与环境保护、工程验收、建设成就与工程评价等方面进行了系统性的总结；对工程建设过程中出现的如复杂地基下高碾压混凝土重力坝建设、有限岩体内布置地下厂房洞室群等技术难

本书共分四篇，即总体布置、工程施工、金结与机电，以及保障措施，主要内容包括工程概述、平面布置、引水隧洞及调压井、溶洞处理工程施工、压力管道土建工程施工、厂房系统土建工程施工、钻孔与灌浆工程施工、金属结构及埋件安装工程、机电设备安装工程、质量管理体系职业健康安全管理、环境保护与水土保持措施，以及文明施工措施等。

本书为工业设计类学术专著。本书以IP设计为研究对象，共十个章节，从“泛IP”的视角，阐释“泛IP”语境下IP产品设计的概念及发展历史、展示IP的形式及IP产品分类，分析“泛IP”语境下IP产品设计的意义，探究“泛IP”语境下IP产品设计的特征和设计原则，研究“泛IP”语境下IP产品设计的文化内容表达，总结“泛IP”语境

本书以河南矿区为研究对象，分析了煤层开釆底板突水形成条件，在总结分析现有文献资料的基础上，运用理论推导、试验模拟、数值模拟、现场监测等多种方法和手段，对煤层底板破坏与递进导升协同突水致灾机制进行研究。主要内容包括：绪论、河南矿区水文地质特征及突水影响因素分析、底板破坏与递进导升协同突水机制研究、底板破坏养护递进导升协同

本书以某工程大型闸墩为案例，建立了三维有限元计算网格模型，模型考虑了闸墩地基、基础和墩体，并内设了复杂的水管网络；结合实际工程，设置边界条件，给定初始条件，采用三维非稳定温度场与应力场计算程序，开展了多工况的仿真计算；计算结果表明，墩墙混凝土采用C40混凝土，绝热温升大，浇筑块长，因此若不采取温控措施，结构有开裂的危险

本书共分为8章，通过水利基础知识、土石方工程施工、混凝土工程与渠系工程施工、水利工程建设监理理论、水利工程信息化建设、大中型水利工程标准化工地建设、社会资本参与的大中型水利工程资产管理、水利工程建设经济等方面来分析水利工程建筑施工技术要点，为现代化水利工程建筑施工提供指导，提升水利工程经济效益和社会效益。本书理论与实践

在金属溶剂萃取中，萃取剂起到了至关重要的作用，萃取工艺中的所有条件都是为了发挥萃取剂的最大优势而确定的。提升萃取剂性能是从本质上提高萃取体系分离效率、降低萃取过程的经济和环境成本、增加行业核心竞争力最有效的方式。本书共分12章，第1章简要介绍金属冶炼中萃取剂的作用与分类；第2章阐述了溶液萃取中的多种化学反应；第3章介绍

我国气体产业十分广阔，以氧、氮、氩为代表的工业气体领域，以天然气为代表的自然气体领域，以氢气为代表的绿色气体领域等均有丰富的应用。而这些气体大规模的制、储、运均需要低温技术和低温产业的支撑。随着工业气体、自然气体的市场需求增加，大型空分、大型液化天然气装置的配套装备特别是低温泵阀产品也不断推陈出新，迭代发展。同时随着液