English  |  正體中文  |  简体中文  |  Total items :2853537  
Visitors :  45258605    Online Users :  850
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 376-385 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
亞洲大學 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

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