Refine your search

Your search returned 3560 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2821.
Advances in Variable Structure and Sliding Mode Control [electronic resource] / edited by Christopher Edwards, Enric Fossas Colet, Leonid Fridman. by Series: Lecture Notes in Control and Information Science ; 334
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: TJ220.5 E39 2006.

Place hold Add to cart
2822.
Formal Refinement for Operating System Kernels [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76 O63 C73 2007.

Place hold Add to cart
2823.
Quantum Superposition [electronic resource] : Counterintuitive Consequences of Coherence, Entanglement, and Interference / by Mark P. Silverman. by Series: Frontiers Collection
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC174.17.S78 S55 2008.

Place hold Add to cart
2824.
2825.
Critical Infrastructures at Risk [electronic resource] : Securing the European Electric Power System / edited by A.V. Gheorghe, M. Masera, M Weijnen, De L. Vries. by Series: Topics in Safety, Risk, Reliability and Quality ; 9
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: TK1005 G44 2006.

Place hold Add to cart
2826.
Self-Organizing Systems [electronic resource] : Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings / edited by David Hutchison, Randy H. Katz. by Series: Lecture Notes in Computer Science ; 4725
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 H88 2007.

Place hold Add to cart
2827.
Recent Advances in Memetic Algorithms [electronic resource] / edited by William E. Hart, J. E. Smith, N. Krasnogor. by Series: Studies in Fuzziness and Soft Computing ; 166
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.618 H37 2005.

Place hold Add to cart
2828.
Fundamentals of Multibody Dynamics [electronic resource] : Theory and Applications / by Farid M. L. Amirouche. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA845 A45 2006.

Place hold Add to cart
2829.
Flexible Databases Supporting Imprecision and Uncertainty [electronic resource] / edited by Gloria Bordogna, Giuseppe Psaila. by Series: Studies in Fuzziness and Soft Computing ; 203
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D343 B67 2006.

Place hold Add to cart
2830.
Automated Deduction – CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / edited by Robert Nieuwenhuis. by Series: Lecture Notes in Computer Science ; 3632
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 N54 2005.

Place hold Add to cart
2831.
Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers / edited by Dave Penkler, Manfred Reitenspiess, Francis Tam. by Series: Lecture Notes in Computer Science ; 4328
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: TK5105.5 P46 2006.

Place hold Add to cart
2832.
2833.
Irreversible Phenomena [electronic resource] : Ignitions, Combustion and Detonation Waves / by Kunio Terao. 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: QC318.I7 T47 2007.

Place hold Add to cart
2834.
Computational Science and Its Applications – ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Series: Lecture Notes in Computer Science ; 4706
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: QA75.5 G47 2007.

Place hold Add to cart
2835.
Voltage-Gated Calcium Channels [electronic resource] / by Gerald W. Zamponi. by Series: Molecular Biology Intelligence Unit
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Eurekah.com and Kluwer Academic / Plenum Publishers, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QP535.C2 V65 2005.

Place hold Add to cart
2836.
Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by Marc Boulé, Zeljko Zilic. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 B68 2008.

Place hold Add to cart
2837.
Shock Wave Reflection Phenomena [electronic resource] / by Gabi Ben-Dor. by Series: Shock Wave and High Pressure Phenomena
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: TL574.S4 B46 2007.

Place hold Add to cart
2838.
2839.
Industrial Enzymes [electronic resource] : Structure, Function and Applications / edited by Julio Polaina, Andrew P. MacCabe. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TP248.65.E59 P65 2007.

Place hold Add to cart
2840.
The Core Test Wrapper Handbook [electronic resource] : Rationale and Application of IEEE Std. 1500™ / by Francisco Silva, Teresa McLaurin, Tom Waayers. by Series: Frontiers in Electronic Testing ; 35
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: TK7895.E42 S55 2006.

Place hold Add to cart
Pages

Powered by Koha