English  |  正體中文  |  简体中文  |  總筆數 :0  
造訪人次 :  51934126    線上人數 :  921
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (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]項目