Your search returned 10 results.

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

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

3.
Geometric Fundamentals of Robotics [electronic resource] / by J. M. Selig. by Series: Monographs in Computer Science
Edition: Second Edition.
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: TJ211 S43 2005.

4.
Evolutionary Synthesis of Pattern Recognition Systems [electronic resource] / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec. 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: TA1632 B48 2005.

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

6.
Super-Recursive Algorithms [electronic resource] / by Mark Burgin. by Series: Monographs in Computer Science
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
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.9.A43 B87 2005.

7.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. 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: TA340 M43 2005.

8.
A logical approach to discrete math / David Gries, Fred B. Schneider by Series: Texts and monographs in computer science
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, 1993
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Civil (1)Call number: QA39.2 G75 1993.

9.
A logical approach to discrete math / David Gries, Fred B. Schneider by Series: Texts and monographs in computer science
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, 1994
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA39.2 G75 1994 C:1, ...

10.
Programming in MODULA-2 / Niklaus Wirth. by Series: Texts and monographs in computer science
Edition: 3a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York, NY. : Springer-Verlag, c1985
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (1)Call number: QA76.73.M63 W57 1985.

Pages

Powered by Koha