Your search returned 12 results.

Results
	1.	Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. by Fisher, Marcus S SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 F57 2007. Place hold Add to cart (remove)
	2.	Formal Aspects in Security and Trust [electronic resource] : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider. by Dimitrakos, Theo Martinelli, Fabio Ryan, Peter Y. A Schneider, Steve SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3866 Material type: Computer file; Format: electronic available online 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: QA76.9.A25 F36 2005. Place hold Add to cart (remove)
	3.	Reliability, Life Testing and the Prediction of Service Lives [electronic resource] : For Engineers and Scientists / by Sam C. Saunders. by Saunders, Sam C SpringerLink (Online service) Series: Springer Series in Statistics Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer-Verlag New York, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TA169 S27 2007. Place hold Add to cart (remove)
	4.	Innovation in Manufacturing Networks [electronic resource] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 / edited by Américo Azevedo. by Azevedo, Américo SpringerLink (Online service) Series: IFIP – The International Federation for Information Processing ; 266 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : International Federation for Information Processing, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TH438 I66 2005. Place hold Add to cart (remove)
	5.	Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer. by Yang, Laurence T Jin, Hai Ma, Jianhua Ungerer, Theo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4158 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.A97 Y36 2006. Place hold Add to cart (remove)
	6.	Beginning Ubuntu Linux [electronic resource] / by Keir Thomas, Jaime Sicam. by Thomas, Keir Sicam, Jaime SpringerLink (Online service) Edition: Third Edition. Material type: Computer file; Format: electronic available online Publication details: Berkeley, CA : Apress, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.O63 T45 2007. Place hold Add to cart (remove)
	7.	New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. by Guo, Minyi Yang, Laurence Tianruo SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 .N49 2005. Place hold Add to cart (remove)
	8.	Reliable Distributed Systems [electronic resource] : Technologies, Web Services, and Applications / by Kenneth P. Birman. by Birman, Kenneth P SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 B57 2005. Place hold Add to cart (remove)
	9.	Soft Real-Time Systems [electronic resource] : Predictability vs. Efficiency / by Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo. by Buttazzo, Giorgio Lipari, Giuseppe Abeni, Luca Caccamo, Marco SpringerLink (Online service) Series: Series in Computer Science Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.54 .S56 2005. Place hold Add to cart (remove)
	10.	Distributed and Parallel Systems [electronic resource] : From Cluster to Grid Computing / edited by Péter Kacsuk, Thomas Fahringer, Zsolt Németh. by Kacsuk, Péter Fahringer, Thomas Németh, Zsolt SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 K33 2007. Place hold Add to cart (remove)
	11.	Access Control Systems [electronic resource] : Security, Identity Management and Trust Models / by Messaoud Benantar. by Benantar, Messaoud SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.59 B46 2005. Place hold Add to cart (remove)
	12.	Distributed Embedded Systems: Design, Middleware and Resources [electronic resource] / edited by Bernd Kleinjohann, Wayne Wolf, Lisa Kleinjohann. by Kleinjohann, Bernd Wolf, Wayne Kleinjohann, Lisa SpringerLink (Online service) Series: IFIP – The International Federation for Information Processing ; 271 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 K54 2005. Place hold Add to cart (remove)

Powered by Koha