Refine your search

Your search returned 5963 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
3381.
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen. by Series: Lecture Notes in Computer Science ; 5245
Edition: 1a 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: QA76.58 C36 2008.

Place hold Add to cart
3382.
Service-Oriented Computing – ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings / edited by Asit Dan, Winfried Lamersdorf. by Series: Lecture Notes in Computer Science ; 4294
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.D5 D36 2006.

Place hold Add to cart
3383.
Allergy in Practice [electronic resource] / by Johannes Ring. 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: RC584 R56 2005.

Place hold Add to cart
3384.
Quantum Chromodynamics [electronic resource] / by Walter Greiner, Stefan Schramm, Eckart Stein. by
Edition: Third Revised and Enlarged Edition.
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: QC793.3.Q35 G74 2007.

Place hold Add to cart
3385.
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnački, Stefan Edelkamp. by Series: Lecture Notes in Computer Science ; 4595
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.V47 B67 2007.

Place hold Add to cart
3386.
Recent Advances in Optimization [electronic resource] / edited by Alberto Seeger. by Series: Lecture Notes in Economics and Mathematical Systems ; 563
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: QA402.5 S44 2006.

Place hold Add to cart
3387.
Scale-Space and Morphology in Computer Vision [electronic resource] : Third International Conference, Scale-Space 2001 Vancouver, Canada, July 7–8, 2001 Proceedings / edited by Michael Kerckhove. by Series: Lecture Notes in Computer Science 2106 ; 2106
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: TA1634 K47 2006.

Place hold Add to cart
3388.
Uncertainty and Surprise in Complex Systems [electronic resource] : Question on Working with the Unexpected / edited by Reuben R. McDaniel, Dean J. Driebe. by Series: Understanding Complex Systems
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.

Add to cart
3389.
Multifunctional Land Use [electronic resource] : Meeting Future Demands for Landscape Goods and Services / edited by Ülo Mander, Hubert Wiggering, Katharina Helming. 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: GF91.E85 M36 2007.

Place hold Add to cart
3390.
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
3391.
3392.
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
3393.
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
3394.
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
3395.
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
3396.
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
3397.
3398.
3399.
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
3400.
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
Pages

Powered by Koha