Your search returned 3731 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1781.
Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 G33 2006 .

Place hold Add to cart
1782.
Unifying Perspectives in Computational and Robot Vision [electronic resource] / edited by Danica Kragic, Ville Kyrki. by Series: Lecture Notes in Electrical Engineering ; 8
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.3 K73 2008.

Place hold Add to cart
1783.
Foundations of Security [electronic resource] : What Every Programmer Needs to Know / by Neil Daswani, Christoph Kern, Anita Kesavan. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Neil Daswani, Christoph Kern, and Anita Kesavan, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.P76 D37 2007.

Place hold Add to cart
1784.
1785.
Biomimetic Neural Learning for Intelligent Robots [electronic resource] : Intelligent Systems, Cognitive Robotics, and Neuroscience / edited by Stefan Wermter, Günther Palm, Mark Elshaw. by Series: Lecture Notes in Computer Science ; 3575
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: TJ211.35 W47 2005.

Place hold Add to cart
1786.
Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings / edited by Rosina O. Weber, Michael M. Richter. by Series: Lecture Notes in Computer Science ; 4626
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.E95 W43 2007.

Place hold Add to cart
1787.
Progress in Cryptology – Mycrypt 2005 [electronic resource] : First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005. Proceedings / edited by Ed Dawson, Serge Vaudenay. by Series: Lecture Notes in Computer Science ; 3715
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.A25 D39 2005.

Place hold Add to cart
1788.
Multilevel Block Factorization Preconditioners [electronic resource] : Matrix-based Analysis and Algorithms for Solving Finite Element Equations / by Panayot S. Vassilevski. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC20.7.F56 V37 2008.

Place hold Add to cart
1789.
Pro SQL Server 2008 XML [electronic resource] / by Michael Coles. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Michael Coles, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73S67 C65 2008.

Place hold Add to cart
1790.
1791.
Privacy and Technologies of Identity [electronic resource] : A Cross-Disciplinary Conversation / edited by Katherine J. Strandburg, Daniela Stan Raicu. 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: JC596 .P743 2006.

Place hold Add to cart
1792.
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 4313
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.F67 M37 2006.

Place hold Add to cart
1793.
Calcolo Scientifico [electronic resource] : Esercizi e problemi risolti con MATLAB e Octave / by Alfio Quarteroni, Fausto Saleri. by Series: Unitext
Edition: 4a edizione.
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer Milan, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA155.7.E4 Q37 2008.

Place hold Add to cart
1794.
Cosmic Magnetic Fields [electronic resource] / edited by Richard Wielebinski, Rainer Beck. by Series: Lecture Notes in Physics ; 664
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: QB462.8 W54 2005.

Place hold Add to cart
1795.
1796.
Buchi neri nel mio bagno di schiuma [electronic resource] : L’enigma di Einstein / by C. V. Vishveshwara. by Series: I blu, Pagine di scienza
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italya, Milano, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QB843.B55 V57 2008.

Place hold Add to cart
1797.
Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings / edited by Joanna Jȩdrzejowicz, Andrzej Szepietowski. by Series: Lecture Notes in Computer Science ; 3618
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.M35 J43 2005.

Place hold Add to cart
1798.
Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / edited by Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner. by Series: Lecture Notes in Computer Science ; 5282
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.76.C66 C43 2008.

Place hold Add to cart
1799.
Beginning Java EE 5 [electronic resource] : From Novice to Professional / by Kevin Mukhar, Chris Zelenak, James L. Weaver, Jim Crume. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Kevin Mukhar and Chris Zelenak, with James L. Weaver and Jim Crume, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 M85 2006.

Place hold Add to cart
1800.
Systems Modeling and Simulation [electronic resource] : Theory and Applications, Asia Simulation Conference 2006 / edited by Koji Koyamada, Shinsuke Tamura, Osamu Ono. by
Material type: Computer file Computer file; Format: electronic
Publication details: Tokyo : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 K69 2007.

Place hold Add to cart
Pages

Powered by Koha