查詢結果
檢索結果筆數(16)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
22:5 1998.09[民87.09]
- 頁 次:
頁600-615
-
-
題 名:
A Multi-Event-One-Transition Plus Incremental Processing Protocol Verification Method:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁215-241
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
26 1996.04[民85.04]
- 頁 次:
頁13-21
-
-
題 名:
Doing Business in the Electronic Marketplace:電子市場中的交易世界=O Mundo dos Negocios no Mercado Electronico
- 作 者:
- 書刊名:
- 卷 期:
1:3 1998.12[民87.12]
- 頁 次:
頁90-98
-
題 名:
-
-
題 名:
Vertex-ordering for Fully Adaptive Routing in a Wormhole-routed Star Graph:
- 作 者:
- 書刊名:
- 卷 期:
16:2 2000.11[民89.11]
- 頁 次:
頁187-204
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
1:1 2001.01[民90.01]
- 頁 次:
頁69-89
-
-
題 名:
A Hybrid Approach to Design Correct Communication Protocols:一個設計正確通訊協定的混合方式
- 作 者:
- 書刊名:
- 卷 期:
19:1 1996.01[民85.01]
- 頁 次:
頁81-91
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
20(下) 民86.12
- 頁 次:
頁297-311
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
17 1996.07[民85.07]
- 頁 次:
頁45-59
-
-
題 名:
An Estelle Translator for Incremental Protocol Verification:以漸進式協定驗證為目的之Estelle轉換器
- 作 者:
- 書刊名:
- 卷 期:
19:2 1996.03[民85.03]
- 頁 次:
頁179-192
-
題 名:
-
-
題 名:
A Backward Protocol Verification Method and Its Applications:反轉式協定驗證法及其應用
- 作 者:
- 書刊名:
- 卷 期:
2:3 1995.08[民84.08]
- 頁 次:
頁153-168
-
題 名:
-
-
題 名:
Design of Mutual Exclusion Algorithms for Real-Time Distributed Systems:
- 作 者:
- 書刊名:
- 卷 期:
10:4 1994.12[民83.12]
- 頁 次:
頁527-548
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
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
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
801 2015.05[民104.05]
- 頁 次:
頁31-42
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
54 1997.01[民86.01]
- 頁 次:
頁75-100
被引用次數:期刊(0) 博士論文(0) 專書(0) 專書論文(0)