Search Result
Save to File
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