Recent advances in constraints
: revised selected and invited papers / 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26 - 28, 2006. Francisco Azevedo ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4651 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73817-6
Lizenzpflichtig
Quelle: DNB
Recent advances in constraints
: revised selected and invited papers / Joint ERCIM CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20 - 22, 2005. Brahim Hnich ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3978 : Lecture notes in artificial intelligence)
ISBN 978-3-540-34216-8
Lizenzpflichtig
Quelle: DNB
Recent advances in constraints
: revised selected papers / 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7 - 8, 2007. François Fages ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5129 : Lecture notes in artificial intelligence)
ISBN 978-3-540-89812-2
Lizenzpflichtig
Quelle: DNB
Theory and applications of satisfiability testing
: 10th international conference ; proceedings / SAT 2007, Lisbon, Portugal, May 28 - 31, 2007. João Marques-Silva ; Karem A. Sakallah (ed.). - Berlin : Springer, 2007. - XI, 384 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4501)
ISBN 978-3-540-72787-3 / 3-540-72787-6 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and applications of satisfiability testing
: 11th international conference ; proceedings / SAT 2008, Guangzhou, China, May 12 - 15, 2008. Hans Kleine Büning ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4996)
ISBN 978-3-540-79719-7
Lizenzpflichtig
Quelle: DNB
Theory and applications of satisfiability testing
: 10th international conference ; proceedings / SAT 2007, Lisbon, Portugal, May 28 - 31, 2007. João Marques-Silva ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4501)
ISBN 978-3-540-72788-0
Lizenzpflichtig
Quelle: DNB