Your search returned 620 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
61.
62.
Software Engineering and Middleware [electronic resource] : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers / edited by Thomas Gschwind, Cecilia Mascolo. by Series: Lecture Notes in Computer Science ; 3437
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.758 G73 2005.

Place hold Add to cart
63.
64.
Secure Data Management [electronic resource] : Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005. Proceedings / edited by Willem Jonker, Milan Petković. by Series: Lecture Notes in Computer Science ; 3674
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.D314 J66 2005.

Place hold Add to cart
65.
66.
Information Hiding [electronic resource] : 6th International Workshop, IH 2004, Toronto, Canada, May 23-25, 2004, Revised Selected Papers / edited by Jessica Fridrich. by Series: Lecture Notes in Computer Science ; 3200
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 F75 2005 .

Place hold Add to cart
67.
Computational Logic in Multi-Agent Systems [electronic resource] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / edited by João Leite, Paolo Torroni. by Series: Lecture Notes in Computer Science ; 3487
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.L63 L45 2005.

Place hold Add to cart
68.
Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle. by Series: Lecture Notes in Computer Science ; 4966
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.76.T48 B43 2008.

Place hold Add to cart
69.
70.
71.
72.
Electronic Government [electronic resource] : 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Maria A. Wimmer, Jochen Scholl, Åke Grönlund. by Series: Lecture Notes in Computer Science ; 4656
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: JF1525.A8 W56 2007.

Place hold Add to cart
73.
Object-Oriented Technology. ECOOP 2004 Workshop Reader [electronic resource] : ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports / edited by Jacques Malenfant, Bjarte M. Østvold. by Series: Lecture Notes in Computer Science ; 3344
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.O35 M35 2005.

Place hold Add to cart
74.
Security Protocols [electronic resource] : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Series: Lecture Notes in Computer Science ; 4631
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.A25 C75 2007.

Place hold Add to cart
75.
Public Key Cryptography - PKC 2005 [electronic resource] : 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings / edited by Serge Vaudenay. by Series: Lecture Notes in Computer Science ; 3386
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 V38 2005 .

Place hold Add to cart
76.
Adaptive Agents and Multi-Agent Systems II [electronic resource] : Adaptation and Multi-Agent Learning / edited by Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso. by Series: Lecture Notes in Computer Science ; 3394
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.76.I58 K83 2005.

Place hold Add to cart
77.
Information Security and Privacy [electronic resource] : 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings / edited by Josef Pieprzyk, Hossein Ghodosi, Ed Dawson. by Series: Lecture Notes in Computer Science ; 4586
Edition: 1a ed.
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.A25 P54 2007.

Place hold Add to cart
78.
79.
Advanced Topics in Exception Handling Techniques [electronic resource] / edited by Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi. by Series: Lecture Notes in Computer Science ; 4119
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 D66 2006.

Place hold Add to cart
80.
Pages

Powered by Koha