English  |  正體中文  |  简体中文  |  总笔数 :0  
造访人次 :  52766303    在线人数 :  498
教育部委托研究计画      计画执行:国立台湾大学图书馆
 		 
搜寻范围 进阶搜寻
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR
计画说明

浏览
典藏机构
作者
题名
日期
统计图表
机构即时统计
学术趋势

消息
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

著作权
出版社及期刊政策查询
TAIR著作权会议记录

相关连结
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
台湾机构典藏 TAIR >  依作者浏览

"wei an ji"的相关文件

回到依作者浏览
依题名排序 依日期排序

显示项目 1-4 / 4 (共1页)
1 
每页显示[10|25|50]项目

机构 日期 题名 作者
元智大學 2018-04-16 Using Range-equivalent Circuits for Facilitating Bounded Sequential Equivalence Checking Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chia-Cheng Wu; Chia-Chun Lin; Chun-Yao Wang; 陳勇志
元智大學 2018-04-16 Using Range-equivalent Circuits for Facilitating Bounded Sequential Equivalence Checking Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chia-Cheng Wu; Chia-Chun Lin; Chun-Yao Wang; 陳勇志
元智大學 2015-03-16 Using Range-Equivalent Circuits for Facilitating Bounded Sequential Equivalence Checking 陳勇志; Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chun-Yao Wang
元智大學 2015-03-16 Using Range-Equivalent Circuits for Facilitating Bounded Sequential Equivalence Checking 陳勇志; Wei-An Ji; Chih-Chung Wang; Ching-Yi Huang; Chun-Yao Wang

显示项目 1-4 / 4 (共1页)
1 
每页显示[10|25|50]项目

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team