查詢結果
檢索結果筆數(11)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
22:5 1998.09[民87.09]
- 頁 次:
頁600-615
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
1:2 1997.04[民86.04]
- 頁 次:
頁31-42
-
-
題 名:
An Estelle Translator for Incremental Protocol Verification:以漸進式協定驗證為目的之Estelle轉換器
- 作 者:
- 書刊名:
- 卷 期:
19:2 1996.03[民85.03]
- 頁 次:
頁179-192
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:11=143 2002.11[民91.11]
- 頁 次:
頁226-235
-
-
題 名:
A Backward Protocol Verification Method and Its Applications:反轉式協定驗證法及其應用
- 作 者:
- 書刊名:
- 卷 期:
2:3 1995.08[民84.08]
- 頁 次:
頁153-168
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18:3 1995.05[民84.05]
- 頁 次:
頁379-390
-
-
題 名:
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
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
714 2008.02[民97.02]
- 頁 次:
頁23-38
-
-
題 名:
低成本感測網路覆蓋保證佈置法:Low Complexity K-Covered Deployment Methods for Wireless Sensor Networks
- 作 者:
- 書刊名:
- 卷 期:
8:2 2007.04[民96.04]
- 頁 次:
頁209-220
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
95 2007.12[民96.12]
- 頁 次:
頁13-15
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
34:3 2018.05[民107.05]
- 頁 次:
頁765-780