TenHagen, Klaus: Abstrakte Modellierung digitaler Schaltungen
: VHDL vom funktionalen Modell bis zur Gatterebene ; mit 52 Tabellen / Klaus ten Hagen. - Berlin : Springer, 1995. - XXIV, 619 S. : graph. Darst.; 25 cm
ISBN 978-3-540-59143-6 / 3-540-59143-5 Pp. : DM 128.00
Literaturverz. S. 603 - 608
Quelle: DNB
Hoppe, Bernhard: ASIC-Design
: Realisierung von VLSI-Systemen mit Mentor V8 / Bernhard Hoppe. - Berlin : Springer, 1999. - XIV, 522 S. : graph. Darst.; 24 cm
ISBN 978-3-540-61664-1 / 3-540-61664-0 kart. : DM 179.00, sfr 162.00, S 1307.00
Literaturangaben
Quelle: DNB
Automated technology for verification and analysis
: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)
ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Bredenfeld, Ansgar: Automatisierte Integration von Entwurfswerkzeugen für integrierte Schaltungen
/ Ansgar Bredenfeld. - München : Oldenbourg, 1996. - 135 S. : graph. Darst.; 24 cm - (GMD-Bericht; Nr. 273)
ISBN 978-3-486-24087-0 / 3-486-24087-0 kart. : DM 42.00, sfr 37.00, S 307.00
Quelle: DNB
Negoita, Mircea Gh.: Bio-inspired technologies for the hardware of adaptive systems
: real world implementations and applications / Mircea Gh.Negoita ; Sorin Hintea. - Berlin : Springer, 2009. - Online-Ressource - (Studies in computational intelligence; Vol. 179)
ISBN 978-3-540-76995-8
Lizenzpflichtig
Quelle: DNB
Spiro, Hans: CAD der Mikroelektronik
: Simulation, Layout und Testdatenerstellung ; mit 52 Tabellen / von Hans Spiro. - 1. Aufl. - München : Oldenbourg, 1997. - X, 411 S. : Ill., graph. Darst.
ISBN 978-3-486-24114-3 / 3-486-24114-1 kart. : DM 78.00
Literaturverz. S. 392 - 396
Quelle: DNB
Concurrency and hardware design
: advances in Petri nets / J. Cortadella ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2549)
ISBN 978-3-540-36190-9
Lizenzpflichtig
Quelle: DNB
Concurrency and hardware design
: advances in Petri nets / Jordi Cortadella ... (ed.). - Berlin : Springer, 2002. - IX, 343 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2549)
ISBN 978-3-540-00199-7 / 3-540-00199-9 kart. : EUR 52.43
Literaturangaben
Quelle: DNB
Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ; Wolfgang Paul (ed.). - Berlin : Springer, 2005. - XII, 412 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3725)
ISBN 978-3-540-29105-3 / 3-540-29105-9 kart. : EUR 83.46 (freier Pr.), sfr 132.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2860)
ISBN 978-3-540-39724-3
Lizenzpflichtig
Quelle: DNB