Refine your search

Your search returned 12541 results.

Sort
Results
10121.
Formal Techniques for Networked and Distributed Systems – FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain. by Series: Lecture Notes in Computer Science ; 4574
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.F67 D47 2007.

10122.
Computational Commutative Algebra 2 [electronic resource] / by Martin Kreuzer, Lorenzo Robbiano. 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: QA251.3 K74 2005.

10123.
Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky. by Series: Lecture Notes in Computer Science ; 4038
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.58 C53 2006.

10124.
Parameter Setting in Evolutionary Algorithms [electronic resource] / edited by Fernando G. Lobo, Cláudio F. Lima, Zbigniew Michalewicz. by Series: Studies in Computational Intelligence ; 54
Edition: 1a ed.
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: QA402.5 L63 2007.

10125.
10126.
Pharmacological Mechanisms in Alzheimer's Therapeutics [electronic resource] / by A. Claudio Cuello. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RC523 P37 2007.

10127.
The Neuregulin-I/ErbB Signaling System in Development and Disease [electronic resource] / by Stefan Britsch. by Series: Advances in Anatomy Embryology and Cell Biology ; 190
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: QL801 B75 2007.

10128.
Cloud-Resolving Modeling of Convective Processes [electronic resource] / by Shouting Gao, Xiaofan Li. by
Edition: 1a ed.
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: QC880.4.C64 G36 2008.

10129.
Selective Sentinel Lymphadenectomy for Human Solid Cancer [electronic resource] / edited by Stanley P. L. Leong, Yuko Kitagawa, Masaki Kitajima. by Series: Cancer Treatment and Research ; 127
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: RC267 L46 2005.

10130.
Practical PID Control [electronic resource] / by Antonio Visioli. by Series: Advances in Industrial Control
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ223 P55 V57 2006.

10131.
Molecular Mimicry: Infection-Inducing Autoimmune Disease [electronic resource] / edited by Michael B.A. Oldstone. by Series: Current Topics in Microbiology and Immunology ; 296
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: RC600 O43 2005 .

10132.
Quantum Kinetics in Transport and Optics of Semiconductors [electronic resource] / by Hartmut Haug, Antti-Pekka Jauho. by Series: Solid-State Sciences ; 123
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: QC611.6.O6 H38 2008.

10133.
Neutron Spin Echo in Polymer Systems [electronic resource] / edited by Arantxa Arbe, Juan Colmenero, M. Monkenbusch, Dieter Richter. by Series: Advances in Polymer Science ; 174
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QD281.P6 A73 2005 .

10134.
Mastering Scientific and Medical Writing [electronic resource] : A Self-Help Guide / by Silvia M. Rogers. 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: T11 R64 2007.

10135.
10136.
Physical Approach to Short-Term Wind Power Prediction [electronic resource] / by Matthias Lange, Ulrich Focken. by
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: QC931 L36 2006.

10137.
Modern Optical Spectroscopy [electronic resource] : With Examples from Biophysics and Biochemistry / by William W. Parson. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC454.O66 P37 2007.

10138.
Model-Based Software and Data Integration [electronic resource] : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / edited by Ralf-Detlef Kutsche, Nikola Milanovic. by Series: Communications in Computer and Information Science ; 8
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: Q335 K88 2008 .

10139.
The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna. 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: QA76.9.L63 B73 2007.

10140.
Pages

Powered by Koha