Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.

 | 
Resultados 11-20 of 86.
Itens encontrados:
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
28-Jun-202228-Mai-2021Uma avaliação comparativa das linguagens Rust e C para o ensino de programaçãoFukuda, Danilo YujiIshikawa, Edison-
29-Jun-202217-Mai-2022Uma proposta para priorização de testes funcionais orientada a modelo de objetivosSilva, Nayara Rossi Brito daRodrigues, Genaína Nunes-
24-Jun-20226-Mai-2022Implantação da rede social descentralizada CICFriend e levantamento inicial de percepção de usuária(o) discenteTorres, Davi Martins; Estevam, Gabriel de OliveiraNóbrega, Germana Menezes da-
26-Jun-20224-Nov-2021Prova automática de teoremas para lógicas confluentesAraújo, Boris Marinho Ramos SilvaNalon, Cláudia-
26-Jun-202216-Nov-2021Motor de workflow semântico para processos de negócios não estruturadosNóbrega, Gabriel Lins eIshikawa, Edison-
25-Jun-202226-Mai-2021Desenvolvimento e teste da ferramenta HMR Sim : um simulador de ambientes multi-robôsGuidini, Giovanni Meneguette; Cardoso, Cristiane NavesRodrigues, Genaína Nunes-
27-Jun-202227-Mai-2021Biblioteca de geração automática de testes de regressão a partir do log de execução de aplicações SaaSDib, Frederico PinheiroRodrigues, Genaína Nunes-
27-Jun-202212-Mai-2021Estudo comparativo de meta-heurísticas : otimização do modelo de alocação na Agência Nacional de Aviação CivilSilva Júnior, Hélio Santana daMarotta, Marcelo Antônio-
27-Jun-20229-Nov-2021Sobre a confluência do cálculo λx na representação nominalBrandão, Caio AlbuquerqueMoura, Flávio Leonardo Cavalcanti de-
27-Jun-202217-Nov-2021Sobre a confluência do cálculo λx com locally nameless representationFonseca, Gabriel Nunes RodriguesMoura, Flávio Leonardo Cavalcanti de-