Search Result Save to File Save as CSV
Your search for 19028 returns 1104 document(s)
External embedding: sebuah metode untuk verifikasi program
Author: Ade Azurat | Call Number: JURNAL SISTEM INFORMASI, Vol.1 (2005): No.1 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi program perkalian matriks persegi menggunakan logika hoare
Author: Anggha Satya Nugraha; | Call Number: T-0982 (Softcopy T-0691) Source Code T-0141 | Edition: 2012 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren)
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren)
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Spesifikasi dan verifikasi aplikasi perbankan dengan menggunakan lingusql (Studi banding dengan Metode-B)/ Franova Herdiyanto
Author: Franova Hardiyanto; | Call Number: SK-0743 (Softcopy SK-224) Source code SK-205 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
External memory algorithms
Author: Jeffrey Scott; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
External perfect hashing(190-199)
Author: Per-Ake Larson and M. V. Ramakrishna; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan program uji kestabilan sistem dengan metode root locus, HAL. 213-218
Author: Suhariningsih; | Call Number: SEM-286 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Sistem Pendukung Keputusan Untuk Pemilihan Program Studi Dengan Metode AHP
Author: Deborah Kurniawati , Made Purwantara , Standy Oei , Zaidir, Riah Ukur; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next