Search Result Save to File Save as CSV
Your search for 19028 returns 1104 document(s)
Metode baru untuk pelacakan objek pada analisa pergerakan manusia dengan aplikasinya pada alat bantu navigasi cerdas bagi penderita tuna netra(Proposal Hibah Penelitian Mahasiswa Program Doktor)
Author: Indah Agustien Siradjuddin | Call Number: PRO-HIBAH PENELITIAN MAHASISWA PROGRAM DOKTOR-2009-001 | Type: Proposal Research (Khusus Dose
Find Similar |  Add To Favorites |  Detail in New Window 
Alat bantu case untuk programan: pembangkit kerangka program dbase IV menggunakan metode perancangan terstruktur yourdon/constantine/ Dian Irawati Nasution
Author: Nasution, Dian Irawati; | Call Number: SK-0265 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi pembuatan dashboard pencapaian program kerja dengan menggunakan metode data mining dan business intelligence untuk menunjang pengambilan keputusan pada PT Bank X (Persero) Tbk
Author: Erza Radifan Rahmat; | Call Number: KP-1921 (Softcopy KP-1483) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi pembuatan dashboard pencapaian program kerja dengan menggunakan metode data mining dan business intelligence untuk menunjang pengambilan keputusan pada PT Bank X (Persero) Tbk
Author: Muhammad Irfan Fadhila; | Call Number: KP-1896 (Softcopy KP-1458) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi pembuatan dashboard pencapaian program kerja dengan menggunakan metode data mining dan business intelligence untuk menunjang pengambilan keputusan pada PT Bank X (Persero) Tbk
Author: Jouvy Alif Pradewo; | Call Number: KP-1950 (Softcopy KP-1512) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi concurrent system dengan model checker SMV
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi dan sertifikasi perangkat lunak berbasis komponen
Author: Ario Santoso; Daniel Cahyadi; Richard Loksasmita; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352
Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi protokol komunikasi/ Evita M. Sibarani
Author: Evita Marlinang Sibarani; | Call Number: SK-0337 | 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 
Prev   1 2 3 4 5 6 7 8 9 10  Next