查詢結果
檢索結果筆數(49)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
22:5 1998.09[民87.09]
- 頁 次:
頁600-615
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
27 1999.09[民88.09]
- 頁 次:
頁61-68
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
23:4 1999.07[民88.07]
- 頁 次:
頁495-510
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
25:9 1999.09[民88.09]
- 頁 次:
頁4-17
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
22:5 1999.09[民88.09]
- 頁 次:
頁593-615
-
-
題 名:
A Multi-Event-One-Transition Plus Incremental Processing Protocol Verification Method:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁215-241
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:1=45 1998.06[民87.06]
- 頁 次:
頁43-50
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
5:4 1999.12[民88.12]
- 頁 次:
頁55-64
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
24 1998.06[民87.06]
- 頁 次:
頁83-96
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
21:3 1998.05[民87.05]
- 頁 次:
頁233-254
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
1:2 1997.04[民86.04]
- 頁 次:
頁31-42
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
34 1996.11[民85.11]
- 頁 次:
頁62-100
-
-
題 名:
An Estelle Translator for Incremental Protocol Verification:以漸進式協定驗證為目的之Estelle轉換器
- 作 者:
- 書刊名:
- 卷 期:
19:2 1996.03[民85.03]
- 頁 次:
頁179-192
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
1 1997.12[民86.12]
- 頁 次:
頁60-61
-
-
題 名:
溶膠凝膠法製備二氧化鈦與其催化性質的分析:Tiatnium Dioxide: From Sol-gel Preparation to Catalytic Analysis
- 作 者:
- 書刊名:
- 卷 期:
61:3 2003.09[民92.09]
- 頁 次:
頁445-454
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:11=143 2002.11[民91.11]
- 頁 次:
頁226-235
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
4 2002.02[民91.02]
- 頁 次:
頁2-8
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
4 2002.02[民91.02]
- 頁 次:
頁17-26
-
-
題 名:
A Backward Protocol Verification Method and Its Applications:反轉式協定驗證法及其應用
- 作 者:
- 書刊名:
- 卷 期:
2:3 1995.08[民84.08]
- 頁 次:
頁153-168
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
41:1=161 1993.03[民82.03]
- 頁 次:
頁50-58