Chryptographic hardware and embedded systems
: 4th international workshop ; revised papers / CHES 2002, Redwood Shores, CA, USA, August 13 - 15, 2002. Burton S. Kaliski ... (ed.). - Berlin : Springer, 2003. - XIV, 612 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2523)
ISBN 978-3-540-00409-7 / 3-540-00409-2 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Component based software development for embedded systems
: an overview of current research trends / Colin Atkinson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3778)
ISBN 978-3-540-31614-5
Lizenzpflichtig
Quelle: DNB
Composition of embedded systems
: scientific and industrial issues ; revised selected papers / 13th Monterey Workshop 2006, Paris, France, October 16 - 18, 2006. Fabrice Kordon ; Oleg Sokolsky (ed.). - Berlin : Springer, 2007. - XII, 219 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4888)
ISBN 978-3-540-77418-1 / 3-540-77418-1 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer safety, reliability, and security
: 25th international conference ; proceedings / SAFECOMP 2006, Gdansk, Poland, September 27 - 29, 2006. Janusz Górski (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4166)
ISBN 978-3-540-45763-3
Lizenzpflichtig
Quelle: DNB
Computer safety, reliability, and security
: 25th international conference ; proceedings / SAFECOMP 2006, Gdansk, Poland, September 27 - 29, 2006. Janusz Górski (ed.). - Berlin : Springer, 2006. - XIV, 440 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4166)
ISBN 978-3-540-45762-6 / 3-540-45762-3 kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer safety, reliability, and security
: 27th international conference ; proceedings / SAFECOMP 2008, Newcastle-upon-Tyne, UK, September 22 - 25, 2008. Michael D. Harrison ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5219)
ISBN 978-3-540-87698-4
Lizenzpflichtig
Quelle: DNB
Computer safety, reliability, and security
: 26th international conference ; proceedings / SAFECOMP 2007, Nuremberg, Germany, September 18 - 21, 2007. Francesca Saglietti ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4680)
ISBN 978-3-540-75101-4
Lizenzpflichtig
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
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
