Instituto de Computação   Departamento de Teoria da Computação   Produções Livros publicados      Livros Didáticos         Publicados sem reedição