| Your search for 45973 returns 1518 document(s) |
| Antenna Pettern Automated Measurement System In ESVA (V2-253--V2-256) |
|
Author: Yang Zhe
Yang Yujie
Xu Hui
Li Yanning
Zhang Peng; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, page 478-526 |
|
Author: M. F. Frias, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166 |
|
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The statistical properties of the EM wave scattering from building surfaces for the mobile propagation modelling, hal. 29-34 |
|
Author: Hary Budiarto and Jun-Ichi Tokada | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI: Vol. 1 No. 2 Oktober 2001 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Korean-Japanese story link detection based on distributional and constrative properties of event terms, page 538 |
|
Author: Kyung-Soon Lee | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tiny Families of functions with random properties: A quality-size trade-off for hashing(Preliminary Version),Hal 574-583 |
|
Author: Oded Goldreich; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The network properties for analysing and ranking prediced miRNA target genes in prostate carcinoma, Hal. 3686-3691 |
|
Author: Xizi Jin; Kunhao Wang; Zhiwen Xu; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 291-303 |
|
Author: Kai Baukus; Yassine Lakhnech; Karsten Stahl; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1 |
|
Author: Amir Pnueli; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467 |
|
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result