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
Computer safety, reliability, and security
: 24th international conference ; proceedings / SAFECOMP 2005, Fredrikstad, Norway, September 28 - 30, 2005. Rune Winther ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3688)
ISBN 978-3-540-32000-5
Lizenzpflichtig
Quelle: DNB
Embedded security in cars
: securing current and future automotive IT applications ; with 25 tables / Kerstin Lemke ... (eds.). - Berlin : Springer, 2006. - X, 273 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-28384-3 / 3-540-28384-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 88.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Engineering psychology and cognitive ergonomics
: 7th international conference ; proceedings / EPCE 2007, held as part of HCI International 2007, Beijing, China, July 22 - 27, 2007. Don Harris (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4562 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73331-7
Lizenzpflichtig
Quelle: DNB
Engineering psychology and cognitive ergonomics
: 7th international conference ; proceedings / EPCE 2007, held as part of HCI International 2007, Beijing, China, July 22 - 27, 2007. Don Harris (ed.). - Berlin : Springer, 2007. - XXIII, 879 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4562 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73330-0 / 3-540-73330-2 kart. : EUR 99.51 (freier Pr.), ca. sfr 152.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods applications and technology
: 11th international workshop and 5th international workshop ; revised selected papers / FMICS 2006, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4346)
ISBN 978-3-540-70951-0 / 3-540-70951-7 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods: applications and technology
: revised selected papers / 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26 - 27, and August 31, 2006. Luboš Brim ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4346)
ISBN 978-3-540-70952-7
Lizenzpflichtig
Quelle: DNB
