English  |  正體中文  |  简体中文  |  2831143  
???header.visitor??? :  33147109    ???header.onlineuser??? :  991
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"nian ze lee"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-10 of 18  (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2019-10-24T07:45:22Z Sequential Engineering Change Order under Retiming and Resynthesis 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Victor Kravets;Nian-Ze Lee; Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:22Z Sequential Engineering Change Order under Retiming and Resynthesis 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Victor Kravets;Nian-Ze Lee; Nian-Ze Lee; Victor Kravets; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Yi-Hsiang Lai;Hao-Yuan Kuo;Nian-Ze Lee; Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Yi-Hsiang Lai;Hao-Yuan Kuo;Nian-Ze Lee; Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Solving Stochastic Boolean Satisfiability under Random-Exist Quantification 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Yen-Shi Wang;Nian-Ze Lee; Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:21Z Solving Stochastic Boolean Satisfiability under Random-Exist Quantification 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Yen-Shi Wang;Nian-Ze Lee; Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:20Z Towards Formal Evaluation and Verification of Probabilistic Design 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Nian-Ze Lee; Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:20Z Towards Formal Evaluation and Verification of Probabilistic Design 江介宏;JIE-HONG JIANG;Jie-Hong R. Jiang;Nian-Ze Lee; Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:43:08Z Solving Stochastic Boolean Satisfiability under Random-Exist Quantification JIE-HONG JIANG;Jie-Hong R. Jiang;Yen-Shi Wang;Nian-Ze Lee; Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:08Z Solving Stochastic Boolean Satisfiability under Random-Exist Quantification JIE-HONG JIANG;Jie-Hong R. Jiang;Yen-Shi Wang;Nian-Ze Lee; Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang; JIE-HONG JIANG

Showing items 1-10 of 18  (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page