Your search returned 29 results.

Sort
Results
1.
Genetic Programming Theory and Practice II [recurso electrónico] / edited by Una-May O'Reilly, Tina Yu, Rick Riolo, Bill Worzel. por Series Genetic Programming ; 8
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151.

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

3.
Software Process Modeling [recurso electrónico] / edited by Silvia T. Acuña, Natalia Juristo. por Series International Series in Software Engineering ; 10
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.13.

4.
Principles of Computer Graphics [recurso electrónico] : Theory and Practice Using OpenGL and Maya® / by Shalini Govil-Pai. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 006.6.

5.
A Software Process Model Handbook for Incorporating People's Capabilities [recurso electrónico] / by Silvia Teresita Acuña, Natalia Juristo, Ana María Moreno, Alicia Mon. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.13.

6.
Security in E-Learning [recurso electrónico] / by Edgar Weippl. por Series Advances in Information Security ; 16
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.74.

7.
Reconfigurable Computing [recurso electrónico] : Accelerating Computation with Field-Programmable Gate Arrays / by Maya Gokhale, Paul S. Graham. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815.

8.
Guide to Assembly Language Programming in Linux [recurso electrónico] / by Sivarama P. Dandamudi. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11.

9.
10.
Multimedia Introduction to Programming Using Java [recurso electrónico] / by David Gries, Paul Gries. por
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.

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

12.
Introduction to Assembly Language Programming [recurso electrónico] : For Pentium and RISC Processors / by Sivarama P. Dandamudi. por Series Texts 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.13.

13.
Guide to RISC Processors [recurso electrónico] : for Programmers and Engineers / by Sivarama P. Dandamudi. por
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 004.1.

14.
Genetic Programming Theory and Practice III [recurso electrónico] / edited by Tina Yu, Rick Riolo, Bill Worzel. por Series Genetic Programming ; 9
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 006.

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

16.
Software Verification and Validation [recurso electrónico] : An Engineering and Scientific Approach / by Marcus S. Fisher. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2007 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11.

17.
Genetic Programming Theory and Practice IV [recurso electrónico] / edited by Rick Riolo, Terence Soule, Bill Worzel. por Series Genetic and Evolutionary Computation
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2007 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 006.

18.
Parsing Techniques [recurso electrónico] : A Practical Guide / by Dick Grune, Ceriel J. H. Jacobs. por
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, 2008 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11.

19.
Introduction to C++ Programming and Graphics [recurso electrónico] / by Constantine Pozrikidis. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2007 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.13.

20.
Genetic Programming Theory and Practice V [recurso electrónico] / edited by Rick Riolo, Terence Soule, Bill Worzel. por Series Genetic and Evolutionary Computation Series
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2008 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 006.

21.
Genetic Programming Theory and Practice VI [electronic resource] / edited by Bill Worzel, Terence Soule, Rick Riolo. por Series Genetic and Evolutionary Computation
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

22.
High Assurance Services Computing [electronic resource] / edited by Liang-Jie Zhang, Raymond Paul, Jing Dong. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2009 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

23.
24.
Introduction to Programming with Fortran [electronic resource] : With Coverage of Fortran 90, 95, 2003, 2008 and 77 / by Ian Chivers, Jane Sleightholme. por
Edición: 2nd ed. 2012.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London : Imprint: Springer, 2012 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.13.

25.
Guide to HTML, JavaScript and PHP [electronic resource] : For Scientists and Engineers / by David R. Brooks. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2011 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11.

26.
Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents / by Michael Thielscher. por Series Applied Logic Series ; 33
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2005 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 601.

27.
28.
Mobile Phone Programming [electronic resource] : Application to Wireless Networking / edited by Frank H. P. Fitzek, Frank Reichert. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.382.

29.
Automatic Program Development [electronic resource] : A Tribute to Robert Paige / edited by Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2008 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1.

Pages