Your search returned 3732 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2901.
2902.
2903.
Making Globally Distributed Software Development a Success Story [electronic resource] : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo. by Series: Lecture Notes in Computer Science ; 5007
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.76.D47 W36 2008.

Place hold Add to cart
2904.
Computational Logic in Multi-Agent Systems [electronic resource] : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers / edited by Francesca Toni, Paolo Torroni. by Series: Lecture Notes in Computer Science ; 3900
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.L63 T66 2006.

Place hold Add to cart
2905.
2906.
Graph Theory [electronic resource] / by J. A. Bondy, U. S. R. Murty. by Series: Graduate Texts in Mathematics ; 244
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA166 B66 2008.

Place hold Add to cart
2907.
2908.
The Definitive Guide to SOA [electronic resource] : Oracle® Service Bus / by Jeff Davies, David Schorow, Samrat Ray, David Rieber. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.323.O73 D38 2008.

Place hold Add to cart
2909.
Formal Refinement for Operating System Kernels [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76 O63 C73 2007.

Place hold Add to cart
2910.
2911.
2912.
Critical Infrastructures at Risk [electronic resource] : Securing the European Electric Power System / edited by A.V. Gheorghe, M. Masera, M Weijnen, De L. Vries. by Series: Topics in Safety, Risk, Reliability and Quality ; 9
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK1005 G44 2006.

Place hold Add to cart
2913.
E-Voting and Identity [electronic resource] : First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers / edited by Ammar Alkassar, Melanie Volkamer. by Series: Lecture Notes in Computer Science ; 4896
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: JF1032 A45 2007.

Place hold Add to cart
2914.
Database Programming Languages [electronic resource] : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers / edited by Marcelo Arenas, Michael I. Schwartzbach. by Series: Lecture Notes in Computer Science ; 4797
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.D3 A73 2007 .

Place hold Add to cart
2915.
Self-Organizing Systems [electronic resource] : Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings / edited by David Hutchison, Randy H. Katz. by Series: Lecture Notes in Computer Science ; 4725
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: Q325 H88 2007.

Place hold Add to cart
2916.
Intrusion Detection and Correlation [electronic resource] : Challenges and Solutions / by Christopher Kruegel, Fredrik Valeur, Giovanni Vigna. by Series: Advances in Information Security ; 14
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science + Business Media, Inc. Boston, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.59 K78 2005.

Place hold Add to cart
2917.
Automated Deduction – CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / edited by Robert Nieuwenhuis. by Series: Lecture Notes in Computer Science ; 3632
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.A96 N54 2005.

Place hold Add to cart
2918.
Hardening Linux [electronic resource] / by James Turnbull. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : James Turnbull, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.O63 T87 2005.

Place hold Add to cart
2919.
Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers / edited by Dave Penkler, Manfred Reitenspiess, Francis Tam. by Series: Lecture Notes in Computer Science ; 4328
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.5 P46 2006.

Place hold Add to cart
2920.
Transactions on Computational Systems Biology V [electronic resource] / edited by Corrado Priami, Xiaohua Hu, Yi Pan, Tsau Young Lin. by Series: Lecture Notes in Computer Science ; 4070
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: QH324.2 P75 2006.

Place hold Add to cart
Pages

Powered by Koha