Results
|
|
1.
|
|
|
|
2.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu. by Series: Lecture Notes in Computer Science ; 4280
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.S54 D38 2006.
|
|
|
3.
|
|
|
|
4.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings / edited by Sandeep Kulkarni, André Schiper. by Series: Lecture Notes in Computer Science ; 5340
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S54 K85 2008.
|
|
|
5.
|
|
|
|
6.
|
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.
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings / edited by Uwe Brinkschulte, Tony Givargis, Stefano Russo. by Series: Lecture Notes in Computer Science ; 5287
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: TK7895.E42 B75 2008.
|
|
|
12.
|
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. by Series: Lecture Notes in Computer Science ; 5311
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 C3 2008.
|
|
|
13.
|
Embedded and Ubiquitous Computing – EUC 2005 Workshops [electronic resource] : EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings / edited by Tomoya Enokido, Lu Yan, Bin Xiao, Daeyoung Kim, Yuanshun Dai, Laurence T. Yang. by Series: Lecture Notes in Computer Science ; 3823
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 E56 2005.
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers / edited by Jae Kwang Lee, Okyeon Yi, Moti Yung. by Series: Lecture Notes in Computer Science ; 4298
Edition: 1a ed.
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.A25 L44 2007.
|
|
|
17.
|
|
|
|
18.
|
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.
|
|
|
19.
|
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.
|
|
|
20.
|
|