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
Constructing scalar valued objective functions
: proceedings of the Third International Conference on Econometric Decision Models: Constructing Scalar Valued Objective Functions, University of Hagen, held in Katholische Akademie Schwerte, September 5 - 8, 1995 / Andranik Tangian ; Josef Gruber (ed.). - Berlin : Springer, 1997. - VIII, 298 S. : graph. Darst.; 24 cm - (Lecture notes in economics and mathematical systems; Vol. 453)
ISBN 978-3-540-63061-6 / 3-540-63061-9 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Constructional morphology and evolution
/ N. Schmidt-Kittler ; K. Vogel (ed.). - Berlin : Springer, 1991. - IX, 409 S. : Ill., graph. Darst.; 25 cm
ISBN 978-3-540-53279-8 / 3-540-53279-X Pp. : DM 248.00
Literaturangaben
Quelle: DNB
Construction and analysis of safe, secure, and interoperable smart devices
: second international workshop ; revised selected papers / CASSIS 2005, Nice, France, March 8 - 11, 2005. Gilles Barthe ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3956)
ISBN 978-3-540-33691-4
Lizenzpflichtig
Quelle: DNB
