Refinar su búsqueda

Su búsqueda retornó 37 resultados.

Ordenar
Resultados
1.
Finite model theory and computational complexity / Xavier Caicedo. por Series Apuntes de matemática ; 32
Detalles de publicación: Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 68 C133.
2.
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.
3.
Lógicas modales con datos infinitos / Gisela C. Rossi. por
Detalles de publicación: [S.l. : s.n. ], 2015
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, 2015.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 19 - 22290.
4.
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.
5.
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.
6.
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.
7.
8.
9.
Symbolic and algebraic computation / ed. Patrizia Gianni. por Series Lecture notes in computer science ; v. 358 | LNCS ; v. 358
Detalles de publicación: Berlin : Springer, 1989
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 358 .
10.
11.
Estructuras algebraicas / Lía Oubiña, Rubén Zucchello. por
Detalles de publicación: La Plata : Exacta, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: M 06 O93 , ...
12.
Formal language theory : perspectives and open problems / edited by Ronald V. Book. por
Detalles de publicación: New York : Academic Press, 1980
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 F723 .
13.
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman. por
Detalles de publicación: Reading, Mass. : Addison-Wesley, 1979
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C C1.3 H791i , ...
14.
The language of first-order logic : Jon Barwise, John Etchemendy. ncluding the IBM-compatible Windows version of Tarski's world 4.0 / por Series CSLI Lecture notes ; no. 34
Edición: 3a. ed. rev. and aum.
Detalles de publicación: Stanford : Centre for the study of language and information, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: M 03 B296 .
15.
Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi. por
Detalles de publicación: New York : Wiley J., 1987
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F0 M273.
16.
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró. por Series EATCS monographs on theoretical computer science ; v. 11, 22
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F2 B174 v.2, ...
17.
18.
Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson. por Series Series of books in the mathematical sciences
Detalles de publicación: New York : Freeman W. H., 1979
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F2 G229 ej.2, ...
19.
Fundamentals of computation theory : 0th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings / ed. Horst Reichel. por Series Lecture notes in computer science ; v. 965 | LNCS ; v. 965
Detalles de publicación: Berlin : Springer, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 965 .
20.
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)