Refine your search

Your search returned 6448 results.

Sort
Results
2221.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Series: Lecture Notes in Computer Science ; 4144
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.V47 B35 2006.

2222.
Selenium [electronic resource] : Its Molecular Biology and Role in Human Health / edited by Dolph L. Hatfield, Marla J. Berry, Vadim N. Gladyshev. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QP535.S5 H38 2006.

2223.
Intraoperative Neurophysiological Monitoring [electronic resource] / by Aage R. Møller. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Totowa, NJ : Humana Press Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RD52.N48 M65 2006.

2224.
Convection in Porous Media [electronic resource] / by Donald A. Nield, Adrian Bejan. by
Edition: Third Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA418.9.P6 N54 2006.

2225.
European Tort Law 2005 [electronic resource] / edited by Helmut Koziol, Barbara C. Steininger. by Series: Tort and Insurance Law ; 2005
Material type: Computer file Computer file; Format: electronic
Publication details: Vienna : Springer-Verlag/Wien, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: KJE1620 K69 2006.

2226.
2227.
2228.
Advances in Cryptology — EUROCRYPT ’90 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Aarhus, Denmark, May 21–24, 1990 Proceedings / edited by Ivan Bjerre Damgård. by Series: Lecture Notes in Computer Science ; 473
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.A25 D36 2006.

2229.
Complex-Valued Neural Networks [electronic resource] / by Akira Hirose. by Series: Studies in Computational Intelligence ; 32
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 H57 2006.

2230.
Pattern-Based Compression of Multi-Band Image Data for Landscape Analysis [electronic resource] / by Wayne L. Myers, Ganapati P. Patil. by Series: Environmental and Ecological Statistics ; 2
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH541.15. L35 M94 2006.

2231.
National Systems of Innovation in Comparison [electronic resource] : Structure and Performance Indicators for Knowledge Societies / edited by Ulrich Schmoch, Christian Rammer, Harald Legler. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HC79.T4 S36 2006.

2232.
Transseries and Real Differential Algebra [electronic resource] / by Joris Hoeven. by Series: Lecture Notes in Mathematics ; 1888
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.

2233.
2234.
Characteristics Finite Element Methods in Computational Fluid Dynamics [electronic resource] / by Joe Iannelli. by Series: Computational Fluid and Solid Mechanics
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: TA347.F5 I26 2006.

2235.
Mechanics and Strength of Materials [electronic resource] / by Vitor Dias Silva. 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: TA405 S55 2006.

2236.
Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill. by Series: Lecture Notes in Computer Science ; 3901
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 H55 2006.

2237.
Human Mitochondrial DNA and the Evolution of Homo sapiens [electronic resource] / edited by Hans-Jürgen Bandelt, Vincent Macaulay, Martin Richards. by Series: Nucleic Acids and Molecular Biology ; 18
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: QP624.5.M58 B36 2006.

2238.
Rb and Tumorigenesis [electronic resource] / by Maurizio Fanciulli. by Series: Molecular Biology Intelligence Unit
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Eurekah.com and Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RC280.E9 F36 2006.

2239.
SCJP Exam for J2SE 5 [electronic resource] : A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam / by Paul Sanghera. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Paul Sanghera, Ph.D., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.3 S26 2006.

2240.
Pages

Powered by Koha