|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
51939106
Online Users :
895
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"jeffrey j p tsai"
Showing items 226-250 of 384 (16 Page(s) Totally)
<< < 5 6 7 8 9 10 11 12 13 14 > >>
View [10|25|50] records per page
| 亞洲大學 |
2003 |
An Approach for Modeling and Analysis of Security System Architecture
|
Jeffrey J. P. Tsai;Y. Deng |
| 亞洲大學 |
2003 |
An Approach for Modeling and Analysis of Security System Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Evaluating the Changes in Alveolar Permeability and Lung Ventilation in Patients with Chronic Renal Failure after Haemodialysis using 99mTc-DTPA Radioaerosol Inhalation Lung Scan
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Fuzzy Rule Base Systems Verification Using High Level Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Machine Learning and Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
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-11 |
Machine Learning and Software Engineering
|
Jeffrey J. P. Tsai;D. Zhang |
| 亞洲大學 |
2002-11 |
Machine Learning and Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-08 |
Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems
|
蔡進發;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;C. Xiong, T. Murata |
| 亞洲大學 |
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 |
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 |
| 亞洲大學 |
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-12 |
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
|
Jeffrey J. P. Tsai;Eric Y. T. Juan |
| 國立臺灣海洋大學 |
2001-12 |
Modelling and Verification of High-Assurance Properties of Safety-Critical Systems
|
Jeffrey J. P. Tsai; Eric Y. T. Juan |
Showing items 226-250 of 384 (16 Page(s) Totally)
<< < 5 6 7 8 9 10 11 12 13 14 > >>
View [10|25|50] records per page
|
