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

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"kuan hua tu"???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-5 of 5  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2019-10-24T07:45:22Z Homing Sequence Derivation with Quantified Boolean Satisfiability Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG; 江介宏; Kuan-Hua Tu; Hung-En Wang; 江介宏;JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang
臺大學術典藏 2019-10-24T07:43:08Z Homing Sequence Derivation with Quantified Boolean Satisfiability JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang; Hung-En Wang; Kuan-Hua Tu; Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG
臺大學術典藏 2018-09-10T15:26:17Z QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving Kuan-Hua Tu;Tzu-Chen Hsu;Jie-Hong R. Jiang; Kuan-Hua Tu; Tzu-Chen Hsu; Jie-Hong R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T09:50:56Z Synthesis of feedback decoders for initialized encoders Kuan-Hua Tu;Jie-Hong R. Jiang; Kuan-Hua Tu; Jie-Hong R. Jiang; JIE-HONG JIANG
國立臺灣師範大學 2015-8-13 不同鞋底前足彎曲勁度對運動表現的影響 杜冠樺; Kuan-Hua TU

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