Your search returned 648 results.

Sort
Results
121.
RoboCup 2006: Robot Soccer World Cup X [electronic resource] / edited by Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi. by Series: Lecture Notes in Computer Science ; 4434
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ210.3 L35 2007.

122.
123.
124.
125.
126.
Cryptology and Network Security [electronic resource] : 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings / edited by Yvo G. Desmedt, Huaxiong Wang, Yi Mu, Yongqing Li. by Series: Lecture Notes in Computer Science ; 3810
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 D47 2005.

127.
Advances in Cryptology - EUROCRYPT 2006 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings / edited by Serge Vaudenay. by Series: Lecture Notes in Computer Science ; 4004
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 V38 2006.

128.
129.
Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 3675
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345 L86 2005.

130.
131.
Information Security and Cryptology [electronic resource] : Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / edited by Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu. by Series: Lecture Notes in Computer Science ; 4990
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 P45 2008.

132.
Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / edited by Markus Lumpe, Wim Vanderperren. by Series: Lecture Notes in Computer Science ; 4829
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C66 L86 2007.

133.
Privacy Enhancing Technologies [electronic resource] : 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings / edited by Nikita Borisov, Ian Goldberg. by Series: Lecture Notes in Computer Science ; 5134
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 B67 2008.

134.
Agents and Peer-to-Peer Computing [electronic resource] : Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers / edited by Gianluca Moro, Sonia Bergamaschi, Karl Aberer. by Series: Lecture Notes in Computer Science ; 3601
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.525 M676 2005.

135.
136.
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 Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S54 K85 2008.

137.
138.
139.
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 4184
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88813 B73 2006.

140.
Pages

Powered by Koha