English  |  正體中文  |  简体中文  |  总笔数 :0  
造访人次 :  51533848    在线人数 :  938
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (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]项目