Results
|
2741.
|
|
|
2742.
|
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.
|
|
2743.
|
|
|
2744.
|
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.
|
|
2745.
|
|
|
2746.
|
|
|
2747.
|
|
|
2748.
|
|
|
2749.
|
|
|
2750.
|
|
|
2751.
|
|
|
2752.
|
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.
|
|
2753.
|
|
|
2754.
|
|
|
2755.
|
|
|
2756.
|
|
|
2757.
|
|
|
2758.
|
|
|
2759.
|
|
|
2760.
|
|