Your search for 38436 returns 2833 document(s) |
Encoding HTN planning as a dynamic CSP, (LNCS-Lecture Notes in Computer Science 3709) Hal 868 |
Author: Pavel Surynek; Roman Bartak; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Bounds-consistent local search, (LNCS-Lecture Notes in Computer Science 3709) Hal 870 |
Author: Stefania Verachi; Steven Prestwich; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Robust constraint solving using multiple heuristics, (LNCS-Lecture Notes in Computer Science 3709) Hal 871 |
Author: Alfio Vidotto; Kenneth N. Brown; J. Christopher Beck; | 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
|
The comet programming language and system, (LNCS-Lecture Notes in Computer Science 3709) Hal 881 |
Author: Laurent Michel; Pascal Van Hentenryck; | 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
|
Reliable routing for real-time services in large scale wireless sensor networks, HAL. 67-73 |
Author: Hyeon Park; Young-Hwan HAM; Sang-Joon Park; Jeong-Man Woo; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The quantum structure of matter grand challenge project large-scale a-D solutions in relativistic quantum dynamics, Hal. 44-53 |
Author: J.C. Wells, V.E. Oberacker; | Call Number: SEM-193 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Advanced PHP programming: a practical guide to developing large-scale web sites and applications with PHP 5/ George Schlossnagle |
Author: Schlossnagle, George; | Call Number: 005.276 Sch a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|