Search Result

Your search for 41301 returns 1956 document(s)

A Validation of the Effectiveness of Inner Dependence in a ANP Model (3)

Author: Rozann Saaty; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem

Analisi faktor-faktor yang memengaruhi niat keberlanjutan penggunaan situs web pada penerima bantuan dimain ID: studi kasus program satu juta domain Kementerian komunikasi dan informatika

Author: Handayani; | Call Number: KA-1181 (Softcopi KA-1174) MAK KA-827 | Edition: 2019 | Type: Karya Akhir (KA)

Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18

Author: Eri Zuliarso, Belawati H.W. dan Widijanto S. N. | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003 | Type: UI-ana Indek Artikel

Verifikasi perangkat lunak berbasis java dengan T2 framework dengan studi kasus electronic votes manager sebagai perangkat lunak berbasis komponen

Author: Aziz Yudi Prasetyo | Call Number: Jurnal Ilmu Komputer dan Informasi (JIKI) Vol. 1 No. 2 Juni 2008 | Type: UI-ana Indek Artikel

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

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

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

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

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

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

Prev 13 14 15 16 17 18 19 20 21 22 Next