hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Hardwareentwurf
62 Treffer
Seite < 1 2 3 4 5 6 7 >
Cover

Formal approaches to software testing

: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2931)

ISBN 978-3-540-24617-6

Lizenzpflichtig

Quelle: DNB

Cover

Formal methods for hardware verification

: advanced lectures / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006. Marco Bernardo ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3965)

ISBN 978-3-540-34305-9

Lizenzpflichtig

Quelle: DNB

Cover

Keller, Jörg: Hardware-Design

: formaler Entwurf digitaler Schaltungen / Jörg Keller ; Wolfgang J. Paul. - 3., durchges. Aufl. - Stuttgart : Teubner, 2005. - 399 S. : graph. Darst.; 24 cm - (Teubner-Texte zur Informatik; Bd. 15)

ISBN 978-3-519-23047-2 / 3-519-23047-X kart. : EUR 49.90

Literaturverz. S. 389 - 391

Quelle: DNB Verlagsmeldungen

Cover

Sharp, Richard: Higher level hardware synthesis

/ Richard Sharp. - Berlin : Springer, 2004. - XVI, 195 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2963)

ISBN 978-3-540-21306-2 / 3-540-21306-6 kart. : EUR 44.94, sfr 76.50

Literaturverz. S. 185 - 192

Quelle: DNB Verlagsmeldungen

Cover

Higher level hardware synthesis

/ Richard Sharp. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2963)

ISBN 978-3-540-24657-2

Lizenzpflichtig

Quelle: DNB

Cover

Information security practice and experience

: 4th international conference ; proceedings / ISPEC 2008, Sydney, Australia, April 21 - 23, 2008. Liqun Chen ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4991)

ISBN 978-3-540-79104-1

Lizenzpflichtig

Quelle: DNB

Cover

Information security practice and experience

: second international conference ; proceedings / ISPEC 2006, Hangzhou, China, April 11 - 14, 2006. Kefei Chen ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3903)

ISBN 978-3-540-33058-5

Lizenzpflichtig

Quelle: DNB

Cover

Information security practice and experience

: second international conference ; proceedings / ISPEC 2006, Hangzhou, China, April 11 - 14, 2006. Kefei Chen ... (ed.). - Berlin : Springer, 2006. - XIV, 392 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3903)

ISBN 978-3-540-33052-3 / 3-540-33052-6 kart. : EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Information security, practice and experience

: third international conference ; proceedings / ISPEC 2007, Hong Kong, China, May 7 - 9, 2007. Ed Dawson ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4464)

ISBN 978-3-540-72163-5

Lizenzpflichtig

Quelle: DNB

Cover

Languages, compilers, and tools for embedded systems

: proceedings / ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000. J. Davidson (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1985)

ISBN 978-3-540-45245-4

Lizenzpflichtig

Quelle: DNB

Seite < 1 2 3 4 5 6 7 >
Projekte . Kooperationen