Your search returned 23 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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.

Place hold Add to cart
2.
New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. 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.58 .N49 2005.

Place hold Add to cart
3.
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.

Place hold Add to cart
4.
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.

Place hold Add to cart
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.

Place hold Add to cart
6.
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.

Place hold Add to cart
7.
An Integrated Approach to Software Engineering [electronic resource] / by Pankaj Jalote. by Series: Texts in Computer Science
Edition: Third Edition.
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.758 J35 2005.

Place hold Add to cart
8.
Ubiquitous and Pervasive Commerce [electronic resource] : New Frontiers for Electronic Business / edited by George Roussos. by Series: Computer Communications and Networks
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: HF5548.32 U25 2006.

Place hold Add to cart
9.
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.

Place hold Add to cart
10.
Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu. by Series: Monographs in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C69 H49 2006.

Place hold Add to cart
11.
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.

Place hold Add to cart
12.
13.
Soft Real-Time Systems [electronic resource] : Predictability vs. Efficiency / by Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo. by Series: Series in Computer Science
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.54 .S56 2005.

Place hold Add to cart
14.
Distributed and Parallel Systems [electronic resource] : From Cluster to Grid Computing / edited by Péter Kacsuk, Thomas Fahringer, Zsolt Németh. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 K33 2007.

Place hold Add to cart
15.
Agent Intelligence Through Data Mining [electronic resource] / by Andreas L. Symeonidis, Pericles A. Mitkas. by Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 14
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.9.D343 S935 2005.

Place hold Add to cart
16.
17.
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.

Place hold Add to cart
18.
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.

Place hold Add to cart
19.
20.
Pages

Powered by Koha