Search Result Save to File Save as CSV
Your search for 19028 returns 1104 document(s)
Formalisasi verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda, Hal. 20-27
Author: Eri Zuliarso; Belawati Widjaja; Widijanto S. Nugroho; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi protokol otentikasi Horn-Preneel menggunakan A VISPA (Automated Validation of Internet Security Protocols and Applications)
Author: Ilham Kurnia; | Call Number: SK-0618 (Softkopi SK-99) Source Code SK-88 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Sistem administrasi nilai dan verifikasi ijazah berbasis blockhain (studi kasus: data universitas indonesia pada pangkalan data pendidikan tinggi (PDDIKTI)
Author: Farzana Hadifa, Shafira Putri Novia Hartanti, Tsanaativa Vinnera; | Call Number: SK-2112 (Softcopy SK-1594) Source Code SK-792 | Edition: Ari Wibisono | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani
Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Proses verifikasi piranti lunak menggunakan lingu dan theorem prover hol pada studi kasus student entrance test/ Carroline D. Puspa
Author: Carroline D. Puspa; | Call Number: SK-0621(Softcopy SK-102) Source Code SK-89 | Edition: Heru Suhartanto | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Studi tentang rekayasa dan verifikasi rigor menggunakan SDL dalam perancangan manajemen kegagalan sistem/ Mephri
Author: Mephri; | Call Number: SK-0343 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda
Author: Eri Zuliarso; | Call Number: T-0365 | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan Rel Kereta Api satu jalur satu arah
Author: Achmad Ridok; | Call Number: T-0152 | Edition: 1999 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis Faktor Yang Menyebabkan Kegagalan Implementasi Sistem Verifikasi Biaya Media Di PT Jasa Raharja
Author: Rizki Romodhon; | Call Number: KA-1621 (Softcopy KA-1607) MAK KA-1258 | Edition: 2022 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis proyek pendataan dan verifikasi penerima paket perdana LPG tabung 3 kg
Author: Ardanella Purnamasari Nelwan; | Call Number: KP-1734 (SOFTCOPY KP-1296) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next