|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
51612532
線上人數 :
1111
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
顯示項目 435376-435385 / 2348134 (共234814頁)
<< < 43533 43534 43535 43536 43537 43538 43539 43540 43541 43542 > >>
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
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. |
| 淡江大學 |
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 |
| 淡江大學 |
1999-10 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
葛煥昭; Keh, Huan-chao; 施國琛; Shih, Timothy K.; Wang, C. S. |
| 亞洲大學 |
1998 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
Huan-Chao Keh ; Timothy K. Shih |
| 淡江大學 |
1998-12 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
Keh, Huan Chao; Shi, Timothy K. |
| 亞洲大學 |
1997-04 |
Formal Specification of a Graph-Based Object-Oriented Software Testing
|
Chi-Ming Chung; Timothy K. Shih;Chun-Chia Wang |
| 淡江大學 |
1997-04 |
Formal specification of a graph-based object-oriented software testing
|
Chung, Chi-ming , Shih, Timothy K.; Wang, Chun-chia |
| 亞洲大學 |
1999 |
Formal Specification of an Object-Oriented database for Intelligent Multimedia Presentation
|
Huan-Chao Keh; Timothy K. Shih ; Ching-Sheng Wang |
| 淡江大學 |
1996-03 |
Formal specification of multimedia authoring
|
Shih, Timothy K.; Chiang, Ding-an; Keh, Huan-chao; Shis, Chien-chou |
顯示項目 435376-435385 / 2348134 (共234814頁)
<< < 43533 43534 43535 43536 43537 43538 43539 43540 43541 43542 > >>
每頁顯示[10|25|50]項目
|
