English  |  正體中文  |  简体中文  |  總筆數 :0  
造訪人次 :  52253378    線上人數 :  957
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

"蔡進發"的相關文件

回到依作者瀏覽
依題名排序 依日期排序

顯示項目 351-400 / 426 (共9頁)
<< < 1 2 3 4 5 6 7 8 9 > >>
每頁顯示[10|25|50]項目

機構 日期 題名 作者
亞洲大學 1995.08 Improving Software Quality Through a New Testing Strategy X.Zeng;X.Zeng;蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert
亞洲大學 1995.06 Requirements, Specification, and Analysis of Autonomous Distributed Communication Service 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-11 A Knowledge-Based Approach for Requirements Analysis 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-09 A Knowledge-Based Approach to Specification-Based Software Architecture 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-08 Improving Software Quality Through a New Testing Strategy 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1995-06 Requirements, Specification, and Analysis of Autonomous Distributed Communication Service 蔡進發;Jeffrey, J.P.Tsai
國立臺灣大學 1995 高操控性自主式水下載具設計之基本研究─高操控性自主式水下載具設計之基本研究(Ⅱ)--子計畫(一):水下載具之外形設計與阻力推進性能之研 蔡進發
國立臺灣大學 1995 超大型油輪艉流場解析與船形設計能力建立之研究 黃正利; 郭真祥; 許文翰; 蔡進發; 黃正利; 郭真祥; 許文翰; Tsai, Jing-Fa
臺大學術典藏 1995 高操控性自主式水下載具設計之基本研究─高操控性自主式水下載具設計之基本研究(Ⅱ)--子計畫(一):水下載具之外形設計與阻力推進性能之研 蔡進發; 蔡進發
臺大學術典藏 1995 超大型油輪艉流場解析與船形設計能力建立之研究 Tsai, Jing-Fa; 黃正利; 黃正利; 郭真祥; 許文翰; 蔡進發; 黃正利; 郭真祥; 許文翰; 蔡進發
亞洲大學 1994.11 Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language 蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li;A.Liu;A.Liu
亞洲大學 1994.10 A Simple Graph Algorithm for Message-optimized Distributed Computing 蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li
亞洲大學 1994.10 Improving Parallel Execution Performance for Logic Programs Using Mode Information 蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li
亞洲大學 1994-11 Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1994-10 A Simple Graph Algorithm for Message-optimized Distributed Computing 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1994-10 Improving Parallel Execution Performance for Logic Programs Using Mode Information 蔡進發;Jeffrey, J.P.Tsai
國立臺灣大學 1994-06 軸對稱體艉部厚邊界層紊流流場特性之研究 蔡進發; 黃正利; Tsai, Jing-Fa; Hwang, Jeng-Lih
國立臺灣大學 1994 高操控性自主式水下載具之外形設計與阻力推進性能之研究(I) 蔡進發
臺大學術典藏 1994 高操控性自主式水下載具之外形設計與阻力推進性能之研究(I) 蔡進發; 蔡進發
亞洲大學 1993.07 Detection of Traffic Congestion Using Fuzzy Operator Logic in Advance-like Systems A.Tarko;Tarko, Andrzej ;蔡進發;Jeffrey, J.P.Tsai;N.Rouphail;N.Rouphail
亞洲大學 1993.06 Debugging of Logic-Based Requirements Languages - A FRORL Approach 蔡進發;Jeffrey, J.P.Tsai;A.Liu;A.Liu;K.Nair;K.Nair
亞洲大學 1993.06 Schedulability Analysis of Real-Time Software Using Timing Constraints Petri Nets 蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;P.Chang;P.Chang
亞洲大學 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;S.Yang;S.Yang;P.Chang;P.Chang
亞洲大學 1993-12 Knowledge-Based Software Development for Real-Time Distributed Systems 蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert
亞洲大學 1993-11 Monitoring and Debugging Distributed Real-Time Systems 蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang
亞洲大學 1993-07 Detection of Traffic Congestion Using Fuzzy Operator Logic in Advance-like Systems 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1993-06 Debugging of Logic-Based Requirements Languages - A FRORL Approach 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 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 二維物體近場跡流紊流模式之研究 蔡進發
國立臺灣大學 1993 超大型油輪鮪流場解析與船形設計能力建立之研究(I)--子計畫五:超大型油輪艉流離流場解析(I) 蔡進發
國立臺灣大學 1993 葉尖渦漩流場及葉尖渦漩空蝕之試驗研究(I):二維翼之流場特性試驗解析 黃正利; 蔡進發; 楊正財; Hwang, Jeng-Lih; Tsai, Jing-Fa; 楊正財
臺大學術典藏 1993 二維物體近場跡流紊流模式之研究 蔡進發; 蔡進發
臺大學術典藏 1993 超大型油輪鮪流場解析與船形設計能力建立之研究(I)--子計畫五:超大型油輪艉流離流場解析(I) 蔡進發; 蔡進發
臺大學術典藏 1993 葉尖渦漩流場及葉尖渦漩空蝕之試驗研究(I):二維翼之流場特性試驗解析 楊正財; Tsai, Jing-Fa; 楊正財; 蔡進發; 黃正利; 黃正利; 蔡進發; 楊正財
亞洲大學 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-10 A Framework for Knowledge-Based Systems Verification 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1992-09 Visualization and Debugging Distributed Real-Time Software Systems 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1992-09 A Framework of Logic-Based Transformation System 蔡進發;Jeffrey, J.P.Tsai
國立臺灣大學 1992 二維翼空蝕初始之研究 蔡進發; 吳聰能; Tsai, Jing-Fa; Wu, Trung-Neng
國立臺灣大學 1992 使用不同紊流模式解析軸對稱體艉部流暢 蔡進發; 黃正利; 楊松祥; Tsai, Jing-Fa; Hwang, Jeng-Lih; 楊松祥
臺大學術典藏 1992 使用不同紊流模式解析軸對稱體艉部流暢 蔡進發; 黃正利; 楊松祥; 蔡進發; 黃正利; 楊松祥; Tsai, Jing-Fa
臺大學術典藏 1992 二維翼空蝕初始之研究 蔡進發; 吳聰能; 蔡進發; 吳聰能
亞洲大學 1991.12 ESCHE: Expert System for Feature Identification in Human Chest of Computer Tomography J.Sushil;J.Sushil;蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1991.12 EMBY: Expert System for Low Level Segmentation in Microscopic Image of Human Enbryo Sushil, Jas;Sushil, Jas;蔡進發;Jeffrey, J.P.Tsai
亞洲大學 1991.11 An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems 蔡進發;Jeffrey, J.P.Tsai

顯示項目 351-400 / 426 (共9頁)
<< < 1 2 3 4 5 6 7 8 9 > >>
每頁顯示[10|25|50]項目