Search Result Save to File Save as CSV
Your search for 41642 returns 3391 document(s)
Formalisasi komunikasi layanan web menggunakan hol dan unity
Author: Ahmadi Agra; | Call Number: SK-1226 Softcopy SK-708 Source code SK-490 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi studi kasus component-software E-voting menggunakan unity
Author: Prastudy Mungkas Fauzi | Call Number: Jurnal Ilmu Komputer dan Informasi (JIKI) Vol. 1 No. 1 Februari 2008 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Eksperimen formalisasi dalam sistem hol dengan studi kasus teori graph/ Ricky Suryadharma
Author: Ricky Suryadharma; | Call Number: SK-0779 (Softcopy SK-261) Source code SK-237 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover
Author: Dwi Teguh Priyantini; | Call Number: T-1210 (Softcopy T-918) Source code -297 Mak T-020 | Edition: 2017 | Type: Tesis
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 
Aplikasi web e-commerce menggunakan layanan paypal dengan ruby on rails, HAL. 259 - 268
Author: Bambang PDP; | Call Number: SEM-292 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi layanan web airoam dengan menggunakan active server pages
Author: Rivan Pasaribu; | Call Number: KP-0184 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan aplikasi permainan dua dimensi pada platform windows menggunakan unity 3D
Author: Ardhian Prabantoro; | Call Number: KP- 1677 (Softcopy KP- 1239) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan Permainan pada Android menggunakan Unity 3D di Binary Studio 54
Author: Narendra Arief Nugraha; | Call Number: KP-2786 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next