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
Hardwaremodellierung
: Einführung in Simulation und Synthese von Hardware ; mit Tabellen und einer CD-ROM / hrsg. von Christian Siemers. Unter Mitarb. von Jörg Kaleita .... - München : Hanser, 2001. - 311 S. : Ill., graph. Darst.; 23 cm
ISBN 978-3-446-21361-6 / 3-446-21361-9 kart. : DM 69.80, EUR 35.69
Literatur- und URL-Angaben
Quelle: DNB
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
