sidebar

Esta é uma versão antiga do documento!

Índice

Início
Curriculum vitae
Ensino
- INF05010: Otimização combinatória
- INF05504/5: Algoritmos avançados
- INF05508: Lógica para computação
- INF05516: Semântica formal
- CMP155: Análise e Desenvolvimento de Algoritmos
Pesquisa
Publicações
Sintaxe desse Wiki

sidebar.1263836713.txt.gz · Esta página foi modificada pela última vez em: 2011/12/19 17:26 (Edição externa)