Your search returned 8 results.

Results
	1.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet. by Barthe, Gilles Grégoire, Benjamin Huisman, Marieke Lanet, Jean-Louis SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3956 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.S62 B37 2006. Place hold Add to cart (remove)
	2.	Reliable Software Technologies – Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings / edited by Luís Miguel Pinho, Michael González Harbour. by Pinho, Luís Miguel González Harbour, Michael SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4006 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.76.R44 P56 2006 . Place hold Add to cart (remove)
	3.	Reliable Software Technologies – Ada Europe 2007 [electronic resource] : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings / edited by Nabil Abdennahder, Fabrice Kordon. by Abdennahder, Nabil Kordon, Fabrice SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4498 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.76.R44 A23 2007. Place hold Add to cart (remove)
	4.	Practical .NET for Financial Markets [electronic resource] / by Yogesh Shetty, Samir Jayaswal. by Shetty, Yogesh Jayaswal, Samir SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Berkeley, CA : Yogesh Shetty and Samir Jayaswal, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: HG4515.95 S54 2006. Place hold Add to cart (remove)
	5.	Reliable Software Technologies – Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / edited by Fabrice Kordon, Tullio Vardanega. by Kordon, Fabrice Vardanega, Tullio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5026 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: QA76.76.R44 K67 2008. Place hold Add to cart (remove)
	6.	Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings. by Vardanega, Tullio Wellings, Andy SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3555 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: QA76.76.R44 V37 2005. Place hold Add to cart (remove)
	7.	Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch. by Unland, Rainer Calisti, Monique Klusch, Matthias SpringerLink (Online service) Series: Whitestein Series in Software Agent Technologies Material type: Computer file; Format: electronic Publication details: Basel : Birkhäuser Verlag, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 U55 2005. Place hold Add to cart (remove)
	8.	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