Refine your search

Your search returned 4532 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2841.
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith. by Series: Lecture Notes in Computer Science ; 5000
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.V47 G78 2008.

Place hold Add to cart
2842.
Euro-Par 2005 Parallel Processing [electronic resource] : 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings / edited by José C. Cunha, Pedro D. Medeiros. by Series: Lecture Notes in Computer Science ; 3648
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: QA76.58 C86 2005.

Place hold Add to cart
2843.
Nanostructures - Fabrication and Analysis [electronic resource] / edited by Hitoshi Nejo. by Series: NanoScience and Technology
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: QC176.8.N35 N45 2007.

Place hold Add to cart
2844.
Sharing Data, Information and Knowledge [electronic resource] : 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings / edited by Alex Gray, Keith Jeffery, Jianhua Shao. by Series: Lecture Notes in Computer Science ; 5071
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.D3 G73 2008.

Place hold Add to cart
2845.
Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings / edited by Vincent P. Wade, Helen Ashman, Barry Smyth. by Series: Lecture Notes in Computer Science ; 4018
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.I59 W33 2006.

Place hold Add to cart
2846.
An Introduction to Language Processing with Perl and Prolog [electronic resource] : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German / by Pierre M. Nugues. by Series: Cognitive Technologies
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.N38 N84 2006 .

Place hold Add to cart
2847.
2848.
Group Coordination and Cooperative Control [electronic resource] / edited by Kristin Y. Pettersen, Jan Tommy Gravdahl, Henk Nijmeijer. by Series: Lecture Notes in Control and Information Science ; 336
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: TJ212.2 P48 2006 .

Place hold Add to cart
2849.
Typed Lambda Calculi and Applications [electronic resource] : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / edited by Paweł Urzyczyn. by Series: Lecture Notes in Computer Science ; 3461
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
2850.
Magnetic Microscopy of Nanostructures [electronic resource] / edited by Herbert Hopster, Hans Peter Oepen. by Series: NanoScience and Technology
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: QH207 H67 2005.

Place hold Add to cart
2851.
Computational Mind: A Complex Dynamics Perspective [electronic resource] / by Vladimir G. Ivancevic, Tijana T. Ivancevic. by Series: Studies in Computational Intelligence ; 60
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: Q342 I93 2007.

Place hold Add to cart
2852.
2853.
Nucleic Acids and Proteins in Soil [electronic resource] / edited by Paolo Nannipieri, Kornelia Smalla. by Series: Soil Biology ; 8
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: QR111 N36 2006.

Place hold Add to cart
2854.
Software Measurement [electronic resource] : Establish — Extract — Evaluate — Execute / by Christof Ebert, Reiner Dumke. by
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.S65 E24 2007.

Place hold Add to cart
2855.
Kolmogorov’s Heritage in Mathematics [electronic resource] / edited by Éric Charpentier, Annick Lesne, Nikolaï K. Nikolski. by
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: QA300 C43 2007.

Place hold Add to cart
2856.
Glycopeptides and Glycoproteins [electronic resource] : Synthesis, Structure, and Application / edited by Valentin Wittmann. by Series: Topics in Current Chemistry ; 267
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: QD1 W58 2007 .

Place hold Add to cart
2857.
2858.
Robotics Research [electronic resource] : Results of the 12th International Symposium ISRR / edited by Sebastian Thrun, Rodney Brooks, Hugh Durrant-Whyte. by Series: Springer Tracts in Advanced Robotics ; 28
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: TJ210.3 T47 2007.

Place hold Add to cart
2859.
Economic Evolution and Equilibrium [electronic resource] : Bridging the Gap / by Marco Lehmann-Waffenschmidt. by Series: Lecture Notes in Economics and Mathematical Systems ; 591
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: HB145 L44 2007.

Place hold Add to cart
2860.
Comparative Genomics [electronic resource] : RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings / edited by Aoife McLysaght, Daniel H. Huson. by Series: Lecture Notes in Computer Science ; 3678
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: QH447 M35 2005.

Place hold Add to cart
Pages

Powered by Koha