Results of search for 'ccl=Provider:Springer- Verlag, '

5461.

Convex and Discrete Geometry [electronic resource] / by Peter M. Gruber. by

Series: A Series of Comprehensive Studies in Mathematics ; 336

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA639.5 G78 2007.

5462.

Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder. by

Series: Lecture Notes in Computer Science ; 3474

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.62 G74 2005.

5463.

From Strategy to Execution [electronic resource] : Turning Accelerated Global Change into Opportunity / edited by Daniel Pantaleo, Nirmal Pal. by

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: HD58.8 P36 2008.

5464.

Analyzing Computer System Performance with Perl::PDQ [electronic resource] / by Neil J. Gunther. by

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

In: Springer e-books

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.E94 G86 2005.

5465.

Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Rocco Nicola. by

Series: Lecture Notes in Computer Science ; 4421

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 N53 2007.

5466.

The Physics of the Early Universe [electronic resource] / edited by E. Papantonopoulos. by

Series: Lecture Notes in Physics ; 653

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QB981 P37 2005.

5467.

Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö. by

Series: Lecture Notes in Computer Science ; 4588

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.3 H37 2007.

5468.

Machine Learning for Audio, Image and Video Analysis [electronic resource] : Theory and Applications / by Francesco Camastra, Alessandro Vinciarelli. by

Series: Advanced Information and Knowledge Processing

Material type:

Computer file; Format: electronic available online remote

Publication details: London : Springer-Verlag London, 2008

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: Q325.5 C36 2008.

5469.

Autonomous Navigation in Dynamic Environments [electronic resource] / edited by Christian Laugier, Raja Chatila. by

Series: Springer Tracts in Advanced Robotics ; 35

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.495 L38 2007.

5470.

Class 2 · Transferases VI [electronic resource] : EC 2.4.2.1–2.5.1.30 / edited by Dietmar Schomburg, Ida Schomburg, Antje Chang. by

Series: Springer Handbook of Enzymes ; 33

Edition: Second Edition.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QP601 S36 2007.

5471.

Punctured Torus Groups and 2-Bridge Knot Groups (I) [electronic resource] / by Hirotaka Akiyoshi, Makoto Sakuma, Masaaki Wada, Yasushi Yamashita. by

Series: Lecture Notes in Mathematics ; 1909

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA331 A45 2007.

5472.

High Noon in the Automotive Industry [electronic resource] / by Helmut Becker. by

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: HD9710.A2 B33 2006.

5473.

Agile Software Construction [electronic resource] / by John Hunt. by

Material type:

Computer file; Format: electronic available online remote

Publication details: London : Springer-Verlag London Limited, 2006

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.S95 H86 2006.

5474.

Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings / edited by Lynn Margaret Batten, Reihaneh Safavi-Naini. by

Series: Lecture Notes in Computer Science ; 4058

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 B38 2006.

5475.

Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings / edited by Evangelos Kranakis, Jaroslav Opatrny. by

Series: Lecture Notes in Computer Science ; 4686

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.77 K73 2007.

5476.

Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter. by

Series: Lecture Notes in Computer Science ; 4748

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 W65 2007.

5477.

Ecology of Harmful Algae [electronic resource] / edited by Edna Granéli, Jefferson T. Turner. by

Series: Ecological Studies, Analysis and Synthesis ; 189

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QK568.T67 G73 2006.

5478.

Web Engineering [electronic resource] : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings / edited by David Lowe, Martin Gaedke. by

Series: Lecture Notes in Computer Science ; 3579

Material type:

Computer file; Format: electronic available online remote

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

In: Springer eBooks

Online resources:

Click here to access online

Availability: No items available.

5479.

Justifying the Dependability of Computer-based Systems [electronic resource] : With Applications in Nuclear Engineering / by Pierre-Jacques Courtois. by

Series: Springer Series in Reliability Engineering

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: London : Springer-Verlag, 2008

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.R44 C68 2008.

5480.

Applications and Innovations in Intelligent Systems XIII [electronic resource] : Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, December 2005 / edited by Ann Macintosh, Richard Ellis, Tony Allen. by

Material type:

Computer file; Format: electronic available online remote

Publication details: London : Springer-Verlag London Limited, 2006

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.E95 S43 2006.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 6763 results.