English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  51932523    Online Users :  920
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

"jeffrey j p tsai"

Return to Browse by Author
Sorting by Title Sort by Date

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

Institution Date Title Author
亞洲大學 1993-06 Schedulability Analysis of Real-Time Software Using Timing Constraints Petri Nets 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1993-04 A Requirement Specification Language for Autonomous Decentralized Systems Development 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1993-04 Timing Constraints Petri Nets and Their Application to Schedulability Analysis of Real-Time Software 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1993 Fuzzy Operator Logic and Fuzzy Reasoning Jeffrey J. P. Tsai;X.H. Liu;T. Weigert
亞洲大學 1992.10 A Framework for Knowledge-Based Systems Verification 蔡進發;Jeffrey, J.P.Tsai;H.Jang;H.Jang
亞洲大學 1992.09 A Framework of Logic-Based Transformation System 蔡進發;Jeffrey, J.P.Tsai;R.Sheu;R.Sheu;B.Li;B.Li
亞洲大學 1992.09 Visualization and Debugging Distributed Real-Time Software Systems 蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;Y.Bi;Y.Bi
亞洲大學 1992-12 A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis Jeffrey J. P. Tsai;T. Weigert;H. Jang
亞洲大學 1992-10 A Framework for Knowledge-Based Systems Verification 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1992-09 An Explication of Reasoning in Multiple Inheritance Systems Through Non-Monotonic Horn Clause Logic Jeffrey J. P. Tsai;T. Weigert

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