Englisch, Joachim: Ergonomie von Softwareprodukten
: methodische Entwicklung von Evaluationsverfahren / von Joachim Englisch. - Mannheim : BI-Wiss.-Verl., 1993. - 227 S. : graph. Darst.; 22 cm - (Angewandte Informatik; Bd. 5)
ISBN 978-3-411-16061-7 / 3-411-16061-6 Pp. : DM 68.00
Literaturverz. S. 177 - 199
Quelle: DNB
Becker, Klaus-Dieter: Expertensysteme steuern die CAD-CAM-Anwendung
: Synergieeffekte durch Software-Kopplung / Klaus-Dieter Becker. Hrsg. von Uwe W. Geitner. - Braunschweig : Vieweg, 1992. - [8], 114 S. : graph. Darst.; 23 cm - (Fortschritte der CIM-Technik; 2)
ISBN 978-3-528-06446-4 / 3-528-06446-3 kart. : DM 62.00
Literaturverz. S. 109 - 111
Quelle: DNB
Wolfram, Markus: Feature-basiertes Konstruieren und Kalkulieren
/ Markus Wolfram. - München : Hanser, 1994. - XI, 173 S. : graph. Darst.; 23 cm - (Konstruktionstechnik München; Bd. 19)
ISBN 978-3-446-18005-5 / 3-446-18005-2 kart. : DM 54.00
Quelle: DNB
Jormakka, Kari: Flying Dutchmen
: motion in architecture / Kari Jormakka. - Basel : Birkhäuser, 2002. - 9306 S. : zahlr. Ill.; 19 cm - (The IT revolution in architecture)
ISBN 978-3-7643-6639-1 / 3-7643-6639-7 kart. : EUR 11.50, sfr 16.80
Quelle: DNB
Formal methods in computer aided design
: 5th international conference ; proceedings / FMCAD 2004, Austin, Texas, USA, November 15 - 17, 2004. Alan J. Hu ; Andrew K. Martin (ed.). - Berlin : Springer, 2004. - XI, 444 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3312)
ISBN 978-3-540-23738-9 / 3-540-23738-0 kart. : ca. EUR 64.20 (freier Pr.), ca. sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000. Warren A. Hunt, jr. ; Steven D. Johnson (ed.). - Berlin : Springer, 2000. - XI, 537 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1954)
ISBN 978-3-540-41219-9 / 3-540-41219-0 kart. : DM 114.00
Literaturangaben
Quelle: DNB
Formal methods in computer aided design
: second international conference ; proceedings / FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998. Ganesh Gopalakrishnan ; Phillip Windley (ed.). - Berlin : Springer, 1998. - IX, 528 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1522)
ISBN 978-3-540-65191-8 / 3-540-65191-8 kart. : DM 106.00
Literaturangaben
Quelle: DNB
Formal methods in computer aided design
: 4th international conference ; proceedings / FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002. M. D. Aagaard ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2517)
ISBN 978-3-540-36126-8
Lizenzpflichtig
Quelle: DNB
Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 2000. Warren A. Hunt ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1954)
ISBN 978-3-540-40922-9
Lizenzpflichtig
Quelle: DNB
Formal methods in computer aided design
: second international conference ; proceedings / FMCAD '98, Palo Alto, CA, USA, November 1998. Ganesh Gopalakrishnan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1522)
ISBN 978-3-540-49519-2
Lizenzpflichtig
Quelle: DNB
