|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
52988535
線上人數 :
642
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
顯示項目 337926-337935 / 2348881 (共234889頁)
<< < 33788 33789 33790 33791 33792 33793 33794 33795 33796 33797 > >>
每頁顯示[10|25|50]項目
| 國立交通大學 |
2014-12-08T15:25:25Z |
Distributed data-retention power Gating techniques for column and row co-controlled embedded SRAM
|
Hua, CH; Cheng, TS; Hwang, W |
| 臺大學術典藏 |
2020-02-10T07:38:32Z |
Distributed database design and modeling for PACS
|
Sheng Olivia R.Liu, Garcia Hong-Mei Chen, Wei Chih-Ping, Ozeki Takeshi, McNulty Patricia; CHIH-PING WEI |
| 臺大學術典藏 |
2019-12-05T07:13:30Z |
Distributed decision-making for real-time in-building evacuation guidance
|
ALBERT CHEN;Lin, C.-H.;Chen, A.Y.; Chen, A.Y.; Lin, C.-H.; ALBERT CHEN |
| 國立臺灣大學 |
1994 |
Distributed Deduction by Clause-Diffusion
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 臺大學術典藏 |
2018-09-10T04:52:09Z |
Distributed Deduction by Clause-Diffusion
|
Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
1993 |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover.
|
Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 國立臺灣大學 |
1995 |
Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 臺大學術典藏 |
2018-09-10T05:21:27Z |
Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover
|
Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG |
| 國立臺灣大學 |
1994-06 |
Distributed Deduction by Clause-Diffusion:the Aquarius Prover
|
Bonacina, P. B.; 項潔; Bonacina, P. B.; Hsiang, Jieh |
| 臺大學術典藏 |
2018-09-10T04:52:09Z |
Distributed Deduction by Clause-Diffusion:the Aquarius Prover
|
Bonacina, P. B.;Hsiang, Jieh; Bonacina, P. B.; Hsiang, Jieh; JIEH HSIANG |
顯示項目 337926-337935 / 2348881 (共234889頁)
<< < 33788 33789 33790 33791 33792 33793 33794 33795 33796 33797 > >>
每頁顯示[10|25|50]項目
|
