Your search returned 612 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
341.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Series: Lecture Notes in Computer Science ; 4144
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.V47 B35 2006.

Place hold Add to cart
342.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4790
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: QA76.63 D47 2007.

Place hold Add to cart
343.
344.
345.
Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn. by Series: Lecture Notes in Computer Science ; 4602
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.D314 B37 2007.

Place hold Add to cart
346.
Data and Applications Security XXII [electronic resource] : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / edited by Vijay Atluri. by Series: Lecture Notes in Computer Science ; 5094
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.9.D314 A85 2008.

Place hold Add to cart
347.
348.
349.
Reflections on the Teaching of Programming [electronic resource] : Methods and Implementations / edited by Jens Bennedsen, Michael E. Caspersen, Michael Kölling. by Series: Lecture Notes in Computer Science ; 4821
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.6 B46 2008.

Place hold Add to cart
350.
Web Component Development with Zope 3 [electronic resource] / by Philipp Weitershausen. by
Edition: Second Revised and Enlarged Edition.
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.8885.Z65 W45 2007.

Place hold Add to cart
351.
Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. by Series: Lecture Notes in Computer Science ; 4719
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.L63 B33 2007 .

Place hold Add to cart
352.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti. by Series: Lecture Notes in Computer Science ; 4548
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 O45 2007.

Place hold Add to cart
353.
COTS-Based Software Systems [electronic resource] : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings / edited by Xavier Franch, Daniel Port. by Series: Lecture Notes in Computer Science ; 3412
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.M3 F73 2005.

Place hold Add to cart
354.
Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers / edited by Peter Roy. by Series: Lecture Notes in Computer Science ; 3389
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.6 R69 2005.

Place hold Add to cart
355.
Value-Based Software Engineering [electronic resource] / edited by Stefan Biffl, Aybüke Aurum, Barry Boehm, Hakan Erdogmus, Paul Grünbacher. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
356.
357.
Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings / edited by Pascal Hentenryck. by Series: Lecture Notes in Computer Science ; 3819
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.7 H46 2006.

Place hold Add to cart
358.
Service-Oriented Computing – ICSOC 2007 [electronic resource] : Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan. by Series: Lecture Notes in Computer Science ; 4749
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.D5 K73 2007.

Place hold Add to cart
359.
360.
Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings / edited by Sébastien Tixeuil, Ted Herman. by Series: Lecture Notes in Computer Science ; 3764
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.S54 T59 2005.

Place hold Add to cart
Pages

Powered by Koha