|
English
|
正體中文
|
简体中文
|
總筆數 :2853777
|
|
造訪人次 :
45284606
線上人數 :
1019
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
顯示項目 434831-434840 / 2346288 (共234629頁)
<< < 43479 43480 43481 43482 43483 43484 43485 43486 43487 43488 > >>
每頁顯示[10|25|50]項目
| 亞洲大學 |
2006 |
Formal synthesis of the ACE inhibitor-Benazepril?HCl via an asymmetric aza-Michael reaction
|
Yu L. T.; Huang, J. L.; Chang, C. Y.; Yang, T. K. |
| 國立交通大學 |
2014-12-08T15:17:45Z |
Formal synthesis of vallesamidine
|
Ho, TL; Chen, CK |
| 東海大學 |
1988-06-00 |
Formal Theory of Drift Instability in Tokamak
|
張龍 |
| 國立政治大學 |
2011.05 |
Formal Theory of State Loss of Siphon-based Deadlock Prevention
|
趙玉; Chao, D.Y. |
| 國立臺灣大學 |
2011 |
Formal Training in the Endoscopic Recognition of Barrett's Esophagus Improves Detection Rate and Increases Diagnostic Yield
|
林肇堂; LIN, JAW-TOWN |
| 國立中山大學 |
1997 |
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
|
Shie-Jue Lee; W.J. Lin |
| 臺大學術典藏 |
2018-09-10T03:47:50Z |
Formal verification of embedded real-time software in component-based application frameworks
|
Hsiung, P.-A.; See, W.-B.; Lee, T.-Y.; Fu, J.-M.; Chen, S.-J.; SAO-JIE CHEN |
| 國立中山大學 |
2000-11 |
Formal Verification of Rule-Based Systems Using Petri-Net Formalism and Hyper-Linking-Based Theorem Proving
|
C.H. Wu;S.J. Lee |
| 國立臺灣大學 |
2004-08 |
Formal verification of timed systems: a survey and perspective
|
Wang, Farn |
| 臺大學術典藏 |
2018-09-10T04:59:29Z |
Formal Verification of Timed Systems: A Survey and Perspective
|
Falk, H.F. Wang.; Falk, H.; FARN WANG |
顯示項目 434831-434840 / 2346288 (共234629頁)
<< < 43479 43480 43481 43482 43483 43484 43485 43486 43487 43488 > >>
每頁顯示[10|25|50]項目
|
