Your search returned 212 results.

Sort
Results
141.
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.

142.
143.
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.

144.
145.
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.

146.
147.
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.

148.
149.
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.

150.
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.

151.
152.
Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch. by Series: Whitestein Series in Software Agent Technologies
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 U55 2005.

153.
154.
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / edited by Naoki Kobayashi. by Series: Lecture Notes in Computer Science ; 4279
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 K63 2006.

155.
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Series: Lecture Notes in Computer Science ; 4085
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.D47 M57 2006.

156.
157.
Implementing Distributed Systems with Java and CORBA [electronic resource] / by Markus Aleksy, Axel Korthaus, Martin Schader. 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: QA76.9.D5 A44 2005 .

158.
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4608
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.76.C66 S34 2007.

159.
160.
Introduction to Programming with Fortran [electronic resource] / by Ian D. Chivers, Jane Sleightholme. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.F25 C58 2006 .

Pages

Powered by Koha