English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  51229370    Online Users :  554
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR

Browse By

News

Copyright

Related Links

"timothy k shih"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 366-375 of 389  (39 Page(s) Totally)
<< < 30 31 32 33 34 35 36 37 38 39 > >>
View [10|25|50] records per page

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

Showing items 366-375 of 389  (39 Page(s) Totally)
<< < 30 31 32 33 34 35 36 37 38 39 > >>
View [10|25|50] records per page