Refine your search

Your search returned 2072 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
341.
Dimension Reduction of Large-Scale Systems [electronic resource] : Proceedings of a Workshop held in Oberwolfach, Germany, October 19–25, 2003 / edited by Peter Benner, Danny C. Sorensen, Volker Mehrmann. by Series: Lecture Notes in Computational Science and Engineering ; 45
Edition: 1a ed.
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: TA347.C68 B46 2005.

Place hold Add to cart
342.
Management of Convergence Networks and Services [electronic resource] : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings / edited by Young-Tak Kim, Makoto Takano. by Series: Lecture Notes in Computer Science ; 4238
Edition: 1a ed.
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: TK5105.5 K56 2006.

Place hold Add to cart
343.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. by Series: Lecture Notes in Computer Science ; 5215
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: QA76.9.C65 C37 2008.

Place hold Add to cart
344.
Quality of Life in Old Age [electronic resource] : International and Multi-Disciplinary Perspectives / edited by Heidrun Mollenkopf, Alan Walker. by Series: Social Indicators Research Series ; 31
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HQ1061 M65 2007.

Place hold Add to cart
345.
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 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 W65 2007.

Place hold Add to cart
346.
Computer Vision Systems [electronic resource] : 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings / edited by Antonios Gasteratos, Markus Vincze, John K. Tsotsos. by Series: Lecture Notes in Computer Science ; 5008
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: TA1634 G37 2008.

Place hold Add to cart
347.
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.

Place hold Add to cart
348.
The Unity of the European Constitution [electronic resource] / edited by Philipp Dann, Michał Rynkowski. by Series: Beiträge zum ausländischen öffentlichen Recht und Völkerrecht ; 186
Edition: 1a ed.
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: KJE4444.95 D36 2006.

Place hold Add to cart
349.
350.
351.
352.
Intelligent Tutoring Systems [electronic resource] : 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006. Proceedings / edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan. by Series: Lecture Notes in Computer Science ; 4053
Edition: 1a d.
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: LB1028.73 I44 2006.

Place hold Add to cart
353.
Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini. by Series: Lecture Notes in Computer Science ; 5213
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: QA76.9.L63 K36 2008.

Place hold Add to cart
354.
355.
356.
Personal Wireless Communications [electronic resource] : IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006. Proceedings / edited by Pedro Cuenca, Luiz Orozco-Barbosa. by Series: Lecture Notes in Computer Science ; 4217
Edition: 1a ed.
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: TK5103.2 C84 2006.

Place hold Add to cart
357.
358.
Brilliant Light in Life and Material Sciences [electronic resource] / edited by Vasili Tsakanov, Helmut Wiedemann. by Series: NATO Security through Science Series
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC793.5.P42 T73 2007.

Place hold Add to cart
359.
Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi. by Series: Lecture Notes in Computer Science ; 3829
Edition: 1a ed.
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.9.C65 P48 2005.

Place hold Add to cart
360.
Mid-Infrared Coherent Sources and Applications [electronic resource] / edited by Majid Ebrahim-Zadeh, Irina T. Sorokina. by Series: NATO Science for Peace and Security Series B: Physics and Biophysics
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: TA1675 E27 2008.

Place hold Add to cart
Pages

Powered by Koha