|
English
|
正體中文
|
简体中文
|
总笔数 :0
|
|
造访人次 :
51738758
在线人数 :
912
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
显示项目 435396-435405 / 2348239 (共234824页)
<< < 43535 43536 43537 43538 43539 43540 43541 43542 43543 43544 > >>
每页显示[10|25|50]项目
| 亞洲大學 |
1996-11 |
Formal Model of Temporal Properties Underlying Multimedia Presentations
|
Timothy K. Shih; Lain-Jinn Hwang; Jich-Yan Tsai |
| 亞洲大學 |
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 |
| 臺大學術典藏 |
2018-06-29T12:48:05Z |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Emerson, E. A. |
| 國立臺灣大學 |
1992-05 |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 淡江大學 |
1995 |
Formal specification and verification in Z for syncchronous concurrent compution
|
Lin, Fuyau;施國琛; Shih, Timothy K. |
| 亞洲大學 |
1995-04 |
Formal Specification and Verification in Z for Synchronous Concurrent Computation
|
Fuyau Lin ; Timothy K. Shih |
Showing items 435396-435405 of 2348239 (234824 Page(s) Totally)
<< < 43535 43536 43537 43538 43539 43540 43541 43542 43543 43544 > >>
View [10|25|50] records per page
|
