Search Result Save to File Save as CSV
Your search for 41301 returns 1956 document(s)
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 
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: DIS-014 (Softcopy DIS-006) | Type: Disertasi
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 
Handbook of data processing management vol. 3: system life cycle standards-forms method vol. 3/ Peter Zuckerman
Author: Zuckerman, Peter; | Call Number: R. 004.03 | Type: Buku Referensi
Find Similar |  Add To Favorites |  Detail in New Window 
Kajian penerimaan aplikasi pendataan ditjen paudni dengan pendekatan unified theory of acceptance use of technology 2 (UTAUT2) : studi kasus Direktorat Jenderal Pendidikan Anak Usia Dini, Nonformal dan Informal
Author: Harismo Aji; | Call Number: KA-432 (Softcopy KA-431) MAK KA-092 | Edition: 2013 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Peran kepemimpinan manajer proyek terhadap efektifitas kepemimpinan proyek teknologi informasi di indonesia
Author: Rian Yasri Yulian; | Call Number: KA-1029 (Softcopy KA-1025) MAK KA-675 | Edition: 2018 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan Proyek Clara Dan Proyek Softslate Di PT Indivara Sejahtera Sukses Makmur
Author: Shandy Darma; | Call Number: KP-2607 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Panduan manajemen proyek berbasi PMBOK
Author: Prasetyo, Adi; | Call Number: 658.404 Pra p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   14 15 16 17 18 19 20 21 22 23  Next