查詢結果
檢索結果筆數(31)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
-
題 名:
An Integrated Combination of JSD and Formal Notations:結合傑克森系統發展方法與正規語言之研究
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
22:3 1998.05[民87.05]
- 頁 次:
頁344-357
-
題 名:
-
-
題 名:
A Scenario-Driven Approach to Validating Formal Specifications:
- 作 者:
- 書刊名:
- 卷 期:
19:2 2000.06[民89.06]
- 頁 次:
頁745-754
-
題 名:
-
-
題 名:
OOSZ:An Integration of Bailin's Object-Oriented Analysis and Formal Specifications:
- 作 者:
- 書刊名:
- 卷 期:
13:4 1997.12[民86.12]
- 頁 次:
頁517-542
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
15:2 2012.秋[民101.秋]
- 頁 次:
頁401-458
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18:1 2015.春[民104.春]
- 頁 次:
頁73-177
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
17:1 2014.春[民103.春]
- 頁 次:
頁1-84
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
14:2 2011.秋[民100.秋]
- 頁 次:
頁279-315
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
9:1 2010.01[民99.01]
- 頁 次:
頁21-30
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
8:2 2009.07[民98.07]
- 頁 次:
頁69-77
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
13:2 2010.秋[民99.秋]
- 頁 次:
頁403-449
-
-
題 名:
Enumerating Local Permutation Polynomials over Residue Class Rings:
- 作 者:
- 書刊名:
- 卷 期:
13:5 2009.10[民98.10]
- 頁 次:
頁1371-1377
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
10 2007.12[民96.12]
- 頁 次:
頁25-39
-
-
題 名:
A Knowledge Engineering Approach to Supporting Enterprise Knowledge Preservation:
- 作 者:
- 書刊名:
- 卷 期:
41:1 2007.04[民96.04]
- 頁 次:
頁29-51
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
12:1 2008.02[民97.02]
- 頁 次:
頁245-253
-
-
題 名:
居家社區照護早期警示系統之發展:The Development of Early Warning Systems for Home/Community Elderly Care
- 作 者:
- 書刊名:
- 卷 期:
67:1 2020.02[民109.02]
- 頁 次:
頁25-32
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
5:3 2009.07[民98.07]
- 頁 次:
頁28-36
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
13:3 2018.09[民107.09]
- 頁 次:
頁190-197
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
13:4 2018.12[民107.12]
- 頁 次:
頁342-349
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
復刊6 2016.07[民105.07]
- 頁 次:
頁211-229
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
56:4 2017.08[民106.08]
- 頁 次:
頁521-526