Refine your search

Your search returned 3558 results.

3381.
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.

by Kroening, Daniel | Strichman, Ofer | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA279.4 K76 2008 (1).

3382.
Control Systems Design [electronic resource] : A New Framework / edited by Vladimir Zakian.

by Zakian, Vladimir | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London Limited, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TJ213 Z35 2005 (1).

3383.
Integrated Assessment of Water Resources and Global Change [electronic resource] : A North-South Analysis / edited by Eric Craswell, Mike Bonnell, Deborah Bossio, Siegfried Demuth, Nick Giesen.

by Craswell, Eric | Bonnell, Mike | Bossio, Deborah | Demuth, Siegfried | Giesen, Nick | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TD201 C73 2007 (1).

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 Cérin, Christophe | Li, Kuan-Ching | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.C58 C47 2007 (1).

3385.
Computational Science and Its Applications – ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova.

by Gervasi, Osvaldo | Murgante, Beniamino | Laganà, Antonio | Taniar, David | Mun, Youngsong | Gavrilova, Marina L | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 G47 2008 (1).

3386.
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner.

by Bjørner, Dines | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 B56 2006 (1).

3387.
Classification Algorithms for Codes and Designs [electronic resource] / by Petteri Kaski, Patric R.J. Östergård.

by Kaski, Petteri | Östergård, Patric R.J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA182.5 K37 2006 (1).

3388.
Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper.

by Kohlas, Jürg | Meyer, Bertrand | Schiper, André | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.R44 K64 2006 (1).

3389.
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.

by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 A44 2006 (1).

3390.
Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Éric Tanter.

by Pautasso, Cesare | Tanter, Éric | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C66 P38 2008 (1).

3391.
Computational Methods in Systems Biology [electronic resource] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings / edited by Corrado Priami.

by Priami, Corrado | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QH506 P75 2006 (1).

3392.
Ultra-Low Power Wireless Technologies for Sensor Networks [electronic resource] / by Brian Otis, Jan Rabaey.

by Otis, Brian | Rabaey, Jan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5103.2 O86 2007 (1).

3393.
Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya.

by Nicolescu, G | Jerraya, A. A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7895.E42 N53 2007 (1).

3394.
Elementi di fluidodinamica [electronic resource] : Un’introduzione per l’Ingegneria / by Giorgio Riccardi, Danilo Durante.

by Riccardi, Giorgio | Durante, Danilo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Milano : Springer-Verlag Italia, Milano, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA357 R53 2006 (1).

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 Akehurst, David H | Vogel, Régis | Paige, Richard F | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 | A34 2007 (1).

3396.
The Handbook of Environmental Voluntary Agreements [electronic resource] : Design, Implementation and Evaluation Issues / edited by Edoardo Croci.

by Croci, Edoardo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: GE170 C76 2005 (1).

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 Chhabildas, Lalit C | Davison, Lee | Horie, Yasuyuki | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA417.7.C65 C43 2005 (1).

3398.
IUTAM Symposium on Laminar-Turbulent Transition and Finite Amplitude Solutions [electronic resource] / edited by Tom Mullin, Rich Kerswell.

by Mullin, Tom | Kerswell, Rich | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA929 M85 2005 (1).

3399.
Basic Electromagnetism and Materials [electronic resource] / by André Moliton.

by Moliton, André | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: New York, NY : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA403.6 M58 2007 (1).

3400.
Design and Analysis of Learning Classifier Systems [electronic resource] : A Probabilistic Approach / by Jan Drugowitsch.

by Drugowitsch, Jan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q325.5 D78 2008 (1).

Powered by Koha