Search Result Save to File Save as CSV
Your search for 37722 returns 2062 document(s)
Verifikasi program perkalian matriks persegi menggunakan logika hoare
Author: Anggha Satya Nugraha; | Call Number: T-0982 (Softcopy T-0691) Source Code T-0141 | Edition: 2012 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Eksplorasi pembuatan services di atas globus toolkit 4 dengan studi kasus perkalian matriks secara terdistribusi
Author: Sirajudin Maizir; | Call Number: SK-0639 (Softcopy SK-120) Source Code SK-106 | 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 
Analisis sistem pendukung keputusan dalam memilih program studi menggunakan metode logika fuzzy, Hal.A33-A37
Author: Hetty Rohayani; | Call Number: SEM-300 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Evaluasi counterfactual menggunakan tabling gabungan pada abduction dan updating program logika serta aplikasinya pada bidang machine ethics
Author: Adam Jordam; | Call Number: SK-1588 (Softcopy Sk-1070) | Edition: Ari Sapta Wijaya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Tabling Gabungan pada Abduction dan Updating Program Logika
Author: Ammar Fathin Sabili; | Call Number: SK-1548 (Softcopy SK-1030) Sourcoce code SK-623 | Edition: Ari Saptawijaya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Pengujian kalsifikasi telapak tangan dengan menggunakan rangkaian matriks sensor cahaya, HAL. C.151-C.156
Author: Esa Prakasa, Herjan, Ade Ramdan; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Optimisasi perkalian sparse matrix-vektor menggunakan compresed storage row/ Charles Gunawan
Author: Charles Gunawan; | Call Number: SK-0605 (Softcopy SK-84) Source Code SK-26 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Sintesa modulator BPSK pada logika perangkat keras yang dapat di program ulang, HAL. H.31-H.34
Author: Tole Sutikno; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next