Tekijä: Walter Benjamin; Davide Guirato; Peter Fenves; Thomas Schestag; Philippe Lacoue-Labarthe Kustantaja: Engeler Urs Editor (2009) Saatavuus: Selvityksessä
Tekijä: Barton; Benjamin Smith; Salvin; Osbert; Willughby Society Kustantaja: Kniga po trebovaniyu Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: Benjamin Mckenzie; Mischa Barton; Rachel Bilson; Tate Donovan; Adam Brody Julkaisija: WARNER HOME VIDEO FINLAND (2008) Saatavuus: Loppuunmyyty.
Springer Sivumäärä: 173 sivua Asu: Pehmeäkantinen kirja Painos: 2006 Julkaisuvuosi: 2006, 18.04.2006 (lisätietoa) Kieli: Englanti
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.