Anlauff, Matthias: Rechnerunterstützung formaler Beweissprachen
/ Matthias Anlauff. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - XII, 162 S. : graph. Darst. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 244)
ISBN 978-3-486-23396-4 / 3-486-23396-3 kart. : ca. DM 50.00
Quelle: DNB
Stapelkamp, Torsten: Screen- und Interfacedesign
: Gestaltung und Usability für Hard- und Software / Torsten Stapelkamp. - Berlin : Springer, 2007. - Online-Ressource - (X.media.press)
ISBN 978-3-540-32950-3
Lizenzpflichtig
Quelle: DNB
[Smart graphics]
: [proceedings ; 4th international symposium] / [SG 2004, Banff, Canada, May 23 - 24, 2004. Andreas Butz ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3031])
ISBN 978-3-540-24678-7
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Smart graphics
: 9th international symposium ; proceedings / SG 2008, Rennes, France, August 27 - 29, 2008. Andreas Butz ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5166)
ISBN 978-3-540-85412-8
Lizenzpflichtig
Quelle: DNB
Smart graphics
: 8th international symposium ; proceedings / SG 2007, Kyoto, Japan, June 25 - 27, 2007. Andreas Butz ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4569)
ISBN 978-3-540-73214-3
Lizenzpflichtig
Quelle: DNB
Smart graphics
: 6th international symposium ; proceedings / SG 2006, Vancouver, Canada, July 23 - 25, 2006. Andreas Butz ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4073)
ISBN 978-3-540-36295-1
Lizenzpflichtig
Quelle: DNB
Smart graphics
: 5th international symposium ; proceedings / SG 2005, Frauenwörth Cloister, Germany, August 22 - 24, 2005. Andreas Butz ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3638)
ISBN 978-3-540-31905-4
Lizenzpflichtig
Quelle: DNB
Smart graphics
: proceedings / Third International Symposium on Smart Graphics, SG 2003, Heidelberg, Germany, July 2 - 4, 2003. Andreas Butz ... (ed.). - Berlin : Springer, 2003. - XI, 260 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2733)
ISBN 978-3-540-40557-3 / 3-540-40557-7 kart. : EUR 44.94
Literaturangaben
Quelle: DNB
SmartKom: foundations of multimodal dialogue systems
: with 63 tables / Wolfgang Wahlster (ed.). - Berlin : Springer, 2006. - XVIII, 643 S. : Ill., graph. Darst.; 24 cm - (Cognitive technologies)
ISBN 978-3-540-23732-7 / 3-540-23732-1 Pp. : EUR 80.20 (freier Pr.), sfr 115.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Lindemann, Christoph: Stochastic modeling using DSPNexpress
/ Christoph Lindemann. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - 74 S. : Ill.; 24 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 233)
ISBN 978-3-486-23105-2 / 3-486-23105-7 kart. : DM 29.00
Literaturangaben
Quelle: DNB
