|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
52506219
Online Users :
745
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"蔡進發"
Showing items 306-330 of 426 (18 Page(s) Totally)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
View [10|25|50] records per page
| 亞洲大學 |
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)自由滑行運動之分析及試驗
|
蔡進發; 蔡進發 |
| 亞洲大學 |
2000.06 |
An Agent-based Internet Software Integration System
|
J.-M.Lin;J.-M.Lin;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000.06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
2000-06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000-06 |
An Agent-based Internet Software Integration System
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000 |
Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000 |
Fault-toleration by Duplication and Debugging for Distributed Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
2000 |
仿生型自主式水下載具之基本研究─子計畫一：仿生型自主式水下載具阻力推進性能研究(1/3)
|
蔡進發 |
| 臺大學術典藏 |
2000 |
仿生型自主式水下載具之基本研究─子計畫一：仿生型自主式水下載具阻力推進性能研究(1/3)
|
蔡進發; 蔡進發 |
| 亞洲大學 |
1999.06 |
Architecture Specification of Multimedia Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;K.Xu;K.Xu |
| 亞洲大學 |
1999-06 |
Architecture Specification of Multimedia Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
1999 |
高速推進器設計與性能解析研究(Ⅲ)─子計畫四：水噴推進系統之研究
|
蔡進發 |
| 亞洲大學 |
1998.04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai;F.Bastani;F.Bastani;M.Hirakawa;M.Hirakawa;S.B.;S.Barchayara |
| 亞洲大學 |
1998-04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 國立臺灣大學 |
1998 |
高速推進器設計與性能解析研究(Ⅱ)─水噴推進系統之研究
|
蔡進發 |
| 臺大學術典藏 |
1998 |
高速推進器設計與性能解析研究(Ⅱ)─水噴推進系統之研究
|
蔡進發; 蔡進發 |
| 亞洲大學 |
1997.10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997.08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
1997.02 |
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai |
Showing items 306-330 of 426 (18 Page(s) Totally)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
View [10|25|50] records per page
|
