Search Result Save to File Save as CSV
Your search for 38481 returns 4395 document(s)
Applying decomposition methods to crossword puzzle problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 874
Author: Yaling Zheng; Berthe Y. Choueiry; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Asymmetric distributed constraints satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 875
Author: Roie Zivan; Amnon Meisels; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
CoJava: A unified language for simulation and optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 877
Author: Alexander Brodsky; Hadon Nash; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Random stimuli generation for functional hardware verification as a CP application, (LNCS-Lecture Notes in Computer Science 3709) Hal 882
Author: Yehuda Naveh, Roy Emek; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A bdd-based interactive configurator for modular systems, (LNCS-Lecture Notes in Computer Science 3709) Hal 883
Author: Erik R. van der Meer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan production accounting and well management system (PAWN)
Author: Suci Nurul Insani; | Call Number: KP-1425 (Softcopy KP-986) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Computer capacity a production control approach
Author: Strauss, Melvin J.; | Call Number: 004 Str c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan integrated work calendar system
Author: Arief Aziz; | Call Number: KP-0849 (Softkopi KP-0416) (SCKP-Analisa) | 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 
Maintaining arc consistency algorithms during the search without additional space cost, (LNCS-Lecture Notes in Computer Science 3709) Hal 520-533
Author: Jean-Charles Regin; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   12 13 14 15 16 17 18 19 20 21  Next