Your search returned 711 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
541.
Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings / edited by Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael Georgeff. by Series: Lecture Notes in Computer Science ; 4687
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.76.I58 P48 2007.

Place hold Add to cart
542.
Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / edited by Raoul Medina, Sergei Obiedkov. by Series: Lecture Notes in Computer Science ; 4933
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: QA171.5 M43 2008.

Place hold Add to cart
543.
Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings / edited by Miroslaw Malek, Manfred Reitenspieß, Aad Moorsel. by Series: Lecture Notes in Computer Science ; 4526
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: TK5105.5 M35 2007.

Place hold Add to cart
544.
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Series: Lecture Notes in Computer Science ; 3707
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 P45 2005.

Place hold Add to cart
545.
546.
Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings / edited by Zhong-Zhi Shi, Ramakoti Sadananda. by Series: Lecture Notes in Computer Science ; 4088
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.I58 S55 2006.

Place hold Add to cart
547.
548.
549.
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
550.
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
551.
552.
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
553.
554.
555.
Self-Organizing Systems [electronic resource] : Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings / edited by Karin Anna Hummel, James P. G. Sterbenz. by Series: Lecture Notes in Computer Science ; 5343
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q325 H86 2008.

Place hold Add to cart
556.
557.
Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management [electronic resource] / edited by Andreas Fink, Franz Rothlauf. by Series: Studies in Computational Intelligence ; 144
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: Q342 F56 2008.

Place hold Add to cart
558.
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
559.
560.
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
Pages

Powered by Koha