|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
52745015
線上人數 :
704
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"yen hsu chun"的相關文件
顯示項目 111-119 / 119 (共5頁)
<< < 1 2 3 4 5
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
1992 |
A unified approach for deciding the existence of certain petri net paths
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 臺大學術典藏 |
1992 |
A multiparameter analysis of domino tiling with an application to concurrent systems
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
A taxonomy of fairness and temporal logic problems for Petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
A taxonomy of fairness and temporal logic problems for Petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1986 |
B-ISDN相關通訊協定之設計及驗證
|
張進福; 顏嗣鈞; Chang, Jin-Fu; Yen, Hsu-Chun |
顯示項目 111-119 / 119 (共5頁)
<< < 1 2 3 4 5
每頁顯示[10|25|50]項目
|
