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

瀏覽

消息

著作權

相關連結

"wang hung en"的相關文件

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

顯示項目 1-3 / 3 (共1頁)
1 
每頁顯示[10|25|50]項目

機構 日期 題名 作者
國立政治大學 2018-07 A Symbolic Model Checking Approach to the Analysis of String and Length Constraints 郁方; Yu, Fang; Wang, Hung-En;Chen, Shih-Yu;Yu, Fang;Jiang, Jie-Hong R.
國立政治大學 2016 String analysis via automata manipulation with logic circuit representation 郁方; Wang, Hung En; Tsai, Tzung Lin; Lin, Chun Han; Yu, Fang; Jiang, Jie-Hong Roland
國立臺灣大學 2016 利用邏輯電路表示式之字串分析法:理論與應用 王宏恩; Wang, Hung-En

顯示項目 1-3 / 3 (共1頁)
1 
每頁顯示[10|25|50]項目