English  |  正體中文  |  简体中文  |  2822922  
???header.visitor??? :  29971032    ???header.onlineuser??? :  704
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"h jang"???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-4 of 4  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
亞洲大學 1992.10 A Framework for Knowledge-Based Systems Verification 蔡進發;Jeffrey, J.P.Tsai;H.Jang;H.Jang
亞洲大學 1992-12 A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis Jeffrey J. P. Tsai;T. Weigert;H. Jang
亞洲大學 1991.11 Non-Monotonic Logic as a Basis for Requirements Specification and Analysis 蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert;H.Jang;H.Jang
亞洲大學 1991.09 RT-FRORL: A Formal Requirements Specification Language for Specifying and Analyzing Real-Time Systems 蔡進發;Jeffrey, J.P.Tsai;H.Jang;H.Jang;K.S.;K.S.

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