|
English
|
正體中文
|
简体中文
|
總筆數 :2856565
|
|
造訪人次 :
53374711
線上人數 :
1382
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
顯示項目 304771-304780 / 2348971 (共234898頁)
<< < 30473 30474 30475 30476 30477 30478 30479 30480 30481 30482 > >>
每頁顯示[10|25|50]項目
| 國立臺灣大學 |
2006 |
Decidability Analysis of Self-Stabilization for Infinite State Systems
|
Yen, Hsu-Chun; Yu, Lien-Po |
| 國立臺灣大學 |
2008 |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
|
Yen, Hsu-Chun |
| 臺大學術典藏 |
2018-09-10T06:35:05Z |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
|
H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2008-01 |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
|
H. Yen; HSU-CHUN YEN |
| 國立交通大學 |
2019-12-13T01:12:19Z |
Decidability of Irreducible Tree Shifts of Finite Type
|
Ban, Jung-Chao; Chang, Chih-Hung; Huang, Nai-Zhu; Wu, Yu-Liang |
| 中原大學 |
1990-09 |
Decidable Fragments of Field Theories
|
Shih-Ping Tung |
| 中原大學 |
1988-02 |
Decidable Sentences Over Polynomial Rings
|
S.P. Tung |
| 國立臺灣大學 |
1996 |
Deciding bisimulation and trace equivalences for systems with many identical processes
|
Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang |
| 臺大學術典藏 |
2020-06-16T06:39:59Z |
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.
|
Yen, Hsu-Chun;Jian, Shi-Tsuen;Lao, Ta-Pang; Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang; HSU-CHUN YEN |
| 亞洲大學 |
2017 |
Deciding Factors and Industrial Difference of Using Financial Derivatives by Taiwan Listed and OTC Companies
|
WANG, RU-LAN |
顯示項目 304771-304780 / 2348971 (共234898頁)
<< < 30473 30474 30475 30476 30477 30478 30479 30480 30481 30482 > >>
每頁顯示[10|25|50]項目
|
