韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
张铁等编著(山东交通学院工程机械研究所)2003 年出版407 页ISBN:7563617256
本书主要介绍了工程建设用电设备,典型工程机械用电子技术及自动控制系统,工程建设施工现场供电及安全用电等。
同济大学土木工程学院建筑工程系编2015 年出版402 页ISBN:9787512356214
本书主要内容为沈祖炎院士在2004年以后发表的钢结构方面代表性论文,主要包括五方面的内容,涉及热轧型钢结构、冷弯型钢结构、钢管混凝土结构、铝合金结构、钢结构的发展33篇文章。本书适合建筑工程专业相关的...