查詢結果
檢索結果筆數(6)。 各著作權人授權國家圖書館,敬請洽詢 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
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
22:3 1998.05[民87.05]
- 頁 次:
頁362-371
-
-
題 名:
ROBDD Variable Ordering for PLA-Based Boolean Functions:對於可程式邏輯函數在約減式排序二元決策圖的變數排序研究
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
19:6 1995.11[民84.11]
- 頁 次:
頁574--581
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
19:6 1995.11[民84.11]
- 頁 次:
頁614-631
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
15:6 1991.11[民80.11]
- 頁 次:
頁510-521
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
9:4 1985.10[民74.10]
- 頁 次:
頁277-295