Skip navigation

Browsing by Subject Programação (Computadores)

Jump to: 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
or enter first few letters:  
Showing results 4 to 8 of 8 < previous 
Issue DateData de defesaTitleAuthor(s)Orientador(es)Coorientador(es):
27-Apr-20172-Mar-2017Formalização da terminação de especificações funcionaisRamos, Thiago Mendonça FerreiraAyala-Rincón, Mauricio-
13-Mar-201716-Dec-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-Apr-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-