数字集成电路设计验证 量化评估、激励生成、形式化验证

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

医学数字图像实用技术

本书介绍医学数字图像实用技术。

混凝土工程技术问答详解

本书介绍了混凝土工程技术的基本知识。

混凝土实用手册

本书不仅展示了作为工业材料的混凝土的特征和混凝土结构物的一般性特征，而且，记述了混凝土构件及混凝土结构物的分类和构造力学的基础。...

现代混凝土施工技术

本书分为五章，主要讲述了混凝土概论、混凝土生产与运输、混凝土浇筑与养护、混凝土的质量控制与验收、特殊混凝土的施工等内容。

补偿收缩混凝土裂渗控制技术及其应用

碾压混凝土快速筑坝技术

本书阐述了碾压混凝土快速筑坝技术的理论、方法、经验与工程实践，引用了大量丰富的第一手碾压混凝土试验研究成果、招标投标资料和快速筑坝的工程实例。是一本具有较高理论水平和丰富工程实践的技术专著。...

补偿收缩混凝土裂渗控制技术及其应用

本书介绍了补偿收缩混凝土裂渗控制技术及其应用。

水泥混凝土桥面铺装技术指南

本书主要内容包括：管理信息系统概念、管理信息系统技术基础、数据通信与计算机网络、系统科学与技术、企业应用信息系统基础、信息系统开发方法、系统分析、系统设计等。...

桥梁高性能混凝土制备与应用技术指南