top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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