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

瀏覽

消息

著作權

相關連結

"蔡進發"的相關文件

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

顯示項目 286-310 / 426 (共18頁)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2003 船舶減阻技術的應用研究(2/3)─子計畫三:微泡減阻技術在船舶上的應用研究 蔡進發; 蔡進發
亞洲大學 2002.11 Machine Learning and Software Engineering D.Zhang;D.Zhang;蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2002.08 Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems 蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan
亞洲大學 2002.06 Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets C.Xiong;C.Xiong;T.Murata;T.Murata;蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2002.06 A Secure Mobile Agent System Model Based on Extended Elementary Object Net L.Ma;L.Ma;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata
亞洲大學 2002.05 Modeling a Secure Mobile Agent System with Petri Nets Scheme L.Ma;L.Ma;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata
南華大學 2002-12-01 國立中正文化中心國家音槳廳觀賞者對表演藝術節目與設施評估之研究 詹雅瑜;蔡進發;董育任;黃宗成
亞洲大學 2002-11 Machine Learning and Software Engineering 蔡進發;Jeffrey, J.P.Tsai
國立臺灣大學 2002-10 原生型XML資料庫的應用研究 STUDY ON THE APPLICATION OF NATIVE XML DATABASE 蔡進發; 丁肇隆; 高愷蔚
亞洲大學 2002-08 Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2002-06 A Secure Mobile Agent System Model Based on Extended Elementary Object Net 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2002-06 Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2002-05-16 Modeling a Secure Mobile Agent System with Petri Net Scheme 馬璐;蔡進發;Tadao Murata ;林志敏;洪振偉
亞洲大學 2002-05 Modeling a Secure Mobile Agent System with Petri Nets Scheme 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2002 Development of Wireless Embedded Systems Using Component Based Software 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2002 Compositional Verification of Concurrent and Real-Time Systems Y.T.Juan;Eric, Y.T.Juan;蔡進發;Jeffrey, J.P.Tsai
國立臺灣大學 2002 仿生型自主式水下載具之基本研究(3/3)─子計畫一:仿生型自主式水下載具阻力推進性能研究 蔡進發
亞洲大學 2001.03 Formal Analysis of Software Security Systems Architecture Y.Deng;Y.Deng;J.Wang;J.Wang;蔡進發;Jeffrey, J.P.Tsai;K.Beznosov;K.Beznosov
亞洲大學 2001-03 Formal Analysis of Software Security Systems Architecture 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2001 Reduction Methods for Real-Time Systems Using Delay Time Petri Nets 蔡進發;Jeffrey, J.P.Tsai
亞洲大學 2001 Hybrid Parallel Execution Model for Logic-Based Specification Languages 蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li
國立臺灣大學 2001 仿生型自主式水下載具之基本研究(2/3)─子計畫一:仿生型自主式水下載具阻力推進性能研究 蔡進發
國立臺灣大學 2001 水下剛體運動之研究-(1)自由滑行運動之分析及試驗 蔡進發
臺大學術典藏 2001 仿生型自主式水下載具之基本研究(2/3)─子計畫一:仿生型自主式水下載具阻力推進性能研究 蔡進發; 蔡進發
臺大學術典藏 2001 水下剛體運動之研究-(1)自由滑行運動之分析及試驗 蔡進發; 蔡進發

顯示項目 286-310 / 426 (共18頁)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
每頁顯示[10|25|50]項目