本书从用户的角度全面阐述了VerilogHDL语言的重要细节和基本设计方法，并详细介绍了Verilog2001版的主要改进部分。本书重点关注如何应用Verilog语言进行数字电路和的设计和验证，而不仅仅讲解语法。全书从基本概念讲起，并逐渐过渡到编程语言接口以及逻辑综合等主题。书中的内容符合VerilogHDLIEEE1364-2001标准。本书适合电子、计算机、自动控制等的学习数字电路设计的大学本科高年级学生阅读，也适合数字设计工程师和已具有多年Verilog设计工作经验的工程师参考。

选收词语4760条。包括数学学科中常见的名词术语、公理、定理、公式及数学学科的新发展、新分支等。是数学爱好者的工具书。众所周知，学数学必须懂得数学的源头和历史，从源头学习是数学学习的捷径。很多人一生都不知道怎么学数学，只有从实用出发，从数学的创始开始，才能学好数学。任何学术必有源头。

《建筑给排水及采暖工程施工质量验收规范应用图解》根据现行国家标准GB 50242-2002《建筑给水排水及采暖工程施工质量验收规范》编写而成，共分14章；内容包括：概论、术语、基本规定、室内给水系统安装、室内排水系统安装、室内热水供应系统安装、卫生器具安装、室内采暖系统安装、室外给水管网安装、室外排水管网安装、室外供热管网安装、建筑中水系统及游泳池水系统安装、供热锅炉及辅助设备安装、分部（子分部）工程质量验收。全书采用与规范条文对照的形式。以图表为主，辅以文字说明，系统阐述建筑给排水及采暖工程质量达标方法和工艺措施。 《建筑给排水及采暖工程施工质量验收规范应用图解》具有较强的可操作性，可供建筑安装企业技术管理人员，建筑给排水及采暖工程施工、质量检验及建设监理人员使用，同时可供大中专院校相关专

我国自改革开放以来，进行了大规模的建设工程，已建成的各类建构筑物400多亿平方米，现在每年还以5亿多平方米的规模进行建设。这些投入巨大资金和人力、物力建成的各类既有建（构）筑物，是我国的宝贵社会财富，也是改革开放的重要成果。为维护好大量既有建（构）筑物，保证其安全使用，及时消除天灾或人为造成的各种病害，延长其使用寿命，就是对国家社会财富最有力的保护。《建筑加固改造托换工程技术实例50例》是广州市胜特建筑科技开发有限公司十五年来高难度工程的典型案例及各种特种新技术的汇编，涉及的工程类型包括结构加固、基础加固、改造、纠倾、托换，并介绍了部分自有专利技术。

《化学传感器原理及应用》共分6章，根据近年来化学传感器的进展，比较系统全面地阐述了化学传感器的基本原理及应用，内容包括光学传感器、电化学传感器、质量传感器、热化学传感器，并介绍了模式识别和分子印迹等新技术在传感器中的应用。《化学传感器原理及应用》内容丰富，取材新颖，重点介绍了各类传感器的原理、结构、特点与应用状况，充分反映了化学传感器研究的新进展与新成果。《化学传感器原理及应用》不仅可供高等院校分析化学专业及相关专业的师生阅读，还可供化学化工、生物技术、医学、药学、农业、环保、质检等部门的科研人员和分析检验人员参考。

本书是水锤及停泵水锤方面的专著，内容包括水锤基本概念和理论、水锤的各种计算方法、停泵水锤的计算原理和计算方法以及停泵水锤防护措施。本书以工程实用为宗旨，对于重要的或复杂的水锤防护措施与工程均给出设计（计算）程序、电算源程序和工程实例，以便读者采用；同时，以大量篇幅介绍了作者在停泵水锤防护技术与工程设计方面的研究成果，特别是在“伴随有多处水柱分离停泵水锤的分析与综合防护设计”方面的成果，并给出两个城市的工程实例。 本书可供给水排水、农田水利、核电、火力发电、采油、输油、化工、供热、环境工程和流体机械等领域的科技人员使用，亦可作为高校相应专业的高年级学生和研究生的教材或教学参考书。

本书收录了首届全国钢结构行业数字建筑及BIM应用大赛的55个获奖项目，详细介绍了在中国国际丝路中心大厦、广州新白云国际机场T2航站楼钢结构工程、前海国际会议中心、银川丝路明珠塔、郑州大剧院等项目中BIM技术的应用情况，是我国钢结构部关于BIM大赛的作品集。本书内容丰富，形式多样，极具参考价值，可为推进数字建筑及BIM技术在建筑信息化发展中的应用，深化BIM技术在钢结构工程中的实践，创新BIM专业技术人才培养机制提供帮助。

我国自改革开放以来，进行了大规模的建设工程，已建成的各类建构筑物400多亿平方米，现在每年还以5亿多平方米的规模进行建设。这些投入巨大资金和人力、物力建成的各类既有建（构）筑物，是我国的宝贵社会财富，也是改革开放的重要成果。为维护好大量既有建（构）筑物，保证其安全使用，及时消除天灾或人为造成的各种病害，延长其使用寿命，就是对国家社会财富最有力的保护。《建筑加固改造托换工程技术实例50例》是广州市胜特建筑科技开发有限公司十五年来高难度工程的典型案例及各种特种新技术的汇编，涉及的工程类型包括结构加固、基础加固、改造、纠倾、托换，并介绍了部分自有专利技术。

