Your search returned 228 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
141.
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
142.
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
143.
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
144.
145.
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
146.
147.
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
148.
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith. by Series: Lecture Notes in Computer Science ; 5000
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.V47 G78 2008.

Place hold Add to cart
149.
Pro J2ME Polish [electronic resource] : Open Source Wireless Java Tools Suite / by Robert Virkus. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Robert Virkus, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 V57 2005.

Place hold Add to cart
150.
151.
152.
Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings / edited by Manuel V. Hermenegildo, Daniel Cabeza. by Series: Lecture Notes in Computer Science ; 3350
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.7 H47 2005.

Place hold Add to cart
153.
154.
Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings. by Series: Lecture Notes in Computer Science ; 3555
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.R44 V37 2005.

Place hold Add to cart
155.
156.
157.
Beginning POJOs [electronic resource] : From Novice to Professional / by Brian Sam-Bodden. by
Edition: 2.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Brian Sam-Bodden, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 S26 2006.

Place hold Add to cart
158.
159.
Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. by Series: Lecture Notes in Computer Science ; 3472
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.T48 B76 2005.

Place hold Add to cart
160.
Pro Apache Tomcat 6 [electronic resource] / by Matthew Moodie ; edited by Kunal Mittal. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Matthew Moodie, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 M66 2007.

Place hold Add to cart
Pages

Powered by Koha