查詢結果
檢索結果筆數(37)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
201 1999.12[民88.12]
- 頁 次:
頁183-195
-
-
題 名:
A Multi-Event-One-Transition Plus Incremental Processing Protocol Verification Method:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁215-241
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
629 2001.01[民90.01]
- 頁 次:
頁17-35
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
97 2001.09[民90.09]
- 頁 次:
頁106-116
-
-
題 名:
A Hybrid Approach to Design Correct Communication Protocols:一個設計正確通訊協定的混合方式
- 作 者:
- 書刊名:
- 卷 期:
19:1 1996.01[民85.01]
- 頁 次:
頁81-91
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
203 1997.06[民86.06]
- 頁 次:
頁41-69
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
102 2002.12[民91.12]
- 頁 次:
頁11-17
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18:5 2002.09[民91.09]
- 頁 次:
頁729-743
-
-
題 名:
智慧運輸系統與健全之都市交通管理系統之發展:ITS and the Appropriate Deployment for Taiwan Urban Traffic Management
- 作 者:
- 書刊名:
- 卷 期:
29:1 2002.05[民91.05]
- 頁 次:
頁38-54
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
39 1995.05[民84.05]
- 頁 次:
頁71-80
-
-
題 名:
A Backward Protocol Verification Method and Its Applications:反轉式協定驗證法及其應用
- 作 者:
- 書刊名:
- 卷 期:
2:3 1995.08[民84.08]
- 頁 次:
頁153-168
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
567 1995.11[民84.11]
- 頁 次:
頁91-112
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
32:4 1995.06[民84.06]
- 頁 次:
頁388-394
-
-
題 名:
Protocol Half-Converters Derivation Using the Formal Approach:利用正規方法推導半協定轉換器
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
18:5 1994.09[民83.09]
- 頁 次:
頁440-449
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
151 2013.06[民102.06]
- 頁 次:
頁44-49
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
352 2012.07[民101.07]
- 頁 次:
頁83-93
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
6:1 2013.04[民102.04]
- 頁 次:
頁43-50
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
20:3 2004.05[民93.05]
- 頁 次:
頁405-424
-
-
題 名:
A Novel MAC Protocol with On-Demand Channel Assignment for Multi-Hop Mobile Ad Hoc Networks:
- 作 者:
- 書刊名:
- 卷 期:
11:4 民93.11
- 頁 次:
頁361-373
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
801 2015.05[民104.05]
- 頁 次:
頁80-98
被引用次數:期刊(0) 博士論文(0) 專書(0) 專書論文(0)