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
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
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
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
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
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
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
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
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
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