Your search returned 544 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
421.
Practice and Theory of Automated Timetabling V [electronic resource] : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers / edited by Edmund Burke, Michael Trick. by Series: Lecture Notes in Computer Science ; 3616
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: Q340 B87 2005.

Place hold Add to cart
422.
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
423.
Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Series: Texts in Theoretical Computer Science. An EATCS Series
Edition: 1a ed.
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: QA267.7 F58 2006.

Place hold Add to cart
424.
425.
Advances in Neural Networks – ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I / edited by Jun Wang, Xiaofeng Liao, Zhang Yi. by Series: Lecture Notes in Computer Science ; 3496
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.87 W364 2005.

Place hold Add to cart
426.
Structural Information and Communication Complexity [electronic resource] : 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings / edited by Andrzej Pelc, Michel Raynal. by Series: Lecture Notes in Computer Science ; 3499
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.D5 P45 2005.

Place hold Add to cart
427.
428.
429.
Evolutionary Multiobjective Optimization [electronic resource] : Theoretical Advances and Applications / edited by Ajith Abraham, Lakhmi Jain, Robert Goldberg. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T57 E95 2004.

Place hold Add to cart
430.
Information and Communications Security [electronic resource] : 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007. Proceedings / edited by Sihan Qing, Hideki Imai, Guilin Wang. by Series: Lecture Notes in Computer Science ; 4861
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 Q56 2007.

Place hold Add to cart
431.
Computational Geometry [electronic resource] : Algorithms and Applications / by Mark Berg, Otfried Cheong, Marc Kreveld, Mark Overmars. by
Edition: Third Edition.
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: QA448.D38 B47 2008.

Place hold Add to cart
432.
Algorithm Theory – SWAT 2008 [electronic resource] : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / edited by Joachim Gudmundsson. by Series: Lecture Notes in Computer Science ; 5124
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: QA9.58 G83 2008.

Place hold Add to cart
433.
434.
Algorithms and Data Structures [electronic resource] : 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh. by Series: Lecture Notes in Computer Science ; 4619
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.D35 D44 2007.

Place hold Add to cart
435.
436.
Public Key Infrastructure [electronic resource] : 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007. Proceedings / edited by Javier Lopez, Pierangela Samarati, Josep L. Ferrer. by Series: Lecture Notes in Computer Science ; 4582
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 L67 2007 .

Place hold Add to cart
437.
STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil. by Series: Lecture Notes in Computer Science ; 4393
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 T46 2007.

Place hold Add to cart
438.
439.
Combinatorial and Algorithmic Aspects of Networking [electronic resource] : 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers / edited by Jeannette Janssen, Paweł Prałat. by Series: Lecture Notes in Computer Science ; 4852
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 J36 2007.

Place hold Add to cart
440.
Sustainable Internet [electronic resource] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings / edited by Serge Fdida, Kazunori Sugiura. by Series: Lecture Notes in Computer Science ; 4866
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 F35 2007.

Place hold Add to cart
Pages

Powered by Koha