|
English
|
正體中文
|
简体中文
|
總筆數 :2856565
|
|
造訪人次 :
53384750
線上人數 :
1016
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
顯示項目 799526-799535 / 2348973 (共234898頁)
<< < 79948 79949 79950 79951 79952 79953 79954 79955 79956 79957 > >>
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn |
| 國立臺灣大學 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 國立臺灣大學 |
2007 |
Symbolic Modeling of Epistasis
|
蔡佳醍; 江福田; TSAI, CHIA-TI; CHIANG, FU-TIEN |
| 臺大學術典藏 |
2020-12-30T08:48:04Z |
Symbolic modeling of epistasis
|
Moore J.H.; Barney N.; CHIA-TI TSAI; Chiang F.-T.; Gui J.; White B.C. |
| 臺大學術典藏 |
2021-03-11T04:30:18Z |
Symbolic modeling of epistasis
|
Moore J.H.;Barney N.;Tsai C.-T.;Fu-Tien Chiang;Gui J.;White B.C.; Moore J.H.; Barney N.; Tsai C.-T.; FU-TIEN CHIANG; Gui J.; White B.C. |
| 國立高雄應用科技大學 |
2010 |
Symbolic Nodal Analysis of Circuits Using Pathological Elements
|
Wang, Hung-Yu; Huang, Wen-Chung; Chiang, Nan-Hui |
| 臺大學術典藏 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn; Wang, Farn |
| 國立臺灣大學 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn |
| 臺大學術典藏 |
2018-09-10T04:59:30Z |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures
|
F. Wang.; FARN WANG |
顯示項目 799526-799535 / 2348973 (共234898頁)
<< < 79948 79949 79950 79951 79952 79953 79954 79955 79956 79957 > >>
每頁顯示[10|25|50]項目
|
