Results
|
3581.
|
|
|
3582.
|
Trust, Privacy and Security in Digital Business [electronic resource] : 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Costas Lambrinoudakis, Günther Pernul, A Min Tjoa. by Series: Lecture Notes in Computer Science ; 4657
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
3583.
|
|
|
3584.
|
|
|
3585.
|
UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings / edited by John Krumm, Gregory D. Abowd, Aruna Seneviratne, Thomas Strang. by Series: Lecture Notes in Computer Science ; 4717
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
3586.
|
|
|
3587.
|
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff. by Series: Lecture Notes in Computer Science ; 4262
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 H38 2006.
|
|
3588.
|
|
|
3589.
|
|
|
3590.
|
|
|
3591.
|
|
|
3592.
|
|
|
3593.
|
|
|
3594.
|
|
|
3595.
|
|
|
3596.
|
Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston. by Series: Lecture Notes in Computer Science ; 4486
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B4763 2007.
|
|
3597.
|
|
|
3598.
|
|
|
3599.
|
|
|
3600.
|
|