Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Fechar
  • Menu
Teses
supervisionadas

Teses supervisionadas por José Nuno Oliveira

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Autor Rogério António da Costa Pontes

Grau MSc

Ano 2015

Instituição UM

Automatic Rewrite Proofs by Reflection in Agda

Autor Victor Cacciari Miraldo

Grau MSc

Ano 2015

Instituição UM

Pointfree Program Calculation — Theory and Applications

Autor Claudia Monica Necco

Grau PhD

Ano 2015

Instituição UM