Su búsqueda retornó 15 resultados.

Ordenar
Resultados
1.
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.
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.
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.
7.
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.
8.
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.
9.
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.
10.
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.
11.
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.
12.
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 .
13.
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 .
14.
Introduction to the theory of complexity / Daniel Pierre Bovet, Pierluigi Crescenzi. por Series Prentice-Hall international series in computer science
Detalles de publicación: New York : Prentice-Hall, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F1.3 B783 , ...
15.
Automata and computability. Dexter C. Kozen. por Series Undergraduate texts in computer science
Detalles de publicación: New York : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 K88 .
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)