| Your search for 38317 returns 2614 document(s) |
| 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
|
| Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
|
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using CLP to characterise linguistic lattice boundaries in a text mining process, ((LNCS-Lecture Notes in Computer Science 3668) Hal 418-420 |
|
Author: Alexandre S. Saidi; | Call Number: 005.133 Gab l | 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
|
| 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
|
| Developing computer solutions for your business problems |
|
Author: Petersohn, Henry; | Call Number: 658.054 Pet d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Developing computer solutions for your business problems |
|
Author: Petershon, Henry; | Call Number: 658.054 Pet d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Inviariants, frames and postconditions: a comparison of the VDM and B notations, (LNCS-Lecture Notes in Computer Science 670) Hal 162-182 |
|
Author: Juan Bicarregui; Brian Ritchie; | Call Number: 004 Woo f | 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
|
| Improved algorithm for finding (a,b)-super solutions, (LNCS-Lecture Notes in Computer Science 3709) Hal 848 |
|
Author: Emmanuel Hebrard; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result