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