Practical formal methods for hardware design
/ C. Delgado Kloos ; W. Damm (ed.). - Berlin : Springer, 1997. - XIV, 293 S. : Ill., graph. Darst.; 24 cm - (Research reports ESPRIT : Project 6128, FORMAT; Vol. 1)
ISBN 978-3-540-62007-5 / 3-540-62007-9 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Siegl, Johann: Schaltungstechnik - analog und gemischt analog-digital
: Entwicklungsmethodik, Verstärkertechnik, Funktionsprimitive von Schaltkreisen ; [CD-ROM mit virtuellem Labor und ausführlichen Aufgabenlösungen] / Johann Siegl. - Berlin : Springer, 2004. - XI, 621 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-44230-1 / 3-540-44230-8 kart. : EUR 39.95
Quelle: DNB
Sixth International Workshop on FPGAs for Software Programmers (FSP 2019)
: September 12, 2019, Barcelona, Spain : co-located with International Conference on Field Programmable Logic and Applications (FPL) / Christian Hochberger, Dirk Koch, Markus Weinhardt (editors). - Berlin : VDE VERLAG GMBH, 2019. - 1 CD-ROM; 58 g
ISBN 978-3-8007-5045-0 / 3-8007-5045-7 : EUR 26.00 (DE), EUR 26.00 (AT)
Quelle: DNB
Seda, Steven J.: Symbolic analysis for analog circuit design automation
/ Steven J. Seda. - Konstanz : Hartung-Gorre, 1993. - 150 S.; 21 cm - (Series in microelectronics; Vol. 29)
ISBN 978-3-89191-719-0 / 3-89191-719-8 kart. : DM 88.00
Quelle: DNB
Marwedel, Peter: Synthese und Simulation von VLSI-Systemen
: Algorithmen für den rechnerunterstützten Entwurf hochintegrierter Schaltungen / Peter Marwedel. - München : Hanser, 1993. - X, 196 S. : graph. Darst.; 23 cm - (Hanser-Studienbücher)
ISBN 978-3-446-16146-7 / 3-446-16146-5 kart. : DM 38.00
Literaturverz. S. 179 - 190
Quelle: DNB
Theorem provers in circuit design
: theory, practice and experience ; second international conference, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings / TPCD '94. Ramayya Kumar ; Thomas Kropf (ed.). - Berlin : Springer, 1995. - VIII, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 901)
ISBN 978-3-540-59047-7 / 3-540-59047-1 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Third International Workshop on FPGAs for Software Programmers (FSP 2016)
: August 29, 2016, Lausanne, Switzerland co-located with International Conference on Field Programmable Logic and Applications (FPL) / Christian Hochberger, Andreas Koch, Markus Weinhardt (editors). - Berlin : VDE VERLAG GmbH, 2016. - 1 CD-ROM
ISBN 978-3-8007-4266-0 / 3-8007-4266-7 : EUR 24.00 (DE), EUR 24.30 (AT)
Quelle: DNB
Oehler, Peter: Wissensbasierte Konstruktion gemischt analog, digitaler Systeme
/ Peter Oehler. - Berlin : VDE-Verl., 2000. - 195 S. : graph. Darst.; 21 cm - (Forschungs-Report)
ISBN 978-3-8007-2519-9 / 3-8007-2519-3 kart. : DM 108.00, EUR 55.22, sfr 96.00, S 788.00
Quelle: DNB
Zuverlässigkeit und Entwurf
: 9. ITG/GMM/GI-Fachtagung vom 18.-20. September 2017 in Cottbus / Tagungsleitung: Rolf Kraemer, BTU Cottbus-Senftenberg/IHP Frankfurt (Oder), Heinrich T. Vierhaus, BTU Cottbus-Senftenberg. - Berlin : VDE VERLAG GMBH, 2017. - 1 CD-ROM - (ITG-Fachbericht; 274)
ISBN 978-3-8007-4444-2 / 3-8007-4444-9 : EUR 65.00 (DE), EUR 65.60 (AT)
Quelle: DNB
Zuverlässigkeit und Entwurf
: Beiträge der 8. GMM/ITG/GI-Fachtagung 21. – 23. September 2015 in Siegen = Reliability by design / ZuE 2015 .... - Berlin : VDE-Verl., 2015. - 1 CD-ROM; 12 cm, 56 g - (GMM-Fachbericht; 83)
ISBN 978-3-8007-4071-0 / 3-8007-4071-0 : EUR 70.00 (AT), EUR 68.00 (DE)
Beitr. teilw. dt., teilw. engl. - Titel auf dem Behältnis
Quelle: DNB
