Your search returned 2103 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1501.
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Series: Lecture Notes in Computer Science ; 4085
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.D47 M57 2006.

Place hold Add to cart
1502.
Grid Computing in Life Science [electronic resource] : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers / edited by Akihiko Konagaya, Kenji Satou. by Series: Lecture Notes in Computer Science ; 3370
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.C58 K66 2005.

Place hold Add to cart
1503.
Computational Life Sciences II [electronic resource] : Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings / edited by Michael R. Berthold, Robert C. Glen, Ingrid Fischer. by Series: Lecture Notes in Computer Science ; 4216
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 B47 2006.

Place hold Add to cart
1504.
Multiple Classifier Systems [electronic resource] : 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings / edited by Michal Haindl, Josef Kittler, Fabio Roli. by Series: Lecture Notes in Computer Science ; 4472
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.5 H35 2007.

Place hold Add to cart
1505.
1506.
Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings / edited by Luděk Kučera, Antonín Kučera. by Series: Lecture Notes in Computer Science ; 4708
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.M35 K83 2007.

Place hold Add to cart
1507.
1508.
Intelligent Techniques for Web Personalization [electronic resource] : IJCAI 2003 Workshop, ITWP 2003, Acapulco, Mexico, August 11, 2003, Revised Selected Papers / edited by Bamshad Mobasher, Sarabjot Singh Anand. by Series: Lecture Notes in Computer Science ; 3169
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75 M63 2005.

Place hold Add to cart
1509.
Toward Category-Level Object Recognition [electronic resource] / edited by Jean Ponce, Martial Hebert, Cordelia Schmid, Andrew Zisserman. by Series: Lecture Notes in Computer Science ; 4170
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
1510.
1511.
Digital Mammography [electronic resource] : 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006. Proceedings / edited by Susan M. Astley, Michael Brady, Chris Rose, Reyer Zwiggelaar. by Series: Lecture Notes in Computer Science ; 4046
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: RG493.5.R33 A88 2006.

Place hold Add to cart
1512.
1513.
Advances in Knowledge Discovery and Data Mining [electronic resource] : 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007. Proceedings / edited by Zhi-Hua Zhou, Hang Li, Qiang Yang. by Series: Lecture Notes in Computer Science ; 4426
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.D343 Z46 2007.

Place hold Add to cart
1514.
1515.
Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings / edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen. by Series: Lecture Notes in Computer Science ; 3340
Edition: 1a ed.
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: QA267.3 C35 2005.

Place hold Add to cart
1516.
Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007. Proceedings / edited by Jörg M. Haake, Sergio F. Ochoa, Alejandra Cechich. by Series: Lecture Notes in Computer Science ; 4715
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: LB1028.43 H33 2007.

Place hold Add to cart
1517.
Arithmetic of Finite Fields [electronic resource] : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / edited by Joachim Gathen, José Luis Imaña, Çetin Kaya Koç. by Series: Lecture Notes in Computer Science ; 5130
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: QA247.3 G38 2008.

Place hold Add to cart
1518.
1519.
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings / edited by Diego Zamboni. by Series: Lecture Notes in Computer Science ; 5137
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.9.A25 Z36 2008.

Place hold Add to cart
1520.
Efficient Approximation and Online Algorithms [electronic resource] : Recent Progress on Classical Combinatorial Optimization Problems and New Applications / edited by Evripidis Bampis, Klaus Jansen, Claire Kenyon. by Series: Lecture Notes in Computer Science ; 3484
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.A43 B36 2006.

Place hold Add to cart
Pages

Powered by Koha