Refine your search

Your search returned 2648 results.

Sort
Results
2481.
Automated Deduction – CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 4603
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.A96 P44 2007.

2482.
Passive and Active Network Measurement [electronic resource] : 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007. Proceedings / edited by Steve Uhlig, Konstantina Papagiannaki, Olivier Bonaventure. by Series: Lecture Notes in Computer Science ; 4427
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: TK5105.5 U35 2007.

2483.
2484.
2485.
2486.
2487.
Geometric Modeling and Algebraic Geometry [electronic resource] / edited by Bert Jüttler, Ragni Piene. by
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: QA565 J88 2008.

2488.
Protein-Lipid Interactions [electronic resource] : New Approaches and Emerging Concepts / edited by C. Reyes Mateo, Javier Gómez, José Villalaín, José M. González-Ros. by Series: Springer Series in Biophysics ; 9
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: QP752.M45 M38 2006 .

2489.
Systemics of Emergence: Research and Development [electronic resource] / edited by Gianfranco Minati, Eliano Pessa, Mario Abram. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q295 M56 2006.

2490.
2491.
Access Control Systems [electronic resource] : Security, Identity Management and Trust Models / by Messaoud Benantar. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.59 B46 2005.

2492.
Intelligent Information Technology [electronic resource] : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings / edited by Gautam Das, Ved Prakash Gulati. by Series: Lecture Notes in Computer Science ; 3356
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: T58.5 D37 2005.

2493.
Multiagent System Technologies [electronic resource] : 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings / edited by Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong. by Series: Lecture Notes in Computer Science ; 4196
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: QA76.76.I58 F57 2006.

2494.
2495.
Physics for Medical Imaging Applications [electronic resource] / edited by Yves Lemoigne, Alessandra Caner, Ghita Rahal. by Series: NATO Science Series ; 240
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: R895.A2 L46 2007.

2496.
Environment Learning for Indoor Mobile Robots [electronic resource] : A Stochastic State Estimation Approach to Simultaneous Localization and Map Building / by Juan Andrade-Cetto, Alberto Sanfeliu. by Series: Springer Tracts in Advanced Robotics ; 23
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: TA1 A53 2006.

2497.
Pseudomonas [electronic resource] : Volume 4 Molecular Biology of Emerging Issues / edited by Juan-Luis Ramos, Roger C. Levesque. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QR82.P78 R36 2006 .

2498.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklós Telek. by Series: Lecture Notes in Computer Science ; 5055
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: QA274.A1 A43 2008.

2499.
2500.
Pages

Powered by Koha