|
English
|
正體中文
|
简体中文
|
总笔数 :0
|
|
造访人次 :
52329331
在线人数 :
860
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
显示项目 710501-710510 / 2348511 (共234852页)
<< < 71046 71047 71048 71049 71050 71051 71052 71053 71054 71055 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-06-04T07:48:49Z |
Reachability Analysis at Procedure Level through Timing Coincidence.
|
Wang, Farn; Wang, Farn; FARN WANG |
| 國立臺灣大學 |
2010 |
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming
|
Chen, Chien-Liang; Chin, Shao-Chi; Yen, Hsu-Chun |
| 臺大學術典藏 |
2018-09-10T08:18:10Z |
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming
|
C. Chen;S. Chin;H. Yen; C. Chen; S. Chin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:07Z |
Reachability analysis of variants of Communication-free Petri nets
|
Chen, C.-L.;Wang, S.;Yen, H.-C.; Chen, C.-L.; Wang, S.; Yen, H.-C.; HSU-CHUN YEN |
| 國立政治大學 |
2005-01 |
Reachability and Firing Sequences of Homogeneous Synchronized Choice Petri Nets
|
趙玉; Chao,Daniel Yuh |
| 國立政治大學 |
2005-12 |
Reachability of Non-Synchronized Choice Petri Nets and Its Applications
|
趙玉; Chao,Daniel Yuh |
| 國立政治大學 |
2002 |
Reachability of synchronized choice Petri nets
|
Chao, Daniel Yuh; 趙玉 |
| 臺大學術典藏 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun; Wang, Farn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun |
| 國立交通大學 |
2014-12-08T15:03:01Z |
Reachability testing: An approach to testing concurrent software
|
Hwang, GH; Tai, KC; Huang, TL |
显示项目 710501-710510 / 2348511 (共234852页)
<< < 71046 71047 71048 71049 71050 71051 71052 71053 71054 71055 > >>
每页显示[10|25|50]项目
|
