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

浏览

消息

著作权

相关连结

"shyu jyuo min"的相关文件

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

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

机构 日期 题名 作者
臺大學術典藏 2020-06-11T06:29:41Z Hardware Verification Using Symbolic State Transition Graphs. Chen, Pinhong;Shyu, Jyuo-Min;Chen, Liang-Gee; Chen, Pinhong; Shyu, Jyuo-Min; Chen, Liang-Gee; LIANG-GEE CHEN
臺大學術典藏 2018-09-10T04:27:49Z Hardware verification using symbolic state transition graphs Chen, Pinhong; Shyu, Jyuo-Min; Chen, Liang-Gee; LIANG-GEE CHEN
國立交通大學 2015-07-21T08:31:29Z A 0.5V 1.27mW Nose-on-a-Chip for Rapid Diagnosis of Ventilator-Associated Pneumonia Tang, Kea-Tiong; Chiu, Shih-Wen; Shih, Chung-Hung; Chang, Chia-Ling; Yang, Chia-Min; Yao, Da-Jeng; Wang, Jen-Huo; Huang, Chien-Ming; Chen, Hsin; Chang, Kwuang-Han; Hsieh, Chih-Cheng; Chang, Ting-Hau; Chang, Meng-Fan; Wang, Chia-Min; Liu, Yi-Wen; Chen, Tsan-Jieh; Yang, Chia-Hsiang; Chiueh, Herming; Shyu, Jyuo-Min
國立臺灣大學 1993-10 Hardware verification using symbolic state transition graphs Chen, Pin-hong; Shyu, Jyuo-Min; Chen, Liang-Gee
臺大學術典藏 1993-10 Hardware verification using symbolic state transition graphs Chen, Pin-Hong; Shyu, Jyuo-Min; Chen, Liang-Gee; Chen, Pin-hong; Shyu, Jyuo-Min; Chen, Liang-Gee
國立臺灣大學 1993-02 A new method of identifying critical paths for performance optimization Huang, Shiang-Tang; Parng, Tai-Ming; Shyu, Jyuo-Min
國立臺灣大學 1991-11 A new approach to solving false path problem in timing analysis Huang, Shiang-Tang; Parng, Tai-Ming; Shyu, Jyuo-Min
國立臺灣大學 1991-11 Transient sensitivity computation for waveform relaxation-based timing simulation Chen, Chun-Jung; Shyu, Jyuo-Min; Feng, Wu-Shiung
國立臺灣大學 1991-05 Transient sensitivity computation for waveform relaxation-based timing simulation Chen, Chun-Jung; Shyu, Jyuo-Min; Feng, Wu-Shiung

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