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

关于TAIR
	计画说明

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

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

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

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

"timothy k shih"的相关文件

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

显示项目 351-389 / 389 (共8页)
<< < 1 2 3 4 5 6 7 8
每页显示[10|25|50]项目

机构	日期	题名	作者
亞洲大學	1996	Managing Temporal Knowledge Underlying Multimedia Presentations	Timothy K. Shih; Hwei-Jen Lin; Chin-Hwa Kuo; Nancy P. Lin; Yule-Chyun Lin; Chua-Cha Wang; Szu-Jan Fu
亞洲大學	1996	Formal Specification of Multimedia Authoring	Timothy K. Shih; Ding-An Chiang; Huan-Chao Keh; Chien-Chou Shis
亞洲大學	1996	Inheritance Based Metrics for Measuring Object-Oriented Design	Chi-Ming Chung; Timothy K. Shih; Jich-Yan Tsai; Chun-Chia Wang
亞洲大學	1995-12	Object-Oriented Software Development Techniques -- Combining Testing and Metrics	Chi-Ming Chung; Timothy K. Shih; Chun-Chia Wang; Ming-Chi Lee
亞洲大學	1995-11	On Making a Better Interactive Multimedia Presentation	Timothy K. Shih
亞洲大學	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
亞洲大學	1992	Verification of Systolic Architecture Designs	Fuyau Lin;Timothy K. Shih
亞洲大學	1992	Inductive Techniques for Formal Verification of Systolic Array Designs in DSP Applications	Nam Ling; Timothy K. Shih; Jonathan Huang
亞洲大學	1992	Using Prolog as a Tool for Systolic Array Designs	Fuyau Lin; Timothy K. Shih; Nam Lin; Ruth Davis
亞洲大學	1992	Disciplined Exceptions in Logic Programming,	Timothy K. Shih; Ruth E. Davis; Fuyau Lin
亞洲大學	1992	An Automatic Design Specification and Verification Tool for Systolic Architecture	Timothy K. Shih; Nam Ling; Ruth Davis; Fuyau Lin
亞洲大學	1991	Verification Tools for Systolic Array Design	Fuyau Lin; Timothy K. Shih; Nam Ling
亞洲大學	1991	Axiomatic Approach for Systolic Array Design	Fuyau Lin; Timothy K. Shih;Nam Ling
亞洲大學	1991	Automatic Formal Verification of Systolic Array Designs	Nam Ling; Fuyau Lin; Timothy K. Shih;Ruth Davis
亞洲大學	1990	A CASE for Logic Programming	R. E. Davis;Timothy K. Shih

显示项目 351-389 / 389 (共8页)
<< < 1 2 3 4 5 6 7 8
每页显示[10|25|50]项目

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