Su búsqueda retornó 17 resultados.

Ordenar
Resultados
1.
2.
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.
3.
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.
4.
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.
5.
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.
6.
7.
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.
8.
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.
9.
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.
10.
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.
11.
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.
12.
13.
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.
14.
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.
15.
Las redes de Petri : en la automática y la informática / Manuel Silva. por
Detalles de publicación: Madrid : AC, 1985
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 S586 .
16.
Automata studies / ed. Claude Elwood Shannon, John Carthy. por Series Annals of mathematics studies ; no. 34
Detalles de publicación: Princeton : Princeton University, 1956
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1 S528 .
17.
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)