Your search returned 2103 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
441.
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.

Place hold Add to cart
442.
443.
444.
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.

Place hold Add to cart
445.
446.
List Decoding of Error-Correcting Codes [electronic resource] : Winning Thesis of the 2002 ACM Doctoral Dissertation Competition / by Venkatesan Guruswami. by Series: Lecture Notes in Computer Science ; 3282
Edition: 1a ed.
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: QA268 G87 2005.

Place hold Add to cart
447.
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.

Place hold Add to cart
448.
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.

Place hold Add to cart
449.
450.
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.

Place hold Add to cart
451.
452.
Comparative Genomics [electronic resource] : RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers / edited by Jens Lagergren. by Series: Lecture Notes in Computer Science ; 3388
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: QH447 L34 2005.

Place hold Add to cart
453.
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 .

Place hold Add to cart
454.
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.

Place hold Add to cart
455.
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.

Place hold Add to cart
456.
Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings / edited by Jürgen Schönwälder, Joan Serrat. by Series: Lecture Notes in Computer Science ; 3775
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.D5 S36 2005.

Place hold Add to cart
457.
Computer-Human Interaction [electronic resource] : 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings / edited by Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin. by Series: Lecture Notes in Computer Science ; 5068
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.H85 L44 2008.

Place hold Add to cart
458.
459.
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.

Place hold Add to cart
460.
Knowledge Discovery in Inductive Databases [electronic resource] : Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers / edited by Bart Goethals, Arno Siebes. by Series: Lecture Notes in Computer Science ; 3377
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.D3 G64 2005.

Place hold Add to cart
Pages

Powered by Koha