当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0254秒)
为您推荐: 基于boruta算法的某专科医院门诊患者就诊行为分析 基于hrct浸润性肺腺癌异质性分析及其与肿瘤倍增时间的相关性 新中国的考古发现和研究 基于城乡一体化的北京新城发展研究 基于代数推理的课堂教学研究 绘画形式语言与创新研究
-
-
-
-
-
-
-
数字硬件的形式化验证 【工业技术】
韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
-
-
-
