Bolz, Dieter: Maschinelle Assistenz bei der Korrektur von Zeichnungen
/ Dieter Bolz. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - XIV, 156 S. : Ill.; graph. Darst. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 228)
ISBN 978-3-486-23043-7 / 3-486-23043-3 kart. : ca. DM 47.00
Quelle: DNB
Over constrained systems
/ Michael Jampel ... (ed.). - Berlin : Springer, 1996. - X, 309 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1106)
ISBN 978-3-540-61479-1 / 3-540-61479-6 kart. : DM 70.00
Literaturangaben
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
: selected papers / Joint ERCIM/CoLog Net International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Krysztof R. Apt ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 3010 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24662-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
Recent advances in constraints
: selected papers / Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19 - 21, 2002. Barry O'Sullivan (ed.). - Berlin : Springer, 2003. - X, 199 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2627 : Lecture notes in artificial intelligence)
ISBN 978-3-540-00986-3 / 3-540-00986-8 kart. : EUR 40.66
Literaturangaben
Quelle: DNB
