Your search returned 607 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
461.
Shared Memory Parallel Programming with Open MP [electronic resource] : 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers / edited by Barbara M. Chapman. by Series: Lecture Notes in Computer Science ; 3349
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.642 C43 2005.

Place hold Add to cart
462.
Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö. by Series: Lecture Notes in Computer Science ; 3547
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 B66 2005.

Place hold Add to cart
463.
464.
Cooperative Bug Isolation [electronic resource] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition / by Ben Liblit. by Series: Lecture Notes in Computer Science ; 4440
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.6 L53 2007.

Place hold Add to cart
465.
466.
467.
468.
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
469.
470.
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
471.
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
472.
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
473.
474.
Computational Science and Its Applications – ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Series: Lecture Notes in Computer Science ; 4706
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: QA75.5 G47 2007.

Place hold Add to cart
475.
Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Series: Lecture Notes in Computer Science ; 3403
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 G36 2005.

Place hold Add to cart
476.
Early Aspects: Current Challenges and Future Directions [electronic resource] : 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers / edited by Ana Moreira, John Grundy. by Series: Lecture Notes in Computer Science ; 4765
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.64 M67 2007.

Place hold Add to cart
477.
Middleware 2005 [electronic resource] : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings / edited by Gustavo Alonso. by Series: Lecture Notes in Computer Science ; 3790
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.M54 A46 2005.

Place hold Add to cart
478.
479.
480.
Architecting Dependable Systems V [electronic resource] / edited by Rogério Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira. by Series: Lecture Notes in Computer Science ; 5135
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.A73 L46 2008.

Place hold Add to cart
Pages

Powered by Koha