Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Constraint ProgrammingMayoh NATO Scientific Affairs Division Staff; Jaan Penjam; Enn TyuguSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Constraint ProcessingRina DechterMorgan Kaufmann 2003Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Integrated Methods for OptimizationJohn N. HookerSpringer US 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Analysis and visualization tools for constraint programming constraint debuggingPierre Deransart; Manuel Hermenegildo; J Ma±uszyânski 1941- (Jan)Berlin New York Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1870 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lecturesHubert Comon; Claude Marché; Ralf Treinen; ESPRIT CCL Working Group; CCL'99 (1999 Gif-sur-Yvette, France)Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2002 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Programming with constraints an introductionKim Marriott Peter J StuckeyCambridge, Mass. MIT Press c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68T10.05 M359pc e.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Principles and practice of constraint programming--CP'99 5th international conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 : proceedingsCP'99 (1999 Alexandria, Va.) Joxan Jaffar 1957-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1713 e.1 )(Acessar) |
|
8 |
Material Type: Livro
|
Programming constraint services high-level programming of standard and new constraint servicesChristian Schulte Dr.-IngBerlin Springer London c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2302 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Semirings for Soft Constraint Solving and ProgrammingStefano BistarelliSpringer Berlin / Heidelberg 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Integrated methods for optimizationJohn Hooker 1949-New York Springer c2012Localização: ICMC - Inst. Ciên. Mat. Computação (66A10 H783im.2 e.1 )(Acessar) |