Search Result Save to File Save as CSV
Your search for 38481 returns 4394 document(s)
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 
Bounds of graph characteristics, (LNCS-Lecture Notes in Computer Science 3709) Hal 742-746
Author: Nicolas Beldiceanu; Thierry Petit; Guillaume Rochart; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Approximations in distributed optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 802-806
Author: Adrian Petcu; Boi Faltings; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Extremal CSPs, (LNCS-Lecture Notes in Computer Science 3709) Hal 807-811
Author: Nicolas Prcovic; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Partial redundant modeling, (LNCS-Lecture Notes in Computer Science 3709) Hal 856
Author: Tiziana Ligorio; Susan L. Epstein; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Probabilistic arc consistency, (LNCS-Lecture Notes in Computer Science 3709) Hal 862
Author: Deepak Mehta; M.R.C. van Dongen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Programming with TOY (FD), (LNCS-Lecture Notes in Computer Science 3709) Hal 878
Author: Antonio J. Fernandez; Teresa Hortala-Gonzalez; Fernando Saenz-Perez; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Computing super-schedules, (LNCS-Lecture Notes in Computer Science 3709) Hal 879
Author: Emmanuel Hebrard; Paul Tyler; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Integrated Workflow Planning and Coordinating (771-781)
Author: Hilmar Schuschel Mathias Weske; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A system on chip for power line communications according to european home systems specifications, (LNCS-Lecture Notes in Computer Science 2147) Hal 658-662
Author: Isidoro Urriza; Jose I. Garcia-Nicolas; Alfredo Sanz; Antonio Valdovinos; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   2 3 4 5 6 7 8 9 10 11  Next