Your search returned 369 results.

Sort
Results
221.
Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings / edited by Sébastien Tixeuil, Ted Herman. by Series: Lecture Notes in Computer Science ; 3764
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.S54 T59 2005.

222.
ECOOP 2006 – Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings / edited by Dave Thomas. by Series: Lecture Notes in Computer Science ; 4067
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.64 T46 2006.

223.
SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed. by Series: Lecture Notes in Computer Science ; 3530
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.73.S35 P75 2005.

224.
225.
Model Driven Architecture – Foundations and Applications [electronic resource] : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings / edited by Alan Hartman, David Kreische. by Series: Lecture Notes in Computer Science ; 3748
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.D47 H37 2005 .

226.
Data and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings / edited by Ernesto Damiani, Peng Liu. by Series: Lecture Notes in Computer Science ; 4127
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.D314 D36 2006.

227.
228.
229.
230.
231.
SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed. by Series: Lecture Notes in Computer Science ; 4745
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.73.S35 G38 2007.

232.
Advances in Cryptology – EUROCRYPT 2005 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings / edited by Ronald Cramer. by Series: Lecture Notes in Computer Science ; 3494
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 C73 2005.

233.
234.
Emerging Trends in Information and Communication Security [electronic resource] : International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings / edited by Günter Müller. by Series: Lecture Notes in Computer Science ; 3995
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 M85 2006.

235.
Business Process Management [electronic resource] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth. by Series: Lecture Notes in Computer Science ; 4102
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: HF5548.2 D87 2006.

236.
Enterprise Interoperability II [electronic resource] : New Challenges and Approaches / edited by Ricardo J. Gonçalves, Jörg P. Müller, Kai Mertins, Martin Zelm. 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: HD30.2122 G66 2007.

237.
Best Practices in Software Measurement [electronic resource] : How to use metrics to improve project and process performance / by Christof Ebert, Manfred Bundschuh, Reiner Dumke, Andreas Schmietendorf. by
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.S65 E24 2005.

238.
Security in Communication Networks [electronic resource] : 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers / edited by Carlo Blundo, Stelvio Cimato. by Series: Lecture Notes in Computer Science ; 3352
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.59 B58 2005.

239.
Software Measurement [electronic resource] : Establish — Extract — Evaluate — Execute / by Christof Ebert, Reiner Dumke. by
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.S65 E24 2007.

240.
Pages

Powered by Koha