CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 5 results. Subscribe to this search

|
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas / Diego Piloni.

by Piloni, Diego Ricardo, 1994- | Pagano, Miguel María, 1979- [dir.] | Vilela, Demetrio Martín, 1969- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2018Dissertation 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, 2018. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C PIL] (1).
Semánticas de procesos para sistemas interactivos / Eric Destefanis.

by Destefanis, Eric Alejandro, 1986- | D'Argenio, Pedro Ruben, 1968- [dir.] | Lee, Matías David, 1982- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2013Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Online access: Acceso a Versión Digital. Availability: Items available for loan: [Call number: TE C DES] (1).
No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde.

by Budde, Carlos Esteban, 1988- | D'Argenio, Pedro Ruben, 1968- [dir.] | Sánchez Terraf, Pedro Octavio, 1979- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C BUD] (1).
Algebra básica de procesos probabilistas con iteración prBPA* / Valería K. Becker.

by Becker, Valeria Karina, 1977- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2008Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2008. Availability: Items available for loan: [Call number: TE C BEC] (2).
Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos / Fernando Martín Pastawski.

by Pastawski, Fernando Martín, 1982- | Barthe, Gilles, 1967- [dir.] | Fridlender, Daniel Edgardo, 1964- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n.], 2005Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2005. Availability: Items available for loan: [Call number: TE C PAS] (2).

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