Tools

LEADER 01821cam a2200421M 4500

001 ocm68961985;

003 OCoLC;

005 20141211190839.0;

008 060510s2006 gw a b 101 0 eng d;

020 a| 3540336893;

035 a| (Sirsi) o68961985;

035 a| (OCoLC)68961985;

040 a| ERLc| ERLd| C$Qd| UtOrBLW;

049 a| EREE;

050 14 a| TK7895.S62 C377 2005;

111 2 a| CASSIS 2005d| (2005 :c| Nice, France)?| UNAUTHORIZED;

245 10 a| Construction and analysis of safe, secure, and interoperable smart devices :b| second international Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /c| Gilles Barthe [and others], (eds.).;

246 30 a| CASSIS 2005;

300 a| vi, 173 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3956,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Computer storage devicesv| Congresses.=| ^A1236873;

650 0 a| Computer securityv| Congresses.=| ^A256317;

700 1 a| Barthe, Gilles,d| 1967-=| ^A535154;

710 2 a| Institut national de recherche en informatique et en automatique (France)=| ^A183071;

830 0 a| Lecture notes in computer sciencev| 3956.=| ^A466336;

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3956z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

980 a| 2006-06-14b| 58d| 0e| 55.1f| 904818;

596 a| 1;

998 a| 1043232;

999 a| TK7895.S62 C377 2005w| LCc| 1i| 30372013608630d| 4/4/2013f| 4/4/2013g| 2l| JGESm| JOYNERp| $55.10r| Ys| Yt| JGESBKu| 6/20/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Construction and analysis of safe, secure, and interoperable smart devices : second international Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers / Gilles Barthe [and others], (eds.).

Author/creator	CASSIS 2005
Other author	Barthe, Gilles, 1967-
Other author	Institut national de recherche en informatique et en automatique (France)
Format	Book
Publication Info	Berlin : Springer, ©2005.
Description	vi, 173 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Computer storage devices--Congresses. Computer security--Congresses.

Portion of title	CASSIS 2005
Series	Lecture notes in computer science ; 3956, 0302-9743 ; Lecture notes in computer science 3956. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
ISBN	3540336893

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK7895.S62 C377 2005	✔ Available	Place Hold

Construction and analysis of safe, secure, and interoperable smart devices : second international Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers / Gilles Barthe [and others], (eds.).

Click here for more information about this title

Availability