查詢結果
檢索結果筆數(19)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
39 1995.05[民84.05]
- 頁 次:
頁71-80
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
2:2 1995.06[民84.06]
- 頁 次:
頁151-156
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18 1995.09[民84.09]
- 頁 次:
頁1-17
-
-
題 名:
A Backward Protocol Verification Method and Its Applications:反轉式協定驗證法及其應用
- 作 者:
- 書刊名:
- 卷 期:
2:3 1995.08[民84.08]
- 頁 次:
頁153-168
-
題 名:
-
-
題 名:
Specifying and Verifying the Knowledge-Based Requirements of Digital Systems:規範及驗證以知識庫為基礎的數位系統之要件
- 作 者:
- 書刊名:
- 卷 期:
27 1995.05[民84.05]
- 頁 次:
頁63-75
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
33:1 1995.03[民84.03]
- 頁 次:
頁51-63
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
16 1995.02[民84.02]
- 頁 次:
頁249-265
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
147 1995.03[民84.03]
- 頁 次:
頁10-13
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
13:3 民84.05-06
- 頁 次:
頁133-144
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
9:1 1995.06[民84.06]
- 頁 次:
頁57-60
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
33:4 1995.12[民84.12]
- 頁 次:
頁549-562
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
56 1995.12[民84.12]
- 頁 次:
頁33-54
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
14 1995.03[民84.03]
- 頁 次:
頁43-48
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
34:7=403 1995.07[民84.07]
- 頁 次:
頁47-52
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
152 1995.08[民84.08]
- 頁 次:
頁9-23
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18:3 1995.05[民84.05]
- 頁 次:
頁379-390