Refine your search

Your search returned 6385 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
3361.
Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach / by Wojciech Penczek, Agata Pólrola. by Series: Studies in Computational Intelligence ; 20
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 P46 2006.

Place hold Add to cart
3362.
3363.
Urban Forest Acoustics [electronic resource] / by Voichita Bucur. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
3364.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Series: Lecture Notes in Computer Science ; 4144
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.V47 B35 2006.

Place hold Add to cart
3365.
Advanced Quantum Mechanics [electronic resource] / by Franz Schwabl. by
Edition: Third Edition.
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 S39 2005.

Place hold Add to cart
3366.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4790
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: QA76.63 D47 2007.

Place hold Add to cart
3367.
Towards Environmental Innovation Systems [electronic resource] / edited by Matthias Weber, Jens Hemmelskamp. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin - Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: GE170 W43 2005.

Place hold Add to cart
3368.
3369.
3370.
Affect and Emotion in Human-Computer Interaction [electronic resource] : From Theory to Applications / edited by Christian Peter, Russell Beale. by Series: Lecture Notes in Computer Science ; 4868
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.9.H85 P48 2008.

Place hold Add to cart
3371.
Advances in Cryptology — EUROCRYPT ’90 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Aarhus, Denmark, May 21–24, 1990 Proceedings / edited by Ivan Bjerre Damgård. by Series: Lecture Notes in Computer Science ; 473
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.9.A25 D36 2006.

Place hold Add to cart
3372.
Global Warming — Myth or Reality? [electronic resource] : The Erring Ways of Climatology / by Marcel Leroux. by Series: Springer Praxis Books
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Praxis Publishing Ltd, Chichester, UK, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC981.8.G56 L47 2005.

Place hold Add to cart
3373.
3374.
Complex-Valued Neural Networks [electronic resource] / by Akira Hirose. by Series: Studies in Computational Intelligence ; 32
Edition: 1a ed.
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.87 H57 2006.

Place hold Add to cart
3375.
Advances in Multimedia Information Processing - PCM 2005 [electronic resource] : 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 13-16, 2005, Proceedings, Part I / edited by Yo-Sung Ho, Hyoung Joong Kim. by Series: Lecture Notes in Computer Science ; 3767
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.575 H6 2005.

Place hold Add to cart
3376.
Radiology of Osteoporosis [electronic resource] / edited by Stephan Grampp. by Series: Medical Radiology, Diagnostic Imaging
Edition: 2a 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: RC934.O73 G73 2008.

Place hold Add to cart
3377.
3378.
3379.
New Frontiers in Polymer Synthesis [electronic resource] / edited by Shiro Kobayashi. by Series: Advances in Polymer Science ; 217
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: QD281.P6 K63 2008 .

Place hold Add to cart
3380.
Conducting Polymers with Micro or Nanometer Structure [electronic resource] / by Meixiang Wan. 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: QD382.C66 W36 2008.

Place hold Add to cart
Pages

Powered by Koha