Search Result Save to File Save as CSV
Your search for 52509 returns 3322 document(s)
Perencanaan Distribusi Hotspot Berdasarkan Weighted Voronoi Diagram
Author: Fauziah Rahmawati; | Call Number: T-1234 (Softcopy T-942) | Edition: 2018 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Translasi UML statecharts diagram ke abstract behavioral specification
Author: Rangga Hadisurya; | Call Number: T-1105 (Softcopy T-814) Source code T-222 | Edition: 2015 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Laporan eksperimen diagram navigasi sebagai komponen dari comprehension system
Author: Bayu Tenoyo; | Call Number: TR-CSUI-005-2016 | Type: Technical Report
Find Similar |  Add To Favorites |  Detail in New Window 
Alat bantu penyunting diagram EER dan pemetaan otomatis diagram EER ke deklarasi OODMS tertentu/ Noviari Sugianto
Author: Noviari Sugianto,; | Call Number: SK-0323 | Edition: Machmudin Junus | Type: Skripsi
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 
Verifikasi dan sertifikasi perangkat lunak berbasis komponen
Author: Ario Santoso; Daniel Cahyadi; Richard Loksasmita; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352
Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi protokol komunikasi/ Evita M. Sibarani
Author: Evita Marlinang Sibarani; | Call Number: SK-0337 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
An introduction to formal specicifation and Z /Ben Potter
Author: Potter, Ben; | Call Number: 005.1 Pot i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal logic: its scope and limits
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next