Search Result Save to File Save as CSV
Your search for 52509 returns 3322 document(s)
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 
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 
Formalisasi dan verifikasi sistem pengendali lalu lintas/ Manogari Simanjuntak
Author: Manogari Simanjuntak; | Call Number: SK-0371 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Rancangan, verifikasi dan validasi sistem pengendali banjir
Author: Bib Paruhum Silalahi; | Call Number: T-0147 | Edition: 1999 | 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 
Building location index for geographic information retrieval, Hal. 154-159
Author: Muhammad Ibrahim; | Call Number: SEM-303 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Model formal sistem pengendali lalulintas Kereta api di suatu setasiun
Author: Prapto Tri Supriyo; | Call Number: T-0367 | Edition: 2001 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
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 
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 
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 
Prev   1 2 3 4 5 6 7 8 9 10  Next