Results
|
3541.
|
|
|
3542.
|
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.
|
|
3543.
|
|
|
3544.
|
|
|
3545.
|
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.
|
|
3546.
|
|
|
3547.
|
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.
|
|
3548.
|
|
|
3549.
|
|
|
3550.
|
|
|
3551.
|
|
|
3552.
|
|
|
3553.
|
|
|
3554.
|
|
|
3555.
|
|
|
3556.
|
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.
|
|
3557.
|
|
|
3558.
|
|
|
3559.
|
|
|
3560.
|
|