Refine your search

Your search returned 3559 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
3381.
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. by Series: Texts in Theoretical Computer Science, An Eatcs Series
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: QA279.4 K76 2008 .

Place hold Add to cart
3382.
Control Systems Design [electronic resource] : A New Framework / edited by Vladimir Zakian. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ213 Z35 2005.

Place hold Add to cart
3383.
3384.
Advances in Grid and Pervasive Computing [electronic resource] : Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings / edited by Christophe Cérin, Kuan-Ching Li. by Series: Lecture Notes in Computer Science ; 4459
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.9.C58 C47 2007.

Place hold Add to cart
3385.
3386.
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Series: Texts in Theoretical Computer Science an EATCS Series
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.758 B56 2006.

Place hold Add to cart
3387.
Classification Algorithms for Codes and Designs [electronic resource] / by Petteri Kaski, Patric R.J. Östergård. by Series: Algorithms and Computation in Mathematics ; 15
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: QA182.5 K37 2006.

Place hold Add to cart
3388.
Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper. by Series: Lecture Notes in Computer Science ; 4028
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: QA76.76.R44 K64 2006.

Place hold Add to cart
3389.
3390.
Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Éric Tanter. by Series: Lecture Notes in Computer Science ; 4954
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.C66 P38 2008.

Place hold Add to cart
3391.
Computational Methods in Systems Biology [electronic resource] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings / edited by Corrado Priami. by Series: Lecture Notes in Computer Science ; 4210
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: QH506 P75 2006.

Place hold Add to cart
3392.
Ultra-Low Power Wireless Technologies for Sensor Networks [electronic resource] / by Brian Otis, Jan Rabaey. 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: TK5103.2 O86 2007.

Place hold Add to cart
3393.
Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 N53 2007 .

Place hold Add to cart
3394.
Elementi di fluidodinamica [electronic resource] : Un’introduzione per l’Ingegneria / by Giorgio Riccardi, Danilo Durante. by
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, Milano, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA357 R53 2006.

Place hold Add to cart
3395.
Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings / edited by David H. Akehurst, Régis Vogel, Richard F. Paige. by Series: Lecture Notes in Computer Science ; 4530
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.D47 | A34 2007.

Place hold Add to cart
3396.
The Handbook of Environmental Voluntary Agreements [electronic resource] : Design, Implementation and Evaluation Issues / edited by Edoardo Croci. by Series: Environment & Policy ; 43
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: GE170 C76 2005.

Place hold Add to cart
3397.
High-Pressure Shock Compression of Solids VIII [electronic resource] : The Science and Technology of High-Velocity Impact / edited by Lalit C. Chhabildas, Lee Davison, Yasuyuki Horie. by Series: High-Pressure Shock Compression of Condensed Matter
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: TA417.7.C65 C43 2005.

Place hold Add to cart
3398.
IUTAM Symposium on Laminar-Turbulent Transition and Finite Amplitude Solutions [electronic resource] / edited by Tom Mullin, Rich Kerswell. by Series: Fluid Mechanics and its Applications ; 77
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA929 M85 2005.

Place hold Add to cart
3399.
Basic Electromagnetism and Materials [electronic resource] / by André Moliton. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA403.6 M58 2007.

Place hold Add to cart
3400.
Design and Analysis of Learning Classifier Systems [electronic resource] : A Probabilistic Approach / by Jan Drugowitsch. by Series: Studies in Computational Intelligence ; 139
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 D78 2008.

Place hold Add to cart
Pages

Powered by Koha