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

關於TAIR
	計畫說明

瀏覽
	典藏機構
	作者
	題名
	日期
	統計圖表
	機構即時統計
	學術趨勢

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

著作權
	出版社及期刊政策查詢
	TAIR著作權會議記錄

相關連結
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"timothy k shih"的相關文件

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

顯示項目 336-385 / 389 (共8頁)
<< < 1 2 3 4 5 6 7 8 > >>
每頁顯示[10|25|50]項目

機構	日期	題名	作者
亞洲大學	1996-6	Reusable Multimedia Presentations	Timothy K. Shih; Ding-An Chiang;Chien-Chou Shis
亞洲大學	1996-12	Concurrent Programming Testing and Metrics Based on Task Decomposition	Chi-Ming Chung; Timothy K. Shih; Ying-Hong Wang; Ying-Feng Kou; Yuh-Long Shyy
亞洲大學	1996-12	Disciplined Software Integration in a Rule-Based Environment	Timothy K. Shih; Chi-Ming Chung; Wei-Chuan Lin; Ying-Hong Wang; Ying-Feng Kou
亞洲大學	1996-12	Complexity Measurement for Object-Oriented Software Based on Data Scope	Chi-Ming Chung; Timothy K. Shih; Ying-Hong Wang; Ying-Feng Lou; Wei-Chuan Lin
亞洲大學	1996-12	Task Decomposition Approaches for Concurrent Programming Teting	Timothy K. Shih; Chi-Ming Chung; Ying-Hong Wang; Wei-Chuan Lin; Ying-Feng Kou
亞洲大學	1996-11	Inheritance Hierarchy Metric	Chi-Ming Chung; Timothy K. Shih; Jich-Yan Tsai
亞洲大學	1996-11	A Graph-Theoretical Metric for Object-Oriented Software Complexity	Chi-Ming Chung; Timothy K. Shih; Dragon Y. Shyy; Chun-Cha Wang
亞洲大學	1996-11	Task Decomposition Testing and Metrics for Concurrent Programs	Chi-Ming Chung; Timothy K. Shih; Ying-Hong Wang; Wei-Chuan Lin; Ying-Feng Kou
亞洲大學	1996-11	Formal Model of Temporal Properties Underlying Multimedia Presentations	Timothy K. Shih; Lain-Jinn Hwang; Jich-Yan Tsai
亞洲大學	1996-10	Decomposition of Multiple Inheritance DAGs for Testing	Chi-Ming Chung; Timothy K. Shih; Ying-Feng Kuo; Chun-Chia Wang
亞洲大學	1996-10	An Object-Oriented Database for Intelligent Multimedia Presentations	Timothy K. Shih; Chin-Hwa Kuo; Huan-Chao Keh; Chao T. Fang-Tsou; Kuna-Shen An
亞洲大學	1996-09	A Quantitative Analysis for Different Testing Criteria through Program Decomposition	Chi-Ming Chung; Timothy K. Shih;Ying-Hong Wang
亞洲大學	1996-02	On the Construction of Intelligent Multimedia Presentations	Chi-Ming Chung; Timothy K. Shih; Chin-Hwa Kuo; Ying-Hong Wang
亞洲大學	1996	An Integrated Tool Architecture for Multimedia Presentation	Timothy K. Shih; Louis R. Chow; Chi-Ming Chung; Ying-Hong Wang; Ying-Feng Kou; Wei-Chuan Lin
亞洲大學	1996	Multimedia Database Modeling with Z Notations	Timothy K. Shih; Huan-Chao Keh; Chao T. Fang-Tsou
亞洲大學	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

顯示項目 336-385 / 389 (共8頁)
<< < 1 2 3 4 5 6 7 8 > >>
每頁顯示[10|25|50]項目

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