清华大学经济管理学院编2012 年出版110 页ISBN：9787302289029
本书发表国内外在信息系统研究领域所取得的理论创新和应用文章。每一辑10篇文章，主要分为：主编的话、相关论文、专家通讯、学术动态四个部分。...
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
张铁等编著（山东交通学院工程机械研究所）2003 年出版407 页ISBN：7563617256
本书主要介绍了工程建设用电设备，典型工程机械用电子技术及自动控制系统，工程建设施工现场供电及安全用电等。
