Results
|
|
21.
|
Information Security Applications [electronic resource] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers / edited by Sehun Kim, Moti Yung, Hyung-Woo Lee. by Series: Lecture Notes in Computer Science ; 4867
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 K56 2007.
|
|
|
22.
|
|
|
|
23.
|
Smart Homes and Health Telematics [electronic resource] : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings / edited by Sumi Helal, Simanta Mitra, Johnny Wong, Carl K. Chang, Mounir Mokhtari. by Series: Lecture Notes in Computer Science ; 5120
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.6 H45 2008.
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
GeoSensor Networks [electronic resource] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / edited by Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis. by Series: Lecture Notes in Computer Science ; 4540
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75 N58 2008.
|
|
|
27.
|
Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu. by Series: Lecture Notes in Computer Science ; 3605
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 W8 2005.
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti. by Series: Lecture Notes in Computer Science ; 3965
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B476 2006.
|
|
|
33.
|
|
|
|
34.
|
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
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.
|
|
|
39.
|
|
|
|
40.
|
Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Mieso K. Denko, Chi-sheng Shih, Kuan-Ching Li, Shiao-Li Tsao, Qing-An Zeng, Soo Hyun Park, Young-Bae Ko, Shih-Hao Hung, Jong Hyuk Park. by Series: Lecture Notes in Computer Science ; 4809
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: TK7895.E42 D46 2007.
|