|
English
|
正體中文
|
简体中文
|
总笔数 :0
|
|
造访人次 :
51415463
在线人数 :
799
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
显示项目 435296-435305 / 2347856 (共234786页)
<< < 43525 43526 43527 43528 43529 43530 43531 43532 43533 43534 > >>
每页显示[10|25|50]项目
| 國立臺灣科技大學 |
2008 |
Formal mentoring in military academies
|
Hu, C.Y.;Wang, J.C.;Sun, M.H.;Chen, H.H. |
| 淡江大學 |
1997-11-16 |
Formal model of participator dependent multimedia presentations
|
施國琛; Shih, Timothy K.; Lo, Steven K. C.; Jiang, Ding-rong |
| 亞洲大學 |
1997-11 |
Formal Model of Participator Dependent Multimedia Presentations
|
Timothy K. Shih; Steven K. C. Lo; Ding-Rong Jiang |
| 亞洲大學 |
1996-11 |
Formal Model of Temporal Properties Underlying Multimedia Presentations
|
Timothy K. Shih; Lain-Jinn Hwang; Jich-Yan Tsai |
| 淡江大學 |
1997-07 |
Formal model of temporal properties underlying multimedia presentations
|
Shih, Timothy K.; Hwang, Lain-jinn; Tsai, Jich-yan |
| 亞洲大學 |
2008 |
Formal Modeling and Analysis of Secure Mobile Agent Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 臺大學術典藏 |
2018-09-10T08:14:42Z |
Formal modeling and verification for Network-on-chip
|
Chen, Y.-R.;Su, W.-T.;Hsiung, P.-A.;Lan, Y.-C.;Hu, Y.-H.;Chen, S.-J.; Chen, Y.-R.; Su, W.-T.; Hsiung, P.-A.; Lan, Y.-C.; Hu, Y.-H.; Chen, S.-J.; SAO-JIE CHEN |
| 亞洲大學 |
2008-01 |
Formal Modelling and Analysis of a Secure Mobile Agent System
|
Jeffrey J. P. Tsai;L. Ma |
| 國立中山大學 |
1995-10 |
Formal reasoning in intelligent database systems
|
Shie-Jue Lee |
| 臺大學術典藏 |
2018-09-10T08:46:23Z |
Formal Reset Recovery Slack Calculation at the Register Transfer Level
|
C. N. Chung; C. W. Chang; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
显示项目 435296-435305 / 2347856 (共234786页)
<< < 43525 43526 43527 43528 43529 43530 43531 43532 43533 43534 > >>
每页显示[10|25|50]项目
|
