臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

关于TAIR
	计画说明

"val celina g"的相关文件

回到依作者浏览
依题名排序	依日期排序

显示项目 1-1 / 1 (共1页)
1
每页显示[10|25|50]项目

机构	日期	题名	作者
國立交通大學	2015-07-21T11:21:09Z	Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog	Cheng, An-Che; Yen, Chia-Chih (Jack); Val, Celina G.; Bayless, Sam; Hu, Alan J.; Jiang, Iris Hui-Ru; Jou, Jing-Yang

显示项目 1-1 / 1 (共1页)
1
每页显示[10|25|50]项目

	English \| 正體中文 \| 简体中文 \| 总笔数 :2809350
	造访人次 : 26893747 在线人数 : 358 教育部委托研究计画计画执行:国立台湾大学图书馆