当前位置:首页 > 锦州师范学院学报编辑室编辑相关PDF电子书下载
-
-
数字硬件的形式化验证
韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
-
工程建设机械电器及电控系统
张铁等编著(山东交通学院工程机械研究所)2003 年出版407 页ISBN:7563617256本书主要介绍了工程建设用电设备,典型工程机械用电子技术及自动控制系统,工程建设施工现场供电及安全用电等。
-
-
-
-
-
-
珞珈法学论坛 第13卷
武汉大学法学院著2014 年出版188 页ISBN:9787307138681本卷珞珈法学论坛共收录了14篇文章,分别归入“法学专论”、“立法与司法实务”、“ 法学教育与法学家” 、“知识产权论坛”四大版块。这些文章反映了当下法学研究的热点与前沿问题,内容涉及基因信息、金融创...
-