| Your search for 45943 returns 125 document(s) |
| Penyelesaian Masalah Penjadwalan Ujian Dengan Sat (hal 197-202) |
|
Author: Cecilia E. Nugraheni; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penyelesaian penjadwalan kuliah sebagai constraint satisfaction problem dengan genetic algorithm/ Teddy |
|
Author: Teddy; | Call Number: SK-0766 (Softcopy SK-248) Source code SK-225 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Personal information management systems and interfaces: An overview. ( hal. 197-202 ) |
|
Author: Mohammad Rustom Al Nasar, Masnizah Modh, Nazlena Mohammad Ali; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clustering Analysis Using A Self-Organized Network Inspired By Immune Algorithm (197-202) |
|
Author: Rahmat Widyanto
Megawati
Kazuhiko Kawamoto
Kaoru Hirota; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Short overview on modern parallel SAT-Solvers, Hal. 201-206 |
|
Author: Steffen Holldobler, Norbert Manthey, Van Hau Nguyen, Julian Steckilna, Peter Steinke; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Short overview on modern parellal SAT-Solver, Hal. 201-214 |
|
Author: Steffen Holldobler, Norbert Manthey, Van Hau Nguyen; Julian Stecklina; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan environment ujian dengan metode audio visual dalam ujian berbasis komputer |
|
Author: Evan Octavius Saputra; | Call Number: SK-1490 (Softcopy SK-972) Source code SK-603 | Edition: Gladhi Guarddin | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penggunaan satz extensions untuk memecahkan masalah -masalah sat dunia nyata, Hal. 142-145 |
|
Author: Ambulagan; | Call Number: SEM-262 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using sat in qbf, (LNCS-Lecture Notes in Computer Science 3709) Hal 578-592 |
|
Author: Horst Samulowitz; Fahiem Bacchus; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penjadwalan perkuliahan dan pemilihan jadwal kuliah |
|
Author: Once Kurniawan, Anna Maria, Yohanes Hendra B.; | Call Number: SEM-90 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result