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