臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

關於TAIR
	計畫說明

"wu cheng yin"的相關文件

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

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

機構	日期	題名	作者
臺大學術典藏	2020-06-11T06:33:09Z	A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking	Wu, Cheng-Yin;Wu, Chi-An;Lai, Chien-Yu;Huang, Chung-Yang R.; Wu, Cheng-Yin; Wu, Chi-An; Lai, Chien-Yu; Huang, Chung-Yang R.; CHUNG-YANG HUANG
國立臺灣大學	2014	暫存器轉移階層硬體系統模型檢驗	吳政穎; Wu, Cheng-Yin
國立臺灣大學	2010	應用抽象與精細化技術增進RTL電路之安全性屬性檢定效能	吳政穎; Wu, Cheng-Yin
國立臺灣大學	2009	台灣大濁水片麻岩磷灰石核飛跡年代與其地質意義	吳承穎; Wu, Cheng-Yin

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

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