Search Result Save to File Save as CSV
Your search for 4531 returns 3266 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 
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 
Pengembangan prototipe subsistem spot positioning dan purchase order processing pada sistem spot selling PT. Citra Lintas Indonesia-Lowe Indonesia/ Rikky Wenang Purbojati
Author: Rikky Wenang Purbojati; | Call Number: KP-0457 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pemanfaatan Teknologi Sistem Informasi Geografis Sebagai Seuah Solusi Pada Pengaturan Rute Angkutan Umum Pada Dinas Lalu lintas Angkutan Jalan (DLLAJ) Surakarta (117-126)
Author: Ema Utami Anisa Rahmanti; | Call Number: SEM-313 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan dan Implementasi Pengendali Deployment Helm Melalui HTTP Request
Author: Muhammad Aulia Akbar; | Call Number: SK-2028 (Softcopy SK-1510) Source Code-764 | Edition: Gladhi Guarddin | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
External embedding: sebuah metode untuk verifikasi program
Author: Ade Azurat | Call Number: JURNAL SISTEM INFORMASI, Vol.1 (2005): No.1 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Perbandingan Kinerja Pengendali Berbasis Logika Fuzzy dan Pengendali PI untuk Evaporator Bertingkat terhadap Gangguan pada Feed (20-33)
Author: B. Wuri Harini; | Call Number: SEM-274 | Type: Indeks Artikel prosiding/Sem
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 
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 
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 
Prev   1 2 3 4 5 6 7 8 9 10  Next