Refine your search

Your search returned 3560 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2021.
Mathematical Methods for Robust and Nonlinear Control [electronic resource] : EPSRC Summer School / edited by Matthew C. Turner, Declan G. Bates. by Series: Lecture Notes in Control and Information Sciences ; 367
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer London, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.2 T87 2007.

Place hold Add to cart
2022.
Concepts in Plant Metabolomics [electronic resource] / edited by Basil J. Nikolau, Eve Syrkin Wurtele. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QK981 N55 2007.

Place hold Add to cart
2023.
2024.
UNSTEADY AERODYNAMICS, AEROACOUSTICS AND AEROELASTICITY OF TURBOMACHINES [electronic resource] / edited by Kenneth C. Hall, Robert E. Kielb, Jeffrey P. Thomas. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ267 H35 2006.

Place hold Add to cart
2025.
Bayesian Reliability [electronic resource] / by Michael S. Hamada, Alyson G. Wilson, C. Shane Reese, Harry F. Martz. by Series: Springer Series in Statistics
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA169 H36 2008.

Place hold Add to cart
2026.
Genetic Engineering [electronic resource] : Principles and Methods / edited by Jane K. Setlow. by Series: Genetic Engineering ; 28
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH442 S48 2007.

Place hold Add to cart
2027.
Motor Control and Learning [electronic resource] / edited by Mark L. Latash, Francis Lestienne. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BF295 .M36 2005.

Place hold Add to cart
2028.
Cells and Robots [electronic resource] : Modeling and Control of Large-Size Agent Populations / by Dejan Lj. Milutinović, Pedro U. Lima. by Series: Springer Tracts in Advanced Robotics ; 32
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: TJ211.35 M55 2007.

Place hold Add to cart
2029.
Transactions on Aspect-Oriented Software Development II [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Series: Lecture Notes in Computer Science ; 4242
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 R37 2006.

Place hold Add to cart
2030.
Intuitive Probability and Random Processes Using Matlab® [electronic resource] / by Steven M. Kay. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Steven M. Kay, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA273 .K326 2005.

Place hold Add to cart
2031.
Challenging American Leadership [electronic resource] : Impact of National Quality on Risk of Losing Leadership / by Ernst Gabriel Frankel. by Series: Topics in Safety, Risk, Reliability and Quality ; 10
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: E744 F73 2006.

Place hold Add to cart
2032.
Service-Oriented Computing – ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings / edited by Asit Dan, Winfried Lamersdorf. by Series: Lecture Notes in Computer Science ; 4294
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.D5 D36 2006.

Place hold Add to cart
2033.
M-Health [electronic resource] : Emerging Mobile Health Systems / edited by Robert S. H. Istepanian, Swamy Laxminarayan, Constantinos S. Pattichis. by Series: Topics in Biomedical Engineering
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: R119.9 I88 2006.

Place hold Add to cart
2034.
S+ Functional Data Analysis [electronic resource] : User’s Manual for Windows® / by Douglas B. Clarkson, Chris Fraley, Charles C. Gu, James O. Ramsey. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Insightful Corporation, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA278 .S18 2005.

Place hold Add to cart
2035.
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnački, Stefan Edelkamp. by Series: Lecture Notes in Computer Science ; 4595
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.V47 B67 2007.

Place hold Add to cart
2036.
Uncertainty and Surprise in Complex Systems [electronic resource] : Question on Working with the Unexpected / edited by Reuben R. McDaniel, Dean J. Driebe. by Series: Understanding Complex Systems
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
2037.
Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach / by Wojciech Penczek, Agata Pólrola. by Series: Studies in Computational Intelligence ; 20
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: QA267 P46 2006.

Place hold Add to cart
2038.
2039.
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.

Place hold Add to cart
2040.
BioMEMS and Biomedical Nanotechnology [electronic resource] : Volume II: Micro/Nano Technologies for Genomics and Proteomics / edited by Mauro Ferrari, Mihrimah Ozkan, Michael J. Heller. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science + Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TP248.25.N35 B56 2006.

Place hold Add to cart
Pages

Powered by Koha