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
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
Control and scheduling codesign
: flexible resource management in real-time control systems / Feng Xia .... - Hangzhou : Zhejiang Univ. Press, 2008. - Online-Ressource - (Advanced topics in science and technology in China)
ISBN 978-3-540-78255-1
Lizenzpflichtig
Quelle: DNB
Correct system design
: recent insights and advances / E.-R. Olderog ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1710)
ISBN 978-3-540-48092-1
Lizenzpflichtig
Quelle: DNB