Refinar su búsqueda

Su búsqueda retornó 53 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.
Aplicación de redes neuronales en la clasificación de imágenes / Florencia Mihaich. por
Detalles de publicación: [S.l. : s.n. ], 2014
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 17 - 22150.
3.
4.
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.
5.
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.
6.
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.
7.
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.
8.
9.
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.
10.
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.
11.
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.
12.
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.
13.
14.
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.
15.
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.
16.
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 .
17.
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 .
18.
19.
Algorithms and data structures / ed. Frank Dehne, Andrew Rau-Chaplin. por Series Lecture notes in computer science ; v. 1272 | LNCS ; v. 1272
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1272 .
20.
CONCUR - 1994 : Concurrency theory / ed. Bengt Jonsson, Joachim Parrow. por Series Lecture notes in computer science ; v. 836 | LNCS ; v. 836
Detalles de publicación: Berlin : Springer, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 836 .
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)