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

About TAIR
	About TAIR

Browse By
	Institution
	Author
	Title
	Date
	Statistics Chart
	Institution Facts
	Trend

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

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

Related Links
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"timothy k shih"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 351-389 of 389 (8 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8
View [10|25|50] records per page

Institution	Date	Title	Author
亞洲大學	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

Showing items 351-389 of 389 (8 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 51087188 Online Users : 1252 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library