Your search returned 343 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
201.
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
202.
203.
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
204.
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. 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: QA76.76 V47 B46 2008.

Place hold Add to cart
205.
206.
ECOOP 2006 – Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings / edited by Dave Thomas. by Series: Lecture Notes in Computer Science ; 4067
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.64 T46 2006.

Place hold Add to cart
207.
Beginning Game Development with Python and Pygame [electronic resource] : From Novice to Professional / by Will McGugan. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Will McGugan, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C672 M34 2007.

Place hold Add to cart
208.
Practical Aspects of Declarative Languages [electronic resource] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings / edited by Michael Hanus. by Series: Lecture Notes in Computer Science ; 4354
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.7 H36 2007.

Place hold Add to cart
209.
Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Series: Lecture Notes in Computer Science ; 4405
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 P33 2007.

Place hold Add to cart
210.
211.
.NET 2.0 for Delphi Programmers [electronic resource] / by Jon Shemitz. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Jon Shemitz, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 S54 2006.

Place hold Add to cart
212.
213.
Beginning ASP.NET 2.0 in C# 2005 [electronic resource] : From Novice to Professional / by Matthew MacDonald. by
Edition: 2.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Matthew MacDonald, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 M33 2006.

Place hold Add to cart
214.
Beginning MapServer [electronic resource] : Open Source GIS Development / by Bill Kropla. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Bill Kropla, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: G70.212 K76 2005.

Place hold Add to cart
215.
Beginning ASP.NET 2.0 in VB 2005 [electronic resource] : From Novice to Professional / by Matthew MacDonald. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Matthew MacDonald, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 M33 2006.

Place hold Add to cart
216.
Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Series: Lecture Notes in Computer Science ; 3382
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.758 O34 2005.

Place hold Add to cart
217.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / edited by Sundar Sarukkai, Sandeep Sen. by Series: Lecture Notes in Computer Science ; 3821
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.751 S27 2005.

Place hold Add to cart
218.
CONCUR 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns. by Series: Lecture Notes in Computer Science ; 4137
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.58 B35 2006.

Place hold Add to cart
219.
Middleware 2006 [electronic resource] : ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings / edited by Maarten Steen, Michi Henning. by Series: Lecture Notes in Computer Science ; 4290
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.M54 S74 2006.

Place hold Add to cart
220.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / edited by V. Arvind, Sanjiva Prasad. by Series: Lecture Notes in Computer Science ; 4855
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.751 A78 2007.

Place hold Add to cart
Pages

Powered by Koha