CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 40 results. Subscribe to this search

|
Framework para aprendizaje activo / Agustín Daniel Márquez Braconi, directora Laura Alonso Alemany.

by Márquez Braconi, Agustín Daniel, 1991- | Alonso i Alemany, Laura, 1977- [directora].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2019Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. Online access: Acceso digital RDU-UNC Availability: Items available for loan: [Call number: TE C MARf] (1).
Lists:
Formalización de fundaciones de la matemática y compiladores correctos por construcción / Emmanuel Gunther, director Miguel M. Pagano.

by Gunther, Emmanuel, 1987- | Pagano, Miguel María, 1979- [director].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2019Dissertation note: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. Availability: Items available for loan: [Call number: T C GUN] (1).
Lists:
Biortogonalidad para corrección de compiladores y adecuación computacional / Alejandro E. Gadea, director Miguel M. Pagano.

by Gadea, Alejandro Emilio, 1986- | Pagano, Miguel María, 1979- [director].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2019Dissertation note: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. Availability: Items available for loan: [Call number: T C GAD] (1).
Lists:
Selección de componentes discretos para un filtro activo mediante programación por restricciones y optimización por colonia de hormigas / Leandro Demarco Vedelago, director Eduardo Abel Romero.

by Demarco Vedelago, Leandro, 1989- | Romero, Eduardo Abel, 1964- [director].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2019Dissertation note: Tesis (Lic. en Cs de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019 Online access: Acceso dígital RDU-UNC Availability: Items available for loan: [Call number: TE C DEM] (1).
Lists:
Teoría de prueba con etiquetas para lógicas modales intuicionistas / Marianela Morales.

by Morales, Marianela, 1996- | Fervari, Raúl Alberto, 1987- [dir.] | Strassburger, Lutz, 1975- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2019Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C MORt] (1).
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic / Lucas Agustín Rearte.

by Rearte, Lucas Agustín, 1986- | Cherini, Renato, 1981- [dir.] | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2017Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C REA] (1).
Simetrías en lógicas de descripción / Giovanni Rescia.

by Rescia, Giovanni, 1989- | Orbe, Alejandro Ezequiel, 1981-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2016Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017. Online access: Acceso a Versión Digital | RDU-UNC Availability: Items available for loan: [Call number: TE C RES] (1).
Análisis de sentimiento en Twitter : el bueno, el malo y el >:( / Carlos Martín Becerra.

by Becerra, Carlos Martín, 1990- | Alonso i Alemany, Laura, 1977- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2016Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2016. Online access: Acceso a Versión Digital | RDU_UNC Availability: Items available for loan: [Call number: TE C BECa] (1).
Finite model theory and computational complexity / Xavier Caicedo.

by Caicedo, Xavier.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995Availability: Items available for loan: [Call number: M 68 C133] (1).
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang.

by Nielsen, Michael A, 1974- | Chuang, Isaac L, 1968-.

Edition: 10th anniversary ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C F1.2 N669] (1).
Practical foundations for programming languages / Robert Harper.

by Harper, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; ; New York : Cambridge University, 2013Availability: Items available for loan: [Call number: C D3 H293] (1).
Lógicas modales con datos infinitos / Gisela C. Rossi.

by Rossi, Gisela Carla, 1990- | Areces, Carlos Eduardo, 1971- [ dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso RDU-UNC Availability: Items available for loan: [Call number: TE C ROS] (1).
Formalización de la semántica del lenguaje de programacion Lua / Mallku Ernesto Soldevila Raffa.

by Soldevila Raffa, Mallku Ernesto, 1986- | Lima Ventura, Daniel, 1980- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso RDU-UNC Availability: Items available for loan: [Call number: TE C SOL] (1).
Aplicación de redes neuronales en la clasiificación de imágenes / Florencia Mihaiich.

by Mihaich, Florencia, 1987- | Bustos, Oscar Humberto, 1947- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2014Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C MIH] (1).
Perspectives in computation / Robert Geroch.

by Geroch, Robert, 1942-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chicago : University of Chicago, c2009Availability: Items available for loan: [Call number: C F G377] (1).
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (34th : 2007 : Wroclaw, Poland) | Arge, Lars [ed.] | Cachin, Christian [ed.] | Jurdziński, Tomasz [ed.] | Tarlecki, Andrzej [ed.] | European Association for Theoretical Computer Science.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Restricted to SpringerLink subscribers Availability: Items available for loan: [Call number: C LNCS v. 4596] (1).
Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II / Luca Aceto ... [et al.] (eds.).

by international Colloquium on Automata, Languages and Programming (35th : 2008 : Reykjavik, Iceland) | Aceto, Luca [ed.] | Damgard, Ivan [ed.] | Goldberg, Leslie Ann [ed.] | Halldórsson, Magnús M [ed.] | Ingólfsdóttir, Anna [ed.] | Walukiewicz, Igor [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5125 pte.I] (2).
Symbolic and algebraic computation / ed. Patrizia Gianni.

by International Symposium on Symbolic and Algebraic Computation (13º : 1988 : Roma) | Gianni, Patrizia, 1952- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1989Availability: Items available for loan: [Call number: C LNCS v. 358 ] (1).
Mathematical foundations of computer science 1977 : Proceedings / ed. Jozef Gruska.

by Symposium on Mathematical Foundations of Computer Science (6º : 1977 : Tatranská Lomnica, Czechoslovakia) | Gruska, Jozef, 1933- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1977Availability: Items available for loan: [Call number: C LNCS v. 53 ] (1).
Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi.

by Mandrioli, Dino | Ghezzi, Carlo, 1946-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Wiley J., 1987Availability: Items available for loan: [Call number: C F0 M273] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

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

publicofamaf@gmail.com