Your search returned 14 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.
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.

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

6.
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. 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.6 M55 2006.

7.
Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich. 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: QA76.64 T66 2005.

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

9.
10.
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.

11.
Security in E-Learning [electronic resource] / by Edgar Weippl. by Series: Advances in Information Security ; 16
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: HD30.2 .W524 2005.

12.
Guide to RISC Processors [electronic resource] : for Programmers and Engineers / by Sivarama P. Dandamudi. by
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: QA76.5 D25 2005.

13.
Introduction to Assembly Language Programming [electronic resource] : For Pentium and RISC Processors / by Sivarama P. Dandamudi. by Series: Texts 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: QA76.73.A87 D36 2005.

14.
Multimedia Introduction to Programming Using Java [electronic resource] / by David Gries, Paul Gries. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : David Gries and Paul Gries, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 G74 2005.

Pages

Powered by Koha