Refine your search

Your search returned 4532 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
3241.
3242.
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
3243.
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
3244.
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
3245.
Contrast Agents III [electronic resource] : Radiopharmaceuticals – From Diagnostics to Therapeutics / edited by W. Krause. by Series: Topics in Current Chemistry ; 252
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: RC78.7.C65 K73 2005.

Place hold Add to cart
3246.
Perspectives of Neural-Symbolic Integration [electronic resource] / edited by Barbara Hammer, Pascal Hitzler. by Series: Studies in Computational Intelligence ; 77
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.87 H36 2007.

Place hold Add to cart
3247.
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
3248.
Applied Fuzzy Arithmetic [electronic resource] : An Introduction with Engineering Applications / by Michael Hanss. 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: QA248.5 H36 2005.

Place hold Add to cart
3249.
Nonlinear Analysis and Synthesis Techniques for Aircraft Control [electronic resource] / edited by Declan Bates, Martin Hagström. by Series: Lecture Notes in Control and Information Sciences ; 365
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: TL589.4 B38 2007.

Place hold Add to cart
3250.
3251.
Mastering Your PhD [electronic resource] : Survival and Success in the Doctoral Years and Beyond / by Patricia Gosling, Bart Noordam. by
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: LB2386 G67 2006.

Place hold Add to cart
3252.
Data Analysis Using the Method of Least Squares [electronic resource] : Extracting the Most Information from Experiments / by John Wolberg. by
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: QA275 W65 2006.

Place hold Add to cart
3253.
Modelling Community Structure in Freshwater Ecosystems [electronic resource] / edited by Sovan Lek, Michele Scardi, Piet F.M. Verdonschot, Jean-Pierre Descy, Young-Seuk Park. 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: QH541.5.F7 L45 2005.

Place hold Add to cart
3254.
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
3255.
3256.
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
3257.
3258.
3259.
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
3260.
Pages

Powered by Koha