Biblioteca Digital
Depositar
Políticas
Formularios
Eventos
Colecciones
Tesis de Posgrado
Tesis de Grado
Trabajos Finales
Artículos
Programas
Publicaciones
Reportes Técnicos
Libros
Archivo
Fotografías
Archivo Oral de la Memoria - EXACTAS UBA
Publicaciones
Exactamente
La Ménsula
Anales AFA
El Hornero
Ecología Austral
El Cable
QED
QuimicaViva
Chemia
Holmbergia
Biblioteca Digital Exactas
Programa
Todo
Nombre de la asignatura
Docente a cargo
Año
Resolución de aprobación
Departamento
Navegar
Últimos publicados
Año
Nombre de la asignatura
Docente
Departamento
Colección
Datos
Estadísticas
Lista de
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z
Szasz, Nora
2
Aplicaciones Computacionales de la Demostración Asistida de Teoremas Usando Coq (2004)
. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Taller de Producción de Programas sin Fallas (2001)
. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274
Biblioteca
Campus Virtual
Trámites
Intranet
Webmail
Contacto
UBA
