Your search returned 1979 results.

Sort
Results
261.
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.

262.
263.
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.

264.
Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers / edited by Henri Gilbert, Helena Handschuh. by Series: Lecture Notes in Computer Science ; 3557
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 G55 2005.

265.
266.
Data Mining [electronic resource] : Theory, Methodology, Techniques, and Applications / edited by Graham J. Williams, Simeon J. Simoff. by Series: Lecture Notes in Computer Science ; 3755
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: QA76.9.D343 W55 2006.

267.
268.
Algorithms and Computation [electronic resource] : 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings / edited by Takeshi Tokuyama. by Series: Lecture Notes in Computer Science ; 4835
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.9.A43 T65 2007.

269.
270.
Security and Cryptography for Networks [electronic resource] : 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings / edited by Rafail Ostrovsky, Roberto Prisco, Ivan Visconti. by Series: Lecture Notes in Computer Science ; 5229
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: TK5105.59 O88 2008.

271.
Approximation and Online Algorithms [electronic resource] : 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers / edited by Thomas Erlebach, Christos Kaklamanis. by Series: Lecture Notes in Computer Science ; 4368
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.9.A43 E75 2007.

272.
Artificial Immune Systems [electronic resource] : 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings / edited by Leandro Nunes Castro, Fernando José Zuben, Helder Knidel. by Series: Lecture Notes in Computer Science ; 4628
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.875 C37 2007.

273.
Model Driven Architecture – Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings / edited by Arend Rensink, Jos Warmer. by Series: Lecture Notes in Computer Science ; 4066
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: QA76.76.D47 R46 2006 .

274.
Argumentation in Multi-Agent Systems [electronic resource] : Third International Workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006 Revised Selected and Invited Papers / edited by Nicolas Maudet, Simon Parsons, Iyad Rahwan. by Series: Lecture Notes in Computer Science ; 4766
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.I58 M38 2007.

275.
Advances in Computation and Intelligence [electronic resource] : Second International Symposium, ISICA 2007 Wuhan, China, September 21-23, 2007 Proceedings / edited by Lishan Kang, Yong Liu, Sanyou Zeng. by Series: Lecture Notes in Computer Science ; 4683
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: Q335 K36 2007.

276.
277.
Formal Concept Analysis [electronic resource] : Foundations and Applications / edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille. by Series: Lecture Notes in Computer Science ; 3626
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: QA171.5 G368 2005.

278.
279.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Series: Lecture Notes in Computer Science ; 4202 | Lecture Notes in Computer Science ; 4202
Edition: 1a ed.
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: QA76.9.C65 A83 2006.

280.
Pages

Powered by Koha