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
Forschungsprojekt Tragwerk-FMEA
: präventive Qualitätssicherung in der computerbasierten Tragwerksplanung durch Fehlermöglichkeits- und Einflussanalyse / Bundesinstitut für Bau-, Stadt- und Raumforschung im Bundesamt für Bauwesen und Raumforschung. Michael Eisfeld .... - Stuttgart : Fraunhofer-IRB-Verl., 2012. - [ca. 347] S. in getr. Zählung : graph. Darst.; 30 cm - (Forschungsinitiative Zukunft Bau; F 2803)
ISBN 978-3-8167-8691-7 / 3-8167-8691-X kart. : EUR 50.00 (DE), EUR 51.40 (AT), sfr 79.00 (freier Pr.)
Hergestellt on demand
Quelle: DNB Verlagsmeldungen
Frontiers in Analog CAD
: (FAC 2017) : July 21-22, 2017, Frankfurt am Main, Germany / editors: Prof. Dr.-Ing. Lars Hedrich, Goethe University of Frankfurt, Dr. Ing. Carna Radojicic, Technical University of Kaiserslautern. - Berlin : VDE VERLAG GMBH, 2017. - 1 CD-ROM
ISBN 978-3-8007-4442-8 / 3-8007-4442-2 : EUR 28.00 (DE), EUR 28.30 (AT)
Quelle: DNB
Eschermann, Bernhard: Funktionaler Entwurf digitaler Schaltungen
: Methoden und CAD-Techniken ; mit 24 Tabellen / Bernhard Eschermann. - Berlin : Springer, 1993. - XI, 285 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-56788-2 / 3-540-56788-7 kart. : DM 54.00
Literaturverz. S. 265 - 279
Quelle: DNB
Heterogeneous objects modelling and applications
: collection of papers on foundations and practice / Alexander Pasko ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4889)
ISBN 978-3-540-68443-5
Lizenzpflichtig
Quelle: DNB
Haasis, Siegmar: Integrierte CAD-Anwendungen
: Rationalisierungspotentiale und zukünftige Einsatzgebiete / Siegmar Haasis. - Berlin : Springer, 1995. - IX, 194 S. : graph. Darst.; 24 cm
ISBN 978-3-540-59145-0 / 3-540-59145-1 kart. : DM 68.00
Literaturverz. S. 175 - 190
Quelle: DNB