Your search returned 3731 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1141.
Practical Mono [electronic resource] / by Mark Mamone. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Mark Mamone, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.M66 M36 2006.

Place hold Add to cart
1142.
Pro Visual C++/CLI and the .NET 2.0 Platform [electronic resource] / by Stephen R. G. Fraser. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Stephen R.G. Fraser, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.C153 F73 2006.

Place hold Add to cart
1143.
Algebraic Geometry and Geometric Modeling [electronic resource] / edited by Mohamed Elkadi, Bernard Mourrain, Ragni Piene. by Series: Mathematics and Visualization
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: QA564 E45 2006.

Place hold Add to cart
1144.
Peer-to-Peer Systems III [electronic resource] : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers / edited by Geoffrey M. Voelker, Scott Shenker. by Series: Lecture Notes in Computer Science ; 3279
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: TK5105.525 V64 2005.

Place hold Add to cart
1145.
A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Series: Universitext
Edition: Second edition
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 R38 2006.

Place hold Add to cart
1146.
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran. by Series: Lecture Notes in Computer Science ; 4839
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 S65 2007.

Place hold Add to cart
1147.
1148.
Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings / edited by Jürgen Münch, Pekka Abrahamsson. by Series: Lecture Notes in Computer Science ; 4589
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.758 M86 2007.

Place hold Add to cart
1149.
Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings / edited by Lionel Briand, Clay Williams. by Series: Lecture Notes in Computer Science ; 3713
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.76.D47 B75 2005.

Place hold Add to cart
1150.
Principles and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings / edited by Peter J. Stuckey. by Series: Lecture Notes in Computer Science ; 5202
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.76.C65 S78 2008.

Place hold Add to cart
1151.
Lectures on Probability Theory and Statistics [electronic resource] : Ecole d'Eté de Probabilités de Saint-Flour XXXIII - 2003 / edited by Jean Picard. by Series: Lecture Notes in Mathematics ; 1869
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: QA3 P53 2005.

Place hold Add to cart
1152.
Pro SQL Server 2005 [electronic resource] / by Thomas Rizzo, Adam Machanic, Julian Skinner, Louis Davidson, Robin Dewson, Jan Narkiewicz, Joseph Sack, Rob Walters. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Thomas Rizzo, Adam Machanic, Julian Skinner, Louis Davidson, Robin Dewson, Jan Narkiewicz, Joseph Sack, Rob Walters, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 R59 2006.

Place hold Add to cart
1153.
Elementary Logic [electronic resource] : For Software Development / by Robert Lover. by
Material type: Computer file Computer file; Format: electronic
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 L68 2008.

Place hold Add to cart
1154.
1155.
Advances in Cryptology – ASIACRYPT 2007 [electronic resource] : 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings / edited by Kaoru Kurosawa. by Series: Lecture Notes in Computer Science ; 4833
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.A25 K87 2007.

Place hold Add to cart
1156.
1157.
Body Sensor Networks [electronic resource] / edited by Guang-Zhong Yang. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: R857.B54 G83 2006.

Place hold Add to cart
1158.
System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / edited by Reinhard Gotzhein, Rick Reed. by Series: Lecture Notes in Computer Science ; 4320
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: TK5101.A1 G68 2006.

Place hold Add to cart
1159.
Computational Methods in Transport: Verification and Validation [electronic resource] / edited by Frank Graziani. by Series: Lecture Notes in Computational Science and Engineering ; 62
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: QC175.25.R3 G739 2008.

Place hold Add to cart
1160.
Information Security Applications [electronic resource] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers / edited by Sehun Kim, Moti Yung, Hyung-Woo Lee. by Series: Lecture Notes in Computer Science ; 4867
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 K56 2007.

Place hold Add to cart
Pages

Powered by Koha