English  |  正體中文  |  简体中文  |  总笔数 :2851814  
造访人次 :  44828804    在线人数 :  1470
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (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]项目