Your search returned 30 results.

Sort
Results
1.
Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 F57 2007.

2.
Software Process Modeling [electronic resource] / edited by Silvia T. Acuña, Natalia Juristo. by Series: International Series in Software Engineering ; 10
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 S6636 2005.

3.
Parsing Techniques [electronic resource] : A Practical Guide / by Dick Grune, Ceriel J. H. Jacobs. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: P98.5.P38 G78 2005.

4.
Pro Apache Ant [electronic resource] / by Matthew Moodie. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Matthew Moodie, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 M66 2006.

5.
Automatic Quantum Computer Programming [electronic resource] : A Genetic Programming Approach / edited by Lee Spector. by Series: Genetic Programming ; 7
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.889 S64 2007.

6.
AutoCAD 2006 VBA [electronic resource] : A Programmer’s Reference / by Joe Sutphin. by
Edition: 2.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Joe Sutphin, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 S85 2005.

7.
JDBC Recipes [electronic resource] : A Problem-Solution Approach / by Mahmoud Parsian. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Mahmoud Parsian, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 P37 2005.

8.
Guide to Assembly Language Programming in Linux [electronic resource] / by Sivarama P. Dandamudi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.A8 D34 2005.

9.
Beginning Apache Struts [electronic resource] : From Novice to Professional / by Arnold Doray. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Arnold Doray, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 D67 2006.

10.
Beginning J2ME: From Novice to Professional [electronic resource] / by Sing Li, Jonathan Knudsen. by
Edition: Third Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Sing Li and Jonathan Knudsen, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 L5 2005.

11.
Foundations of Java for ABAP Programmers [electronic resource] / by Alistair Rooney. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Alistair Rooney, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 R66 2006.

12.
Expert Spring MVC and Web Flow [electronic resource] / by Seth Ladd, Darren Davison, Steven Devijver, Colin Yates. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Seth Ladd, Darren Davison, Steven Devijver, and Colin Yates, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 L33 2006.

13.
Pro Apache Beehive [electronic resource] / by Kunal Mittal, Srinivas Kanchanavally. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Kunal Mittal and Srinivas Kanchanavally, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 M58 2005.

14.
A Software Process Model Handbook for Incorporating People’s Capabilities [electronic resource] / by Silvia Teresita Acuña, Natalia Juristo, Ana María Moreno, Alicia Mon. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 S66 2005.

15.
16.
Pro JSP 2 [electronic resource] / by Simon Brown, Sam Dalton, Daniel Jepp, David Johnson, Sing Li, Matt Raible ; edited by Kevin Mukhar. by
Edition: Fourth Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Simon Brown, Sam Dalton, Daniel Jepp, Dave Johnson, Sing Li, and Matt Raible, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.J38 B76 2005.

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

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

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

20.
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Series: Monographs in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.54 .P64 2005.

Pages

Powered by Koha