Skip navigation

Buscar por Materia Programação (Computadores)

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 8 de 8
Fecha de publicaciónData de defesaTítuloAutor(es)Orientador(es)Coorientador(es):
19-may-20166-abr-2015Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionaisRoriz, Alexandre VazRodrigues, Genaína Nunes-
28-mar-20175-dic-2016Análise e extração de características estruturais e comportamentais para perfis de malwareCaldas, Daniel MendesAlbuquerque, Robson de OliveiraDeus, Flávio Elias Gomes de
25-feb-201629-jun-2015Chronus : um novo suplemento para a redução de dados U-Pb obtidos por LA-MC-ICPMSOliveira, Felipe Valença deDella Giustina, Maria Emilia Schutesky-
27-abr-20172-mar-2017Formalização da terminação de especificações funcionaisRamos, Thiago Mendonça FerreiraAyala-Rincón, Mauricio-
13-mar-201716-dic-2016Honeyselk : um ambiente para pesquisa e visualização de ataques cibernéticos em tempo realOliveira Júnior, Gildásio Antonio deSousa Júnior, Rafael Timóteo deAlbuquerque, Robson de Oliveira
11-oct-201630-jun-2016Maldetect : uma metodologia automatizável de detecção de malwares desconhecidosSantos, Leandro Silva dosAmaral, Dino Macedo-
2004-On automating the extraction of programs from termination proofsKamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio--
16-abr-20208-jul-2019Programação e pensamento computacional no 8º e 9º ano do Ensino Fundamental : um estudo de casoPereira, João Pedro de LimaCosta Júnior, Edson Alves da-