Refine your search

Your search returned 4532 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2561.
2562.
The Shaping of Arithmetic after C. F. Gauss’s Disquisitiones Arithmeticae [electronic resource] / edited by Catherine Goldstein, Norbert Schappacher, Joachim Schwermer. by
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.

Add to cart
2563.
2564.
Cells and Robots [electronic resource] : Modeling and Control of Large-Size Agent Populations / by Dejan Lj. Milutinović, Pedro U. Lima. by Series: Springer Tracts in Advanced Robotics ; 32
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: TJ211.35 M55 2007.

Place hold Add to cart
2565.
Transactions on Aspect-Oriented Software Development II [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Series: Lecture Notes in Computer Science ; 4242
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.D47 R37 2006.

Place hold Add to cart
2566.
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
2567.
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
2568.
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
2569.
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
2570.
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
2571.
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
2572.
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
2573.
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
2574.
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
2575.
2576.
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
2577.
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
2578.
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
2579.
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
2580.
Pages

Powered by Koha