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

"蔡進發"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 286-310 of 426  (18 Page(s) Totally)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 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)自由滑行運動之分析及試驗 蔡進發; 蔡進發

Showing items 286-310 of 426  (18 Page(s) Totally)
<< < 7 8 9 10 11 12 13 14 15 16 > >>
View [10|25|50] records per page