查詢結果
檢索結果筆數(81)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
17 1998.06[民87.06]
- 頁 次:
頁479-484
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
20 2001.06[民90.06]
- 頁 次:
頁389-395
-
-
題 名:
A Scenario-Driven Approach to Validating Formal Specifications:
- 作 者:
- 書刊名:
- 卷 期:
19:2 2000.06[民89.06]
- 頁 次:
頁745-754
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
19:2 2000.06[民89.06]
- 頁 次:
頁799-808
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
19:1 2000.06[民89.06]
- 頁 次:
頁1-14
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
1 1996.06[民85.06]
- 頁 次:
頁269-276
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
21 2002.07[民91.07]
- 頁 次:
頁115-122
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
7(上) 民91.06
- 頁 次:
頁425+427-436
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
19 2003.02[民92.02]
- 頁 次:
頁69-77
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
1:1 2003.09[民92.09]
- 頁 次:
頁85-94
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
2 1987.07[民76.07]
- 頁 次:
頁98-100
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
5 1985.11[民74.11]
- 頁 次:
頁114-87
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
37:4 2012.12[民101.12]
- 頁 次:
頁165-176
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
38:1 2013.03[民102.03]
- 頁 次:
頁17-36
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
38:3 2013.09[民102.09]
- 頁 次:
頁11-19
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
15 2014.01[民103.01]
- 頁 次:
頁31-49
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
3 民60.06
- 頁 次:
頁109-122