Refine your search

Your search returned 932 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
761.
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. by Series: Lecture Notes in Computer Science ; 4218
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.A96 G73 2006.

Place hold Add to cart
762.
Pro OpenSSH [electronic resource] / by Michael Stahnke. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Michael Stahnke, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.O63 S73 2006.

Place hold Add to cart
763.
Value-Range Analysis of C Programs [electronic resource] : Towards Proving the Absence of Buffer Overflow Vulnerabilities / edited by Axel Simon. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.C15 S56 2008.

Place hold Add to cart
764.
Enterprise Interoperability III [electronic resource] : New Challenges and Industrial Approaches / edited by Kai Mertins, Rainer Ruggaber, Keith Popplewell, Xiaofei Xu. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 I57 2008.

Place hold Add to cart
765.
Human-Computer Interaction. Interaction Design and Usability [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Julie A. Jacko. by Series: Lecture Notes in Computer Science ; 4550
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.H85 J35 2007.

Place hold Add to cart
766.
767.
768.
Open Source Messaging Application Development [electronic resource] : Building and Extending Gaim / by Sean Egan. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Sean Egan, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 E33 2005.

Place hold Add to cart
769.
770.
771.
772.
Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures / edited by Varmo Vene, Tarmo Uustalu. by Series: Lecture Notes in Computer Science ; 3622
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.62 V46 2005.

Place hold Add to cart
773.
Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Series: Lecture Notes in Computer Science ; 4727
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: TK7895.E42 P35 2007.

Place hold Add to cart
774.
Security in Pervasive Computing [electronic resource] : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings / edited by Dieter Hutter, Markus Ullmann. by Series: Lecture Notes in Computer Science ; 3450
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.5915 H88 2005.

Place hold Add to cart
775.
776.
Advanced Parallel Processing Technologies [electronic resource] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu. by Series: Lecture Notes in Computer Science ; 4847
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.642 X8 2007.

Place hold Add to cart
777.
Lego Mindstorms NXT-G Programming Guide [electronic resource] / by James Floyd Kelly. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.45 K45 2007.

Place hold Add to cart
778.
Maturing Usability [electronic resource] : Quality in Software, Interaction and Value / edited by Effie Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton. by Series: Human-Computer Interaction Series
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.U83 L39 2008.

Place hold Add to cart
779.
Workflows for e-Science [electronic resource] : Scientific Workflows for Grids / edited by Ian J. Taylor, Ewa Deelman, Dennis B. Gannon, Matthew Shields. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q180.55.E4 T39 2007.

Place hold Add to cart
780.
Beginning Databases with PostgreSQL [electronic resource] : From Novice to Professional / by Neil Matthew, Richard Stones. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Neil Matthew and Richard Stones, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 M38 2005.

Place hold Add to cart
Pages

Powered by Koha