CENTROS
DEPARTAMENTOS
BIBLIOTECA
INFO PARA...
Estudantes
PAS
PDI
Empresas
A televisión da UVigo en Internet
Toggle navigation
TOGGLE SEARCH
Search
Submit
ES /
GL
Menú
Servizo
F.A.Q.
Mediateca por meses
Mediateca completa
Clases e polimedias
UvigoTV en:
iTunes U
Youtube EDU
Directo
Canle Directo 1
Canle Directo 2
Mediateca
1970 Series
20829 Videos
7836.42 Horas
Próximos directos
Non hai eventos neste momento
Contacto
tv@uvigo.es
Login
Iniciar sesión
Séguenos:
Galego
Español
Galego
Buscar
Submit
INICIO
'UVIGOTV'
Can Algebraic Geometry Rescue Program Verification?
Menú
Servizo
F.A.Q.
Mediateca por meses
Mediateca completa
Clases e polimedias
UvigoTV en:
iTunes U
Youtube EDU
Directo
Canle Directo 1
Canle Directo 2
Mediateca
1970 Series
20829 Videos
7836.42 Horas
Próximos directos
Non hai eventos neste momento
Contacto
tv@uvigo.es
Login
Iniciar sesión
Séguenos:
Galego
Español
Galego
Can Algebraic Geometry Rescue Program Verification?
Sala de Xuntas do Departamento de Matemática Aplicada I, Escola Técnica Superior de Enxeñería de Telecomunicación - Campus de Vigo (Lagoas, Marcosende)
Tweet
Can Algebraic Geometry Rescue Program Verification?
15 de maio de 2007
Vídeo privado
|
Inglés
(59' 04'') | Visto:
627
veces
Ponente: Deepak Kapur
Department of Computer Science, University of New Mexico Albuquerque, NM USA
Powered by
PuMuKIT 3.5.5