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

瀏覽

消息

著作權

相關連結

"jie hong jiang"的相關文件

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

顯示項目 176-179 / 179 (共18頁)
<< < 9 10 11 12 13 14 15 16 17 18 
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2018 Static Detection of API Call Vulnerabilities in iOS Executables JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG
臺大學術典藏 2018 Efficient Computation of ECO Patch Functions 江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG; 江介宏
臺大學術典藏 2018 Efficient Computation of ECO Patch Functions 江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. 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

顯示項目 176-179 / 179 (共18頁)
<< < 9 10 11 12 13 14 15 16 17 18 
每頁顯示[10|25|50]項目