Refinar su búsqueda

Su búsqueda retornó 395 resultados.

Ordenar
Resultados
41.
Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos / Gastón Ingaramo. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 16 - 22023.
42.
Algoritmos de refinamiento adaptativo de mallas con aceleración GPU para simulaciones físicas de gran escala / Germán Ceballos. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 14 - 21855.
43.
Programming massively parallel processors : a hands-on approach / by David B. Kirk and Wen-mei W. Hwu. por
Edición: 2a ed.
Detalles de publicación: Amsterdan : Morgan Kaufmann, 2011
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 K591e2.
44.
45.
The (new)Turing omnibus : 66 excursions in computer science / A. K. Dewdney. por
Detalles de publicación: New York : Freeman W. H., c1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 D515.
46.
The P=NP question and Gödel's lost letter / Richard J. Lipton. por
Detalles de publicación: New York. : Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2 L767.
47.
Computational complexity : a conceptual perspective / Oded Goldreich. por
Detalles de publicación: Cambridge : Cambridge University, 2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2 G621.
48.
Perspectives in computation / Robert Geroch. por Series Chicago lectures in physics
Detalles de publicación: Chicago : University of Chicago, c2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F G377.
49.
Quantum State Transfer in Spin Chains / Analia E. Zwick. por Idioma: eng.
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Doctor en Física)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T F ZWI.
50.
No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde. por
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 12 - 21383.
51.
Escalabilidad del Modelo de Potts en entornos distribuidos con OpenMP y MPI / Javier Nicolás Uranga. por
Detalles de publicación: [S.l. : s.n. ], 2012
Nota de disertación: Tesis (Especialista en Servicios y Sistemas Distribuidos)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2012.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: TI SSD URA.
52.
Algorithmic randomness and complexity / Rodney G. Downey, Denis Roman Hirschfeldt. por Series Theory and applications of computability
Detalles de publicación: New York : Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 D74.
53.
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2007
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C C2.4 R281.
54.
55.
Elements of finite model theory / Leonid Libkin. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin ; Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L695.
56.
First steps in modal logic / Sally Popkorn. por
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 P828.
57.
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 A769.
58.
CUDA by example : an introduction to general-purpose GPU programming / Jason Sanders, Edward Kandrot. por
Detalles de publicación: New Jersey : Addison-Wesley, 2011
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 S194.
59.
Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur. por
Detalles de publicación: New York : Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 T114.
60.
The Theory of Timed I/O Automata / Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager. por Series Synthesis lectures on distributed computing theory ; no.5
Edición: 2a ed.
Detalles de publicación: California : Morgan & Claypool Publishers, 2011
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 T396.
Páginas


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)