Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.

 | 
Resultados 11-20 of 59.
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-
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-
27-Jun-202224-Mai-2021Uso de chatbots para apoio ao atendimento de clientes no aplicativo TelegramAlves, Amanda OliveiraBorges, Díbio Leandro-
27-Jun-202225-Mai-2021Estudo de comportamento de usuários de um app : transição de Freemium para PremiumSouza, Alex NascimentoRodrigues, Genaína Nunes-