English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  51532621    Online Users :  988
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR

Browse By

News

Copyright

Related Links

"jie hong r jiang"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 1-10 of 141  (15 Page(s) Totally)
1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2019-10-24T07:45:24Z An approximation algorithm to the optimal switch control of reconfigurable battery packs 江介宏;JIE-HONG JIANG;Mao-Cheng Huang;Shih-Hao Liang;Shou-Hung Welkin Ling;Jie-Hong R. Jiang;Shih-Yu Chen; Shih-Yu Chen; Jie-Hong R. Jiang; Shou-Hung Welkin Ling; Shih-Hao Liang; Mao-Cheng Huang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:24Z An approximation algorithm to the optimal switch control of reconfigurable battery packs 江介宏;JIE-HONG JIANG;Mao-Cheng Huang;Shih-Hao Liang;Shou-Hung Welkin Ling;Jie-Hong R. Jiang;Shih-Yu Chen; Shih-Yu Chen; Jie-Hong R. Jiang; Shou-Hung Welkin Ling; Shih-Hao Liang; Mao-Cheng Huang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:24Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving 江介宏;JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:24Z A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving 江介宏;JIE-HONG JIANG;Aile Ge-Ernst;Ralf Wimmer;Jie-Hong R. Jiang;Christoph Scholl; Christoph Scholl; Jie-Hong R. Jiang; Ralf Wimmer; Aile Ge-Ernst; JIE-HONG JIANG; 江介宏
臺大學術典藏 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: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: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; 江介宏

Showing items 1-10 of 141  (15 Page(s) Totally)
1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page