Search Result
Save to File
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