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

关于TAIR
	计画说明

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

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

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

相关连结
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"timothy k shih"的相关文件

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

显示项目 356-380 / 389 (共16页)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
每页显示[10|25|50]项目

机构	日期	题名	作者
亞洲大學	1995-09	The Measurement of Software Complexity through Program Decomposition	Chi-Ming Chung; Timothy K. Shih; Ying-Hong Wang; Wei-Chuan Lin; ing-Feng Kou
亞洲大學	1995-07	An Inheritance Level Based Metric for Object-Oriented Software Complexity	Chi-Ming Chung; Chun-Chia Wang; Timothy K. Shih; Gwo-Ching Hsieh
亞洲大學	1995-05	An Object-Oriented Approach and System for Intelligent Multimedia Presentation Designs	Chi-Ming Chung; Timothy K. Shih; Jiung-Yao Huang; Ying-Hong Wang; Tsu-Feng Kuo
亞洲大學	1995-04	Formal Specification and Verification in Z for Synchronous Concurrent Computation	Fuyau Lin ; Timothy K. Shih
亞洲大學	1995-02	On the Construction of a Prolog-Based Verifier for Systolic Designs	Timothy K. Shih; Nam Ling; Ruth Davis; Fuyau Lin
亞洲大學	1995-01	An Operational Semantics Approach to Disciplined Exceptions in Logic Programming	Timothy K. Shih ; Fuyau Lin
亞洲大學	1995	Level Models Automation for Virtual Environment	Jiung-Yao Huang; Shing-Ping Cheng; Timothy K. Shih
亞洲大學	1995	Multimedia Presentation Designs with Database Support	Timothy K. Shih; Chin-Hwa Kuo; Kuan-Shen An
亞洲大學	1995	Visualization of Well Engineered Logic Specification Programs	Timothy K. Shih; Chin-Hwa Kuo; Wen-Shan Yu
亞洲大學	1995	A Metric of Inheritance Hierarchy for Object-Oriented Software Complexity	Chi-Ming Chung; Chun-Cha Wang; Timothy K. Shih; Jich-Yan Tsai
亞洲大學	1995	An Artificial Intelligent Approach to Multimedia Authoring	Timothy K. Shih
亞洲大學	1995	A Hierarchy Testing of Object-Oriented Program Structure	Chi-Ming Chung; Chun-Cha Wang; Timothy K. Shih
亞洲大學	1995	An Inheritance Level Based Metric for Object-Oriented Software Complexity,	Chi-Ming Chung; Chun-Cha Wang; Timothy K. Shih; Gwo-Ching Hsieh
亞洲大學	1995	Visualization of Logic Specification Programs	Timothy K. Shih;Rob Langsner
亞洲大學	1994-12	SPEC: A Specification Processing Environment with Controls	Timothy K. Shih ; Ruth E. Davis
亞洲大學	1994-04	A Temporal Arithmetic Based Reasoning System for Systolic Array Designs	Timothy K. Shih ; Nam Ling
亞洲大學	1994	Continuation Semantics of Logic Programs with Disciplined Exception Handling	Timothy K. Shih
亞洲大學	1993-09	Verification of Systolic Architecture Designs	Fuyau Lin ; Timothy K. Shih
亞洲大學	1993	The Use of Fixed Point Induction in Verifying Systolic Array Designs: An Applicative Approach	Nam Ling; Jonathan Huang; Timothy K. Shih
亞洲大學	1993	VSTA: A Prolog-based Formal Verifier for Systolic Array Designs	Nam Ling;Timothy K. Shih
亞洲大學	1992	A Temporal Rule-Based Expert System for Systolic Array Designs	Timothy K. Shih; Nam Ling; Xi Chen
亞洲大學	1992	Program Generation and Controls in a Specification Processing Environment,	Timothy K. Shih;Ruth Davis
亞洲大學	1992	The Specification and Verification of Synchronous Concurrent Computation	Fuyau Lin; Timothy K. Shih; Huanchau Lin; Hsiren Wang
亞洲大學	1992	A Specification Processing Environment for Making Well Engineered Logic Programs	Timothy K. Shih; Ruth Davis; Rob Langsner
亞洲大學	1992	Intelligence Backtracking and Controls Based on a Deduction Status Representation in Logic Programming	Timothy K. Shih;Ruth Davis

显示项目 356-380 / 389 (共16页)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
每页显示[10|25|50]项目

	English \| 正體中文 \| 简体中文 \| 总笔数 :0
	造访人次 : 51203860 在线人数 : 877 教育部委托研究计画计画执行:国立台湾大学图书馆