| Your search for 25753 returns 5496 document(s) |
| Invited Talk: Modular Architectures for Distributed and Database System (217-224) |
|
Author: Alfreed Z.Spector; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hypas-A Modular Structured Model Design, Simulation And Control Programming Environment (324-329) |
|
Author: Florin lonescu
Dan Stefanoiu; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular Synchronizarion in Multiversion Databases: Version Control and Concurrency Control (408-417) |
|
Author: Divyakant Agrawal
Soumitra Sengupta; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi concurrent system dengan model checker SMV |
|
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Performance evaluation of fingerprint verification systems, page 3 |
|
Author: R. Cappelli | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems: formal specification and automatic verification |
|
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal verification of research reactive systems: safety |
|
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perancangan sistem informasi akademis yang adaptable, modular, dan scalable untuk modul staf pengajar, pelajaran, evaluasi, dan bimbingan |
|
Author: M. Mahdi; | Call Number: KP-0828 (Softkopi KP-394) (SCKP-Analisa) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
|
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result