Constraint based mining and inductive databases
: revised selected papers / European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11 - 13, 2004. Jean-François Boulicaut ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3848 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31351-9
Lizenzpflichtig
Quelle: DNB
Constraint handling rules
: current research topics / Tom Schrijvers ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5388 : Lecture notes in artificial intelligence)
ISBN 978-3-540-92243-8
Lizenzpflichtig
Quelle: DNB
Constraint processing
: selected papers / Manfred Meyer (ed.). - Berlin : Springer, 1995. - 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 923)
ISBN 978-3-540-59479-6 / 3-540-59479-5 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Constraint programming
: [proceedings of the NATO Advanced Study Institute on Constraint Programming, held at Pärnu, Estonia, August 13 - 24, 1993] / ed. by Brian Mayoh ... Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1994. - 449 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 131)
ISBN 978-3-540-57859-8 / 3-540-57859-5 Pp. : DM 148.00
Literaturangaben
Quelle: DNB
Constraint programming
: basics and trends ; Châtillon-sur-Seine, France, May 16 - 20, 1994 ; selected papers / Andreas Podelski (ed.). - Berlin : Springer, 1995. - IX, 316 S. : graph. Darst.; 24 cm - (... Spring school / [Laboratoire d'Informatique Théorique et Programmation]; 1994)
ISBN 978-3-540-59155-9 / 3-540-59155-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Constraints in computational logics
: theory and applications / H. Comon ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2002)
ISBN 978-3-540-45406-9
Lizenzpflichtig
Quelle: DNB
Constraints in computational logics
: first international conference ; proceedings / CCL '94, Munich, Germany, September 7 - 9, 1994. Jean-Pierre Jouannaud (ed.). - Berlin : Springer, 1994. - VIII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 845)
ISBN 978-3-540-58403-2 / 3-540-58403-X kart. : DM 72.00
Literaturangaben
Quelle: DNB
Constraint solving and language processing
: first international workshop ; revised selected and invited papers / CSLP 2004, Roskilde, Denmark, September 1 - 3, 2004. Henning Christiansen ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3438 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31928-3
Lizenzpflichtig
Quelle: DNB
Constraint solving and language processing
: first international workshop ; revised selected and invited papers / CSLP 2004, Roskilde, Denmark, September 1 - 3, 2004. Henning Christiansen ... (ed.). - Berlin : Springer, 2005. - VIII, 204 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3438 : Lecture notes in artificial intelligence)
ISBN 978-3-540-26165-0 / 3-540-26165-6 kart.
Literaturangaben
Quelle: DNB
Andradas, Carlos: Constructible sets in real geometry
/ Carlos Andradas ; Ludwig Bröcker ; Jesús M. Ruiz. - Berlin : Springer, 1996. - IX, 270 S. : graph. Darst.; 25 cm - (Ergebnisse der Mathematik und ihrer Grenzgebiete; Folge 3, Bd. 33)
ISBN 978-3-540-60451-8 / 3-540-60451-0 Pp. : DM 158.00
Literaturverz. S. 255 - 264
Quelle: DNB