Skip navigation
Comunidades
Listar
Autor
Orientador
Coorientador
Título
Materia
Tipo
Fecha Publicación
???browse.menu.unidade???
???browse.menu.ppg???
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+
Servicios
Mi DSpace
Alertas
Editar perfil
Voltar
Repositório Institucional da UnB
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:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
Data de defesa
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 8 de 8
Fecha de publicación
Data de defesa
Título
Autor(es)
Orientador(es)
Coorientador(es):
19-may-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-dic-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-feb-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-dic-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-oct-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
-