Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3838)
ISBN 978-3-540-32425-6
Lizenzpflichtig
Quelle: DNB
Programming constraint services
: high level programming of standard and new constraint services / C. Schulte. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2302 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45945-3
Lizenzpflichtig
Quelle: DNB
Schulte, Christian: Programming constraint services
: high level programming of standard and new constraint services / Christian Schulte. - Berlin : Springer, 2002. - XII, 176 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2302 : Lecture notes in artificial intelligence)
ISBN 978-3-540-43371-2 / 3-540-43371-6 kart. : EUR 38.52
Literaturverz. S. 161 - 170
Quelle: DNB
[Recent advances in constraints]
: [revised selected and invited papers] / [Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23 - 25, 2004. Boi Faltings ...]. - [Berlin : [Springer], 2005. - Online-Ressource - ([Lecture notes in computer science]; [3419])
ISBN 978-3-540-32252-8
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
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. - VIII, 183 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4651 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73816-9 / 3-540-73816-9 kart. : ca. sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
