Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Essentials of Constraint Programming / by Thom Frühwirth, Slim Abdennadher
| Essentials of Constraint Programming / by Thom Frühwirth, Slim Abdennadher |
| Creatore | [Frühwirth, Thom] |
| Estensione | 1 online resource (ix, 147 pages). |
| Disciplina | 005.13 |
| Accesso persona | Abdennadher, Slim |
| Genere/Forma | Electronic books |
| ISBN |
9783662051382
3662051389 9783642087127 3642087124 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part I. Constraint Programming: Algorithm = Logic + Control; Preliminaries of Syntax and Semantics; Logic Programming; Constraint Logic Programming; Concurrent Constraint Logic Programming; Constraint Handling Rules -- Part II. Constraint Systems: Constraint Systems and Constraint Solvers; Boolean Algebra B; Rational Trees RT; Linear Polynomial Equations R; Finite Domains FD; Non-linear Equations I -- Part III. Applications: Market Overview; Optimal Sender Placement for Wireless Communication; The Munich Rent Advisor; University Course Timetabling -- Part IV. Appendix: Foundations from Logic; List of Figures; References; Index. |
| Record Nr. | NYU-004641767 |
[Frühwirth, Thom]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Essentials of Constraint Programming / by Thom Frühwirth, Slim Abdennadher
| Essentials of Constraint Programming / by Thom Frühwirth, Slim Abdennadher |
| Creatore | [Frühwirth, Thom] |
| Estensione | 1 online resource (ix, 147 pages). |
| Disciplina | 005.13 |
| Accesso persona | Abdennadher, Slim |
| ISBN |
9783662051382
3662051389 9783642087127 3642087124 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-7998348 |
|
[Frühwirth, Thom]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |
Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia Edited by Slim Abdennadher, Florian Alt. [electronic resource]
| Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia Edited by Slim Abdennadher, Florian Alt. [electronic resource] |
| Creatore | [MUM 2018 : 17th International Conference on Mobile and Ubiquitous Multimedia 2018 Cairo Egypt, Abdennadher, Slim] |
| Estensione | 1 online resource (548 pages) |
| Accesso persona |
Abdennadher, Slim
Alt, Florian |
| Accesso ente | Association for Computing Machinery-Digital Library |
| ISBN | 9781450365949 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | NYU-007602524 |
|
[MUM 2018 : 17th International Conference on Mobile and Ubiquitous Multimedia 2018 Cairo Egypt, Abdennadher, Slim]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Essentials of Constraint Programming [electronic resource] / by Thom Frühwirth, Slim Abdennadher
| Essentials of Constraint Programming [electronic resource] / by Thom Frühwirth, Slim Abdennadher |
| Creatore | [Frühwirth, Thom] |
| Estensione | 1 online resource (ix, 147 pages). |
| Disciplina | 005.13 |
| Accesso persona | Abdennadher, Slim |
| Genere/Forma | Electronic books |
| ISBN |
9783662051382
3662051389 9783642087127 3642087124 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part I. Constraint Programming: Algorithm = Logic + Control; Preliminaries of Syntax and Semantics; Logic Programming; Constraint Logic Programming; Concurrent Constraint Logic Programming; Constraint Handling Rules -- Part II. Constraint Systems: Constraint Systems and Constraint Solvers; Boolean Algebra B; Rational Trees RT; Linear Polynomial Equations R; Finite Domains FD; Non-linear Equations I -- Part III. Applications: Market Overview; Optimal Sender Placement for Wireless Communication; The Munich Rent Advisor; University Course Timetabling -- Part IV. Appendix: Foundations from Logic; List of Figures; References; Index. |
| Record Nr. | NYU-004405528 |
|
[Frühwirth, Thom]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |