Refine your search

Your search returned 4532 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1121.
1122.
1123.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
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 H88 2005.

Place hold Add to cart
1124.
1125.
Emergent Intelligence of Networked Agents [electronic resource] / edited by Akira Namatame, Satoshi Kurihara, Hideyuki Nakashima. by Series: Studies in Computational Intelligence ; 56
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 N36 2007.

Place hold Add to cart
1126.
Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl. by
Edition: Second Edition.
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: TJ211.415 B73 2006.

Place hold Add to cart
1127.
Transport and Mixing in Geophysical Flows [electronic resource] : Creators of Modern Physics / edited by Jeffrey B. Weiss, Antonello Provenzale. by Series: Lecture Notes in Physics ; 744
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
1128.
Radiation Dose from Adult and Pediatric Multidetector Computed Tomography [electronic resource] / edited by Denis Tack, Pierre Alain Gevenois. by Series: Medical Radiology, Diagnostic Imaging
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: RC78.7.T62 T33 2007.

Place hold Add to cart
1129.
Rule Extraction from Support Vector Machines [electronic resource] / edited by Joachim Diederich. by Series: Studies in Computational Intelligence ; 80
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: Q325.5 D54 2008.

Place hold Add to cart
1130.
Andrology for the Clinician [electronic resource] / edited by Wolf-Bernhard Schill, Frank Comhaire, Timothy B. Hargreave. by
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: Items available for loan: Biblioteca Digital (1)Call number: RC875 .A525 2006.

Place hold Add to cart
1131.
Semantic Web Services and Web Process Composition [electronic resource] : First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers / edited by Jorge Cardoso, Amit Sheth. by Series: Lecture Notes in Computer Science ; 3387
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: TK5105.88815 C37 2005.

Place hold Add to cart
1132.
Advanced Information Systems Engineering [electronic resource] : 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings / edited by John Krogstie, Andreas Opdahl, Guttorm Sindre. by Series: Lecture Notes in Computer Science ; 4495
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.758 K76 2007.

Place hold Add to cart
1133.
1134.
Combinatorial Optimization [electronic resource] : Theory and Algorithms / by Bernhard Korte, Jens Vygen. by Series: Algorithms and Combinatorics 21 ; 21
Edition: Third Edition.
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: QA402.5 K67 2006.

Place hold Add to cart
1135.
Mathematical Methods for Engineers and Scientists 3 [electronic resource] : Fourier Analysis, Partial Differential Equations and Variational Methods / by Kwong-Tin Tang. 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: QA401 T36 2007.

Place hold Add to cart
1136.
1137.
1138.
Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings / edited by Muffy Calder, Stephen Gilmore. by Series: Lecture Notes in Computer Science ; 4695
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: QH506 C35 2007.

Place hold Add to cart
1139.
Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings / edited by Peter Beek. by Series: Lecture Notes in Computer Science ; 3709
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.64 B44 2005.

Place hold Add to cart
1140.
Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers / edited by Kaisa Nyberg. by Series: Lecture Notes in Computer Science ; 5086
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 N93 2008.

Place hold Add to cart
Pages

Powered by Koha