Computer safety, reliability, and security
: 23rd international conference ; proceedings / SAFECOMP 2004, Potsdam, Germany, September 21 - 24, 2004. Maritta Heisel ... (ed.). [EWICS TC 7]. - Berlin : Springer, 2004. - XI, 337 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3219)
ISBN 978-3-540-23176-9 / 3-540-23176-5 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
Construction and analysis of safe, secure, and interoperable smart devices
: second international workshop ; revised selected papers / CASSIS 2005, Nice, France, March 8 - 11, 2005. Gilles Barthe ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3956)
ISBN 978-3-540-33691-4
Lizenzpflichtig
Quelle: DNB
Construction and analysis of safe, secure, and interoperable smart devices
: second international workshop ; revised selected papers / CASSIS 2005, Nice, France, March 8 - 11, 2005. Gilles Barthe ... (ed.). - Berlin : Springer, 2006. - VI, 173 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3956)
ISBN 978-3-540-33689-1 / 3-540-33689-3 kart. : EUR 44.94 (freier Pr.), ca. sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
Correct hardware design and verification methods
: 11th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2144)
ISBN 978-3-540-44798-6
Lizenzpflichtig
Quelle: DNB
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 ; Enrico Tronci (ed.). - Berlin : Springer, 2003. - XII, 426 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2860)
ISBN 978-3-540-20363-6 / 3-540-20363-X kart. : EUR 77.04, sfr 119.50
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 ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3725)
ISBN 978-3-540-32030-2
Lizenzpflichtig
Quelle: DNB
