Refine your search

Your search returned 6385 results.

Sort
Results
2641.
Quantum Annealing and Other Optimization Methods [electronic resource] / edited by Arnab Das, Bikas Chakrabarti. by Series: Lecture Notes in Physics ; 679
Edition: 1a ed.
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: QC174.12 D37 2005.

2642.
Epigenetics and Chromatin [electronic resource] / edited by Philippe Jeanteur. by Series: Progress in Molecular and Subcellular Biology ; 38
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH506 .P76 2005.

2643.
Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham. by Series: Lecture Notes in Computer Science ; 3603
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.

2644.
Models and Methods of Magnetotellurics [electronic resource] / by Mark N. Berdichevsky, Vladimir I. Dmitriev. by
Edition: 1a ed.
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: TN269 B47 2008.

2645.
The Brauer-Hasse-Noether Theorem in Historical Perspective [electronic resource] / by Peter Roquette. by Series: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 15
Edition: 1a ed.
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: QA247 R67 2005.

2646.
Nonblocking Supervisory Control of State Tree Structures [electronic resource] / by Chuan Ma, W. Murray Wonham. by Series: Lecture Notes in Control and Information Science ; 317
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: TJ222 M33 2006 .

2647.
Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / edited by Jörg P. Müller, Franco Zambonelli. by Series: Lecture Notes in Computer Science ; 3950
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.758 M85 2006.

2648.
Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Series: Monographs 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: QA267.3 E37 2006.

2649.
2650.
Handbook on Information Technologies for Education and Training [electronic resource] / edited by Heimo H. Adelsberger, Kinshuk, Jan M. Pawlowski, Demetrios G. Sampson. by Series: International Handbooks on Information Systems
Edition: 2a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1028.3 A24 2008.

2651.
Putting Knowledge Networks into Action [electronic resource] : Methodology, Development, Maintenance / edited by Andrea Back, Georg Krogh, Andreas Seufert, Ellen Enkel. by
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: HD30.2 B33 2005 .

2652.
Spectral Methods [electronic resource] : Fundamentals in Single Domains / by Claudio Canuto, M. Youssuff Hussaini, Alfio Quarteroni, Thomas A. Zang. by Series: Scientific Computation
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA320 C36 2006.

2653.
Analytical and Numerical Approaches to Mathematical Relativity [electronic resource] / edited by Jörg Frauendiener, Domenico J.W. Giulini, Volker Perlick. by Series: Lecture Notes in Physics ; 692
Edition: 1a ed.
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: QC173.59.M3 F73 2006.

2654.
Computing in Algebraic Geometry [electronic resource] : A Quick Start using SINGULAR / by Wolfram Decker, Christoph Lossen. by Series: Algorithms and Computation in Mathematics ; 16
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg and Hindustan Book Agency New Delhi, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA564 D43 2006.

2655.
2656.
Speaker Classification II [electronic resource] : Selected Projects / edited by Christian Müller. by Series: Lecture Notes in Computer Science ; 4441
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: TK7882.S65 M85 2007.

2657.
2658.
Acoustics of Wood [electronic resource] / by Voichita Bucur. by Series: Springer Series in Wood Science
Edition: 2nd Edition.
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: TA420 B83 2006.

2659.
Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca. by Series: Lecture Notes in Computer Science ; 4583
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: No items available.

2660.
Epiduroscopy — Spinal Endoscopy [electronic resource] / by G. Schütze. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RD594.3 S38 2008 .

Pages

Powered by Koha