Your search returned 8 results.

Sort
Results
1.
Reverse Engineering of Object Oriented Code [recurso electrónico] / by Paolo Tonella, Alessandra Potrich. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1.

2.
Evolutionary Synthesis of Pattern Recognition Systems [recurso electrónico] / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 006.6.

3.
Super-Recursive Algorithms [recurso electrónico] / by Mark Burgin. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1.

4.
Abstraction, Refinement and Proof for Probabilistic Systems [recurso electrónico] / by Annabelle McIver, Carroll Morgan. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11.

5.
Geometric Fundamentals of Robotics [recurso electrónico] / by J. M. Selig. por Series Monographs in Computer Science
Edición: Second Edition.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 006.3.

6.
Adapting Proofs-as-Programs [recurso electrónico] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1015113.

7.
Software Configuration Management Using Vesta [recurso electrónico] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2006 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1.

8.
Numerical Geometry of Non-Rigid Shapes [recurso electrónico] / by Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel. por Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2009 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

Pages