| Your search for 38312 returns 2770 document(s) |
| The G12 project: mapping solver independent models to efficient solutions, (LNCS-Lecture Notes in Computer Science 3668) Hal 9-13 |
|
Author: Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The G12 project: mapping solver independent models to efficient solutions, (LNCS-Lecture Notes in Computer Science 3709) Hal 13-16 |
|
Author: Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A generator of efficient abstract machine implementations and its application to emulator minimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 21-36 |
|
Author: Jose F. Morales; Manuel Carro; German Puebla; Manuel V. Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A comparison of CLP (FD) and ASP solutions to NP-complete problems, (LNCS-Lecture Notes in Computer Science 3668) Hal 67-82 |
|
Author: Agostino Dovier; Andrea Formisano; Enrico Pontelli; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IMPACT: innovative models for prolog with advanced control and tabling ( Extended Abstract ), ((LNCS-Lecture Notes in Computer Science 3668) Hal 416-417 |
|
Author: Ricardo Rocha; Ricardo Lopes; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic support graph: a space efficient data structure for incremental tabled evaluation, (LNCS-Lecture Notes in Computer Science 3668) Hal 235-249 |
|
Author: Diptikalyan Saha; C.R. Ramakrishnan; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A format-independent architecture for run-time integrity checking of executable code, (LNCS-Lecture Notes in Computer Science 2576) Hal 219-233 |
|
Author: Luigi Catuogno; Ivan Visconti; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Development of a design framework for platform-independent networked reconfiguration of software and hardware, (LNCS-Lecture Notes in Computer Science 2147) Hal 264-274 |
|
Author: Yajun Ha; Bingfeng Mei; Patrick Schaumont; Serge Vernalde; Rudy Lauwereins; Hugo De Man; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Computationally-efficient construction for the matrix-based key distribution in sensor networks, (LNCS-Lecture Notes in Computer Science 5576) Hal. 190-199 |
|
Author: Abeldelaziz Mohaisen; Nam-Su Jho; Dowon Hong; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An efficient hybrid routing approach for hybrid wireles mesh networks, (LNCS-Lecture Notes in Computer Science 5576) Hal. 532-542 |
|
Author: Anh-Ngoc Lee; Dong-Won Kum, You-Ze Cho; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result