English  |  正體中文  |  简体中文  |  2830311  
???header.visitor??? :  32526793    ???header.onlineuser??? :  942
???header.sponsordeclaration???
 		 
???search.scope??? ???search.advance???
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???
???ui.leftmenu.explanation???

???ui.leftmenu.bartitle???
Repositories
Author
Title
Date
???ui.leftmenu.statisticschart???
???ui.leftmenu.realtimefacts???
???ui.leftmenu.trend???

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

???ui.leftmenu.copyrighttitle???
???ui.leftmenu.copyrightpublisher???
???ui.leftmenu.copyrightconference???

???ui.leftmenu.link???
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
???tair.name??? >  ???browser.page.title.author???

"fuyau lin"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-12 of 12  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
亞洲大學 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
亞洲大學 1993-09 Verification of Systolic Architecture Designs Fuyau Lin ; Timothy K. Shih
亞洲大學 1992 The Specification and Verification of Synchronous Concurrent Computation Fuyau Lin; Timothy K. Shih; Huanchau Lin; Hsiren Wang
亞洲大學 1992 Verification of Systolic Architecture Designs Fuyau Lin;Timothy K. Shih
亞洲大學 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

Showing items 1-12 of 12  (1 Page(s) Totally)
1 
View [10|25|50] records per page

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team