Results
|
|
1.
|
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.
|
|
|
2.
|
|
|
|
3.
|
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.
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
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.
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
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.
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
Ubiquitous Computing Systems [electronic resource] : 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings / edited by Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn. by Series: Lecture Notes in Computer Science ; 4836
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
18.
|
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.
|
|
|
19.
|
|
|
|
20.
|
|