Refinar su búsqueda

Su búsqueda retornó 85 resultados.

Ordenar
Resultados
1.
Neural computation.
Detalles de publicación: Cambridge,MA, US : MIT Press, 1989-
Disponibilidad: Ítems disponibles para préstamo: FaMAF (80)Signatura topográfica: Neural computation 1 1994, ...
2.
Learning Spark / Holden Karau, Andy Konwinski, Patrick Wendell, and Matei Zaharia. por
Detalles de publicación: Sebastopol, CA : O'Reilly, 2015
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 L438.
3.
Principles of cyber-physical systems / Rajeev Alur. por
Detalles de publicación: Cambridge, Massachusetts : MIT, 2015
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2 A471.
4.
Practical foundations for programming languages / Robert Harper. por
Detalles de publicación: Cambridge ; ; New York : Cambridge University, 2013
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 H293.
5.
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.
6.
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.
7.
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.
8.
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.
9.
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.
10.
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.
11.
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.
12.
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.
13.
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.
14.
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.
15.
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.
16.
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.
17.
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.
18.
Introduction to the theory of computation / Michael Sipser. por
Edición: 2nd ed.
Detalles de publicación: Australia : Course Technology, Cengage Learning, c2006
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 S618.
19.
Theory of computation / Dexter C. Kozen por Series Texts in computer science
Detalles de publicación: London : Springer, 2006
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 K88.
20.
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna. por
Detalles de publicación: Berlin : Springer, 2007
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 B811.
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)