Results
|
|
1.
|
|
Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / edited by Boi V. Faltings, Adrian Petcu, François Fages, Francesca Rossi. by Series: Lecture Notes in Computer Science ; 3419
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.612 F35 2005.
|
|
|
2.
|
|
|
|
|
3.
|
|
Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi. by Series: Lecture Notes in Computer Science ; 4651
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.612 A94 2007.
|
|
|
4.
|
|
Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / edited by Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi. by Series: Lecture Notes in Computer Science ; 3978
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.612 H65 2006.
|
|
|
5.
|
|
|
|
|
6.
|
|
|
|
|
7.
|
|
|
|
|
8.
|
|
Discrete structures, logic, and computability / James L. Hein. by
Edition: 2a ed.
Material type:  Text; Format:
print
; Literary form:
Not fiction
Publication details: Boston, MA. : Jones and Bartlett, c2002
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (6)Call number: QA76.9.M35 H45 2002, ...
|
|
|
9.
|
|
Discrete structures, logic, and computability / James L. Hein. by
Edition: 1a ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Boston, Massachusetts : Jones and Bartlett Publishers, 1994
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Civil (1)Call number: QA76.9.M35 H45 r1995.
|