Your search returned 3731 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
3421.
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Series: Lecture Notes in Computer Science ; 4590
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.V47 D36 2007.

Place hold Add to cart
3422.
3423.
Beginning SUSE Linux [electronic resource] : From Novice to Professional / by Keir Thomas. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Keir Thomas, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.O63 T46 2005.

Place hold Add to cart
3424.
Context: Nature, Impact, and Role [electronic resource] : 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005. Proceedings / edited by Fabio Crestani, Ian Ruthven. by Series: Lecture Notes in Computer Science ; 3507
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: Z672.5 C74 2005.

Place hold Add to cart
3425.
3426.
Information Security and Cryptology – ICISC 2004 [electronic resource] : 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / edited by Choon-sik Park, Seongtaek Chee. by Series: Lecture Notes in Computer Science ; 3506
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.A25 P37 2005.

Place hold Add to cart
3427.
Smart and Gets Things Done [electronic resource] : Joel Spolsky’s Concise Guide to Finding the Best Technical Talent / by Joel Spolsky. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Joel Spolsky, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.25 S66 2007.

Place hold Add to cart
3428.
3429.
3430.
3431.
Practical JavaScript™, DOM Scripting, and Ajax Projects [electronic resource] / by Frank W. Zammetti. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Frank W. Zammetti, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J39 Z36 2007.

Place hold Add to cart
3432.
Galileo Galilei — When the World Stood Still [electronic resource] / by Atle Næss. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QB36.G2 N34 2005.

Place hold Add to cart
3433.
The Machines of Leonardo da Vinci and Franz Reuleaux [electronic resource] : Kinematics of Machines from the Renaissance to the 20th Century / by Francis C. Moon. by Series: History of Mechanism and Machine Science ; 2
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: TJ139 M66 2007.

Place hold Add to cart
3434.
ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek. by Series: Lecture Notes in Computer Science ; 5142
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.64 V58 2008.

Place hold Add to cart
3435.
Privacy Enhancing Technologies [electronic resource] : 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007 Revised Selected Papers / edited by Nikita Borisov, Philippe Golle. by Series: Lecture Notes in Computer Science ; 4776
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 B67 2007.

Place hold Add to cart
3436.
3437.
Hexagonal Image Processing [electronic resource] : A Practical Approach / by Lee Middleton, Jayanthi Sivaswamy. by Series: Advances in Pattern Recognition
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1637 M53 2005.

Place hold Add to cart
3438.
Robust Signal Processing for Wireless Communications [electronic resource] / by Frank A. Dietrich. by Series: Foundations in Signal Processing, Communications and Networking ; 2
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: TK5102.9 D54 2008.

Place hold Add to cart
3439.
Cooperative Design, Visualization, and Engineering [electronic resource] : Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 4101
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: TA345 L86 2006.

Place hold Add to cart
3440.
Super-Recursive Algorithms [electronic resource] / by Mark Burgin. by Series: Monographs in Computer Science
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 B87 2005.

Place hold Add to cart
Pages

Powered by Koha