Skip navigation
Comunidades e Coleções
Navegar
Autor
Orientador
Coorientador
Título
Assunto
Tipo
Data de publicação
Unidade Acadêmica
Programa de pós-graduação
Documentos
Portaria n.13 CAPES
Resolução - Política de Informação do RIUnB
Resolução VRT n.27-2014 - Alteração de Teses e Dissertações
Creative Commons
Termo de Autorização - Teses e Dissertações
Termo de Autorização - Artigos e Outros
Modelo de Justificativa - Publicação Parcial
Modelo de Justificativa - Extensão de Prazo
A-
A
A+
Entrar em:
Meu espaço
Receber atualizações por e-mail
Editar perfil
Voltar
Repositório Institucional da UnB
Navegando por Assunto Programação (Computadores)
Ir para:
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
ou entre com as primeiras letras:
Classificar por:
Título
Data de publicação
Data de depósito
Data de defesa
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 8 de 8
Data de publicação
Data de defesa
Título
Autor(es)
Orientador(es)
Coorientador(es)
19-Mai-2016
6-Abr-2015
Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais
Roriz, Alexandre Vaz
Rodrigues, Genaína Nunes
-
28-Mar-2017
5-Dez-2016
Análise e extração de características estruturais e comportamentais para perfis de malware
Caldas, Daniel Mendes
Albuquerque, Robson de Oliveira
Deus, Flávio Elias Gomes de
25-Fev-2016
29-Jun-2015
Chronus : um novo suplemento para a redução de dados U-Pb obtidos por LA-MC-ICPMS
Oliveira, Felipe Valença de
Della Giustina, Maria Emilia Schutesky
-
27-Abr-2017
2-Mar-2017
Formalização da terminação de especificações funcionais
Ramos, Thiago Mendonça Ferreira
Ayala-Rincón, Mauricio
-
13-Mar-2017
16-Dez-2016
Honeyselk : um ambiente para pesquisa e visualização de ataques cibernéticos em tempo real
Oliveira Júnior, Gildásio Antonio de
Sousa Júnior, Rafael Timóteo de
Albuquerque, Robson de Oliveira
11-Out-2016
30-Jun-2016
Maldetect : uma metodologia automatizável de detecção de malwares desconhecidos
Santos, Leandro Silva dos
Amaral, Dino Macedo
-
2004
-
On automating the extraction of programs from termination proofs
Kamareddiney, Fairouz
;
Monin, François
;
Ayala-Rincón, Mauricio
-
-
16-Abr-2020
8-Jul-2019
Programação e pensamento computacional no 8º e 9º ano do Ensino Fundamental : um estudo de caso
Pereira, João Pedro de Lima
Costa Júnior, Edson Alves da
-