English  |  正體中文  |  简体中文  |  總筆數 :0  
造訪人次 :  51260364    線上人數 :  856
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

"jie hong r jiang"的相關文件

回到依作者瀏覽
依題名排序 依日期排序

顯示項目 131-141 / 141 (共3頁)
<< < 1 2 3 
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2018-09-10T06:37:58Z Quantum Mechanical Search and Harmonic Perturbation Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:37:57Z Quantum Mechanical Search and Harmonic Perturbation Jie-Hong R. Jiang; Dah-Wei Chiou; Cheng-En Wu; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:37:57Z A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits Chin-Hsiung Hsu; Szu-Jui Chou; Jie-Hong R. Jiang; Yao-Wen Chang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T06:03:22Z Retiming and Resynthesis: A Complexity Perspective Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏 2018-09-10T05:29:29Z On Some Transformation Invariants under Retiming and Resynthesis Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T05:29:28Z Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Tiziano Villa; Nina Yevtushenko; JIE-HONG JIANG
臺大學術典藏 2018-09-10T04:59:56Z On Breakable Cyclic Definitions Jie-Hong R. Jiang; Alan Mishchenko; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏 2018-09-10T04:59:55Z Functional Dependency for Verification Reduction Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏 2018-09-10T04:36:05Z On the Verification of Sequential Equivalence Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG
臺大學術典藏 2015-11 Property-directed synthesis of reactive systems from safety specifications Ting-Wei Chiang;Jie-Hong R. Jiang; Ting-Wei Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2015-11 Property-directed synthesis of reactive systems from safety specifications Ting-Wei Chiang;Jie-Hong R. Jiang; Ting-Wei Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG

顯示項目 131-141 / 141 (共3頁)
<< < 1 2 3 
每頁顯示[10|25|50]項目