Your search returned 48 results.

Sort
Results
31.
Deformable Models [recurso electrónico] : Theory and Biomaterial Applications / by Jasjit S. Suri, Aly A. Farag. por Series Topics in Biomedical Engineering. International Book Series
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, 2007 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 610.28.

32.
Algorithmic Randomness and Complexity [recurso electrónico] / by Rodney G. Downey, Denis R. Hirschfeldt. por Series Theory and Applications of Computability, In cooperation with the association Computability in Europe
Edición: 1.
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, 2010 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 518.1.

33.
New Computational Paradigms [recurso electrónico] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. 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 004.0151.

34.
Do-All Computing in Distributed Systems [recurso electrónico] : Cooperation in the Presence of Adversity / by Chryssis Georgiou, Alexander A. Shvartsman. 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, 2008 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.6.

35.
36.
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.

37.
Information Theory and Statistical Learning [electronic resource] / edited by Frank Emmert-Streib, Matthias Dehmer. 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)Colección, signatura topográfica: Libro electrónico 004.0151.

38.
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).

39.
The Courant-Friedrichs-Lewy (CFL) Condition [electronic resource] : 80 Years After Its Discovery / edited by Carlos A. de Moura, Carlos S. Kubrusly. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston : Birkhäuser Boston : Imprint: Birkhäuser, 2013 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 518.

40.
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. por Series Undergraduate Topics in Computer Science
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, 2011 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151.

41.
Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek. por Series Undergraduate Topics in Computer Science
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 004.0151.

42.
Concise Guide to Computation Theory [electronic resource] / by Akira Maruoka. por
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, 2011 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151.

43.
Systems Approaches and Their Application [electronic resource] : Examples from Sweden / edited by Mats-Olov Olsson, Gunnar Sjöstedt. por
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 519.

44.
45.
Self-Organizing Natural Intelligence [electronic resource] : Issues of Knowing, Meaning, and Complexity / by Myrna Estep. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1).

46.
SAT 2005 [electronic resource] : Satisfiability Research in the Year 2005 / edited by Enrico Giunchiglia, Toby Walsh. por
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 006.3.

47.
Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya. 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.3815.

48.
Pages