查詢結果
檢索結果筆數(210)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
15:2 1999.03[民88.03]
- 頁 次:
頁243-271
-
-
題 名:
Temporal Properties Underlying Multimedia Presentations with Z Notations:
- 作 者:
- 書刊名:
- 卷 期:
15:1 1999.01[民88.01]
- 頁 次:
頁107-129
-
題 名:
-
-
題 名:
Completeness of the LELS Inference Rule in Automated Theorem Proving:
- 作 者:
- 書刊名:
- 卷 期:
15:1 1999.01[民88.01]
- 頁 次:
頁153-164
-
題 名:
-
-
題 名:
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
-
題 名:
-
-
題 名:
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
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
15:6 1999.11[民88.11]
- 頁 次:
頁769-799
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
15:6 1999.11[民88.11]
- 頁 次:
頁833-843
-
-
題 名:
A Systematic Method for Query Evaluation in Distributed Heterogeneous Databases:
- 作 者:
- 書刊名:
- 卷 期:
16:4 2000.07[民89.07]
- 頁 次:
頁463-497
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
16:4 2000.07[民89.07]
- 頁 次:
頁535-554
-
-
題 名:
Partial Natural Outerjoin--An Operation for Interoperability in a Multidatabase Environment:
- 作 者:
- 書刊名:
- 卷 期:
16:4 2000.07[民89.07]
- 頁 次:
頁593-617
-
題 名:
-
-
題 名:
A Family of Trivalent 1-Hamiltonian Graphs with Diameter O(log n):
- 作 者:
- 書刊名:
- 卷 期:
17:4 2001.07[民90.07]
- 頁 次:
頁535-548
-
題 名: