Localização: IME - Inst. Matemática e Estatística (QA232 K81s )(Acessar)
Localização: ICMC - Inst. Ciên. Mat. Computação (14E01 K81Lr e;1 ) e outros locais(Acessar)