Search Result Save to File Save as CSV
Your search for 45026 returns 2979 document(s)
Abduction of linear arithmetic constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 174-188
Author: Michael J.Maher; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Constructing hybrid control systems form robust linear control agents,((LNCS-Lecture Notes in Computer Science 999) Hal. 324-343
Author: Michael Lemmon; Christopher Beitt; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Pengenalan Karakter Angka Dengan Menggunakan Fuzzy Clustering
Author: Thiang , Suharyanto; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi sistem informasi angka kredit dosen (SIAKREDOS)
Author: Widya Wicaksana S.; | Call Number: KP-0651 ( Softkopi Kp- 214) ( SCKP-100) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Exploiting unit propagation to compute lower bounds in branch and bound max-sat solvers, (LNCS-Lecture Notes in Computer Science 3709) Hal 403-414
Author: Chu Min Li; Felip Manya; Jordi Planes; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi sistem informasi manajemen angka kredit berbasis web : Modul manajemen dosen dan modul manajemen penambahan angka kredit
Author: Arief Budiartowo; | Call Number: KP-0582 (Softkopi KP-149) (SCKP-41) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi sistem informasi manajemen angka kredit berbasis web: Modul manajemen user dan modul manajemen unsur angka kredit
Author: Didik Priyanto; | Call Number: KP-0588 (Softkopi kp-155) (SCKP-47) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Manfaat representasi elemen berbasis normal dalam meningkatkan kinerja operator aritmetika galois field/ Petrus Mursanto
Author: Mursanto, Petrus | Call Number: Pub.Staf PN-0039 | Type: Prosiding Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
Optimalisasi aplikasi berbasis elemen galois field dengan menggunakan varian operator aritmetika terseleksi
Author: Petrus Mursanto; | Call Number: Ring Dis-040 | Type: Ringkasan Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Improving the upper bound on the maximum differential and the maximum linear hull probability for spn structures and aes, (LNCS-Lecture Notes in Computer Science 2887) Hal 247-260
Author: Sangwoo Park; Soo Hak Sung; Sangjin Lee; Jongin Lim; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next