《建筑电气安装一本通》主要介绍了：电工基本操作、室内线路安装、电气器具安装、弱电线路安装等内容，突出建筑电气安装的操作技能，简明易懂，力求读者学得会、用得上。 《建筑电气安装一本通》可作为具有初中及以上文化程度，求职于建筑行业、工厂企业、农村及乡镇的低压电工专业的人员的培训教材，同时可作为中职、高职学校的相关专业的参考书。

下岗再就业，年轻新创业，兼职搞副业，农村办工业，应该从哪里入手呢？古语道：“百艺好藏身”，那就从学一门过硬的维修技术入手吧！有了过硬的技术，可以创业当老板，也可以到用人单位轻松找到高薪的职位，真是做人立业之本。 本书重点介绍了履带式推土机、轮胎式推土机的基本结构和工作原理，并详细讲述了其故障检修及排除方法。本书结构完整、内容新颖、通俗易懂、理论与实际相结合，适用面广。特别适合于城乡广大推土机维修人员、初学者、业余爱好者阅读，也可供推土机用户和工程技术人员参考，还可作为各类职业技能培训单位的培训教材。

《建设行业从业人员培训系列丛书：预拌混凝土生产、施工800问》是《预拌混凝土生产、施工300问》的第2版，由于2009年出版的版销售万余册，深受广大读者的欢迎，因此编者决定对其进行修订，目的是跟上时代步伐，解答近几年混凝土生产企业一线人员、管理人员、销售人员和施工企业相关技术人员经常遇到的问题。《建设行业从业人员培训系列丛书：预拌混凝土生产、施工800问》一共800问，分为12章，内容包括合同与成本管理，骨料，胶凝材料，外加剂，生产技术及特种混凝土，混凝土质量及病害，特殊气候条件下的施工，安全环保，建筑工程相关基础知识，混凝土质量检测与评定，混凝土搅拌、运输和泵送设备相关知识，建筑工业化生产与施工。 全书按照一问一答的方式编排，读者可根据自己的需要，从目录中查找问题，在正文中迅速得到答案。 《

本书从用户的角度全面阐述了VerilogHDL语言的重要细节和基本设计方法，并详细介绍了Verilog2001版的主要改进部分。本书重点关注如何应用Verilog语言进行数字电路和的设计和验证，而不仅仅讲解语法。全书从基本概念讲起，并逐渐过渡到编程语言接口以及逻辑综合等主题。书中的内容符合Verilog HDL IEEE 1364-2001标准。本书适合电子、计算机、自动控制等的学习数字电路设计的大学本科高年级学生阅读，也适合数字设计工程师和已具有多年Verilog设计工作经验的工程师参考。

随着一大批重大工程项目的启动，工程机械无论在数量上还是在质量上都有了突飞猛进的增长和提高。而挖掘机作为机械化施工的主要设备，现已成为土方施工作业中不可或缺的工程机械，它是典型的机电一体化的高科技产品。由于挖掘机结构复杂、技术含量高、工作负荷大、施工环境恶劣，出现故障在所难免。但是目前有关挖掘机维修方面的资料非常缺乏，广大挖掘机使用与维修人员遇到故障时往往束手无策，使得工程进度和经济效益受到严重影响。正是在此背景下，为了满足广大使用及维修技术人员的迫切需求，特组织具有丰富实践经验的工程技术人员，在广泛收集资料的基础上，精心编写了本书，供广大读者阅读参考。

《建筑设备与电气技术常识》是《建筑工程施工知识自学丛书》中的一册。全书分三部分，分别比较系统地介绍了采暖、通风与空调、空调制冷技术和热源等采暖工程基本知识；室内给水、室内热水和建筑排水的给水排水工程基本知识；建筑电气系统、建筑弱电系统、照明和电气设备的电气工程基本知识。 书中文字简练、通俗易懂，适用于建筑工人自学阅读，也可作为建筑工人职业培训的教材，同时还可供大专院校相关专业师生参考。

“失火与防火”是建筑中两大永恒的主题。现代社会各种建筑层出不穷，它们功能复杂，一旦发生火灾极难扑救，从而人员伤亡和财产损失严重，对建筑进行消防安全分析和性能化设计非常必要。本书系统讲述了建筑消防安全基础知识、建筑防火平面化设计、建筑内部装修材料防火设计、建筑的防排烟系统、火灾监控技术与灭火系统、建筑消防性能化设计。吸纳了目前建筑消防工程领域的新技术和新成果，注重理论联系实际，突出实用性和可操作性。 本书可供建筑工程设计人员和监理人员以及企事业单位的消防安全管理人员和技术人员学习使用，也可作为管理科学与工程类、环境与安全、消防工程类的大专院校师生的学习教材、教学参考书。

本书比较详细地介绍了工程起重机械、土方机械、桩工机械、钢筋机械、混凝土机械、装修机械等的构造、特点、工作原理、应用领域、使用要点及各类建筑施工机械管理等相关内容。本书内容精炼、利于教学、联系实际、通俗易懂，并尽可能反映现代的新技术、新机型以及我国建筑施工机械的新成就。 本书可作为高等院校土木工程、工程管理、市政、交通、建筑设备等专业的本科、专科、高职等层次的教学用书，也可以供建设单位、施工单位、监理单位等工程技术人员和管理人员学习参考。