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
Constructing ambient intelligence
: revised papers / AmI 2007 workshops Darmstadt, Germany, November 7 - 10, 2007. Max Mühlhäuser ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 11)
ISBN 978-3-540-85379-4
Lizenzpflichtig
Quelle: DNB
Constructing and applying objective functions
: proceedings of the Fourth International Conference on Econometric Decision Models Constructing and Applying Objective Functions, University of Hagen, held in Haus Nordhelle, August 28 - 31, 2000 / Andranik S. Tangian ; Josef Gruber (ed.). - Berlin : Springer, 2002. - X, 580 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in economics and mathematical systems; Vol. 510)
ISBN 978-3-540-42669-1 / 3-540-42669-8 kart.
Literaturangaben
Quelle: DNB
Cooke, John: Constructing correct software
: the basics / John Cooke. - London : Springer, 1998. - XIII, 395 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76156-3 / 3-540-76156-X kart. : DM 89.00
Quelle: DNB
