English  |  正體中文  |  简体中文  |  總筆數 :2851812  
造訪人次 :  44824285    線上人數 :  1277
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

"rosier louis e"的相關文件

回到依作者瀏覽
依題名排序 依日期排序

顯示項目 11-18 / 18 (共1頁)
1 
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2020-06-16T06:39:54Z Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines. Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN
臺大學術典藏 2020-06-16T06:39:54Z On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs. Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN
國立臺灣大學 1993 Normal and sinkless petri nets Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun
臺大學術典藏 1993 Normal and sinkless petri nets Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; 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
國立臺灣大學 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 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

顯示項目 11-18 / 18 (共1頁)
1 
每頁顯示[10|25|50]項目