Your search returned 24 results.

Results
	21.	Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. by Graf, Susanne Zhang, Wenhui SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4218 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 G73 2006. Place hold Add to cart (remove)
	22.	Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Paillier, Pascal Verbauwhede, Ingrid SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4727 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 P35 2007. Place hold Add to cart (remove)
	23.	Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred Krüger, Ingolf H Meisinger, Michael SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4922 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TL272.53 B76 2008. Place hold Add to cart (remove)
	24.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. by Barthe, Gilles Burdy, Lilian Huisman, Marieke Lanet, Jean-Louis Muntean, Traian SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3362 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.S62 B37 2005. Place hold Add to cart (remove)

Powered by Koha