|
English
|
正體中文
|
简体中文
|
总笔数 :0
|
|
造访人次 :
52563004
在线人数 :
871
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
显示项目 304721-304730 / 2348609 (共234861页)
<< < 30468 30469 30470 30471 30472 30473 30474 30475 30476 30477 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2018-09-10T06:35:05Z |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
|
H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2008-01 |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
|
H. Yen; HSU-CHUN YEN |
| 國立交通大學 |
2019-12-13T01:12:19Z |
Decidability of Irreducible Tree Shifts of Finite Type
|
Ban, Jung-Chao; Chang, Chih-Hung; Huang, Nai-Zhu; Wu, Yu-Liang |
| 中原大學 |
1990-09 |
Decidable Fragments of Field Theories
|
Shih-Ping Tung |
| 中原大學 |
1988-02 |
Decidable Sentences Over Polynomial Rings
|
S.P. Tung |
| 國立臺灣大學 |
1996 |
Deciding bisimulation and trace equivalences for systems with many identical processes
|
Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang |
| 臺大學術典藏 |
2020-06-16T06:39:59Z |
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.
|
Yen, Hsu-Chun;Jian, Shi-Tsuen;Lao, Ta-Pang; Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang; HSU-CHUN YEN |
| 亞洲大學 |
2017 |
Deciding Factors and Industrial Difference of Using Financial Derivatives by Taiwan Listed and OTC Companies
|
WANG, RU-LAN |
| 臺大學術典藏 |
2018-09-10T07:25:45Z |
Deciding finiteness for matrix groups over function fields
|
Rockmore, D.N.; Tan, K.-S.; Beals, R.; KI-SENG TAN |
| 臺大學術典藏 |
2020-02-06T06:50:32Z |
Decidual Natural Killer Cytotoxicity Decreased in Normal Pregnancy but Not in Anembryonic Pregnancy and Recurrent Spontaneous Abortion
|
HUANG S.?C; GILL T.J; III; DAI H.?J; CHEN H.?F; SHEE-UAN CHEN; HO G.?N; YANG Y.?S; CHAO K.?H; Chao K.?H;Yang Y.?S;Ho G.?N;Shee-Uan Chen;Chen H.?F;Dai H.?J;Huang S.?C;Gill T.J;Iii |
显示项目 304721-304730 / 2348609 (共234861页)
<< < 30468 30469 30470 30471 30472 30473 30474 30475 30476 30477 > >>
每页显示[10|25|50]项目
|
