Your search returned 26 results.

Results
	21.	Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings / edited by Zhong Shao. by Shao, Zhong SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4807 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: QA76.7 S53 2007. 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.	Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S Bonsangue, Marcello M Graf, Susanne Roever, Willem-Paul SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5382 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B64 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)
	25.	Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi. by Nicola, Rocco Sangiorgi, Davide SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3705 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings / edited by G. Ramalingam. by Ramalingam, G SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5356 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 R36 2008. Place hold Add to cart (remove)

Powered by Koha