Search Result Save to File Save as CSV
Your search for 41301 returns 1956 document(s)
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 
Formalisasi dan verifikasi dari spesifikasi speculative concurrency control dalam sistem basisdata waktu-nyata
Author: Yanti Rusmawati,; | Call Number: T-0368 | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi Sistem Berparameter Secara Formal Dengan Diagram Predikat Berparameter (154-159)
Author: Cecilia E. Nugraheni; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan modul pendataan karyawan, pencataatn perjalanan dinas dan absensi karyawan dalam sistem infomrasi SDMU PT. KSE
Author: Yuaning Fajariana; | Call Number: KP-0111 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan modul pendataan pegawai, penjadwalan pengajar, abesensi pengajar dan penggajian pegawai dalam sistem kepegawaian terpadu
Author: Moch Ridwan J.; | Call Number: KP-0836 (softkopi KP-403) SCKP-262 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan Prototipe Website Database Industri Kecil Menengah (IKM) di Kabupaten Tegal untuk Pendataan Website Potji.com
Author: Lubby Masfar Muzetha; | Call Number: KP-2378 (Softcopy KP-1935) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Sistem Informasi Pendataan Sidang da Tugas Akhir Amik Tunas Bangsa Pematangsiantar (199-202)
Author: Poningsih Irfan Sudahri damanik; | Call Number: SEM-312 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Pemrograman borland delphi ver. 3 & 4 ed. 3
Author: Pranata, Anthony; | Call Number: 005.369 Pra p | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Pemrograman borland delphi ver. 3 & 4 ed. 3
Author: Pranata, Anthony; | Call Number: 005.369 Pra p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   6 7 8 9 10 11 12 13 14 15  Next