English  |  正體中文  |  简体中文  |  总笔数 :0  
造访人次 :  52925157    在线人数 :  832
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR

浏览

消息

著作权

相关连结

"wen charles h p"的相关文件

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

显示项目 56-58 / 58 (共3页)
<< < 1 2 3 
每页显示[10|25|50]项目

机构 日期 题名 作者
國立交通大學 2014-12-08T15:21:00Z Diagnosing Multiple Byzantine Open-Segment Defects Using Integer Linear Programming Kao, Chen-Yuan; Liao, Chien-Hui; Wen, Charles H. -P.
國立交通大學 2014-12-08T15:19:58Z Speeding up Bounded Sequential Equivalence Checking with Cross-Timeframe State-Pair Constraints from Data Learning Chang, Chia-Ling(Lynn); Wen, Charles H. -P.; Bhadra, Jayanta
國立交通大學 2014-12-08T15:12:33Z An incremental learning framework for estimating signal controllability in unit-level verification Wen, Charles H. -P.; Wang, Li-C.; Bhadra, Jayanta

显示项目 56-58 / 58 (共3页)
<< < 1 2 3 
每页显示[10|25|50]项目