臺灣學術機構典藏系統 (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]項目

	English \| 正體中文 \| 简体中文 \| 總筆數 :0
	造訪人次 : 52889163 線上人數 : 765 教育部委託研究計畫計畫執行:國立臺灣大學圖書館