杨秋侠著（西安建筑科技大学环境工程学院）2010 年出版166 页ISBN：9787561227411
本书共分8章，主要内容包括：工业企业总体规划，工业场地用地规划，工业企业运输设施规划，“废”料场规划，工业企业动力公用设施规划，工业企业生活居住区用地规划，工业企业总体规划方案综合评价，工业企业总体规......
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
