Your search for 5485 returns 335 document(s) |
Approximated consistency for the automatic recording problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 822-826 |
Author: Meinolf Sellmann; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving the car-sequencing problem as a non-binary CSP, (LNCS-Lecture Notes in Computer Science 3709) Hal 840 |
Author: Mihaela Butaru; Zineb Habbas; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Weak Symmetries in problem formulations, (LNCS-Lecture Notes in Computer Science 3709) Hal 858 |
Author: Roland Martin; Karsten Weihe; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A case study in timed CSP: The railroad crossing problem, (LNCS-Lecture Notes in Computer Science 1201) Hal 69-74 |
Author: Luming Lai; Phil Watson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Generalizing abadi & lamport's method to solve a problem posed by a. pnueli, (LNCS-Lecture Notes in Computer Science 670) Hal 294-313 |
Author: Kai Engelhardt; Willem-Paul de Roever; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Basic tree approach and nwc-stepping stone method for solving transportation problem with fuzzy cost A-72 - A-82 |
Author: Maxsi Ary, Asep Herman; | Call Number: SEM-352 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Rancangan Algoritma Genetika Pada Kasus Traveling Salesman Problem Simetris Dengan Metode Cycle Crossover,81-86 |
Author: Ade Sarah Huzaifah, Dewi Yanti, Santi Prayudani,Mardiana; | Call Number: SEM-342 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementation of an ant colony approach to solve multi-objective order picking problem in beverage warehousing with drive-in rack system (hal. 137-142) |
Author: Taufik Djatna, M. Zaky Hadi; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementasi algoritma genetika pada knapsack problem untuk optimasi pemilihan buah kemasan kotak. ( hal. D-21/D-25 ) |
Author: Komang Setemen; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|