查詢結果
檢索結果筆數 (702) 已超過系統最大設定值 (300) ,系統進顯示前面 300 筆,請縮小查詢範圍。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
15:2 1999.03[民88.03]
- 頁 次:
頁243-271
-
-
題 名:
Completeness of the LELS Inference Rule in Automated Theorem Proving:
- 作 者:
- 書刊名:
- 卷 期:
15:1 1999.01[民88.01]
- 頁 次:
頁153-164
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
International Journal of Information and Management Sciences
- 卷 期:
10:2 1999.06[民88.06]
- 頁 次:
頁1-11
-
-
題 名:
On the Waiting Time Distribution of a Bulk Service Queueing System with Removable Servers:
- 作 者:
- 書刊名:
International Journal of Information and Management Sciences
- 卷 期:
10:2 1999.06[民88.06]
- 頁 次:
頁53-58
-
題 名:
-
-
題 名:
Metapetrinets for Controlling Complex and Dynamic Processes:
- 作 者:
- 書刊名:
International Journal of Information and Management Sciences
- 卷 期:
10:1 1999.03[民88.03]
- 頁 次:
頁13-32
-
題 名:
-
-
題 名:
Bulk Service Non-Markovian Queues with Exceptional First Vacation:
- 作 者:
- 書刊名:
International Journal of Information and Management Sciences
- 卷 期:
10:1 1999.03[民88.03]
- 頁 次:
頁33-45
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
International Journal of Information and Management Sciences
- 卷 期:
10:1 1999.03[民88.03]
- 頁 次:
頁47-71
-
-
題 名:
Load Balancing for the Parallel Map Overlay-Operation in the Geographic Information System:
- 作 者:
- 書刊名:
- 卷 期:
15:3 1999.05[民88.05]
- 頁 次:
頁441-449
-
題 名:
-
-
題 名:
Experiences in Porting μ-Kernel Operating System to the CONVEX Supercomputer:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁167-192
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁193-214
-
-
題 名:
A Multi-Event-One-Transition Plus Incremental Processing Protocol Verification Method:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁215-241
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁243-259
-
-
題 名:
Efficient Execution of Parallel Functional Programs Using Complexity Information:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁261-275
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁277-290
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁291-305
-
-
題 名:
Optimal Embedding of Large Complete Binary Trees into Hypercubes:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁307-314
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
10 1999.04[民88.04]
- 頁 次:
頁108-114
-
-
題 名:
Detecting Termination of Distributed Computation by External Agents:
- 作 者:
- 書刊名:
- 卷 期:
7:2 1991.06[民80.06]
- 頁 次:
頁187-201
-
題 名:
-
-
題 名:
On the Performance Guarantees of the Minimum Multisets Binding (MMB) Problem:
- 作 者:
- 書刊名:
- 卷 期:
7:2 1991.06[民80.06]
- 頁 次:
頁203-215
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
127 1988.07[民77.07]
- 頁 次:
頁15-26