Skip to contents Barthe, Gilles [Editor]; Grégoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other] ; CASSIS 2 2005 Nizza Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8 - 11, 2005 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3956 Barthe, Gilles [Editor] ; CASSIS 2004 Marseille Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3362 Barthe, Gilles [Other]; Gregoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Luis [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3956 Barthe, Gilles [Other]; Burdy, Lilian [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other]; Muntean, Traian [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3362
Barthe, Gilles [Editor]; Grégoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other] ; CASSIS 2 2005 Nizza Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8 - 11, 2005 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3956
Barthe, Gilles [Editor] ; CASSIS 2004 Marseille Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3362
Barthe, Gilles [Other]; Gregoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Luis [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3956
Barthe, Gilles [Other]; Burdy, Lilian [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other]; Muntean, Traian [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3362
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (4) Wert ausschließen General (2) Wert ausschließen Mathmatics (2) Wert ausschließen Musicology (2) Wert ausschließen Technology (2) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Barthe, Gilles (4) Wert ausschließen Huisman, Marieke (3) Wert ausschließen Lanet, Jean-Louis (2) Wert ausschließen Burdy, Lilian (1) Wert ausschließen CASSIS 2 2005 Nizza (1) Wert ausschließen CASSIS 2004 Marseille (1) Wert ausschließen Gregoire, Benjamin (1) Wert ausschließen Grégoire, Benjamin (1) Wert ausschließen Lanet, Jean-Luis (1) Wert ausschließen Muntean, Traian (1) Wert ausschließen Show more show less