Instituto de Computação   Departamento de Teoria da Computação   Produções Trabalhos Técnicos      Relatórios Técnicos    Desenvolvimento ou geração de trabalhos técnicos         Outros               Outros desenvolvimentos aplicativos