Skip navigation
Communities
Browse
Author
Orientador
Coorientador
Title
Subject
Tipo
Issue Date
???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+
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Voltar
Repositório Institucional da UnB
Browsing by ???browse.type.metadata.unidade??? Departamento de Ciência da Computação (IE CIC)
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:
Sort by:
title
issue date
submit date
Data de defesa
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 551 to 562 of 562
< previous
Issue Date
Data de defesa
Title
Author(s)
Orientador(es)
Coorientador(es):
13-Aug-2024
15-Jun-2023
Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
Ramos, Thiago Mendonça Ferreira
Ayala-Rincón, Mauricio
Muñoz, César Augusto
22-Oct-2014
4-Jul-2014
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Almeida, Ariane Alves
Ayala-Rincón, Mauricio
-
11-May-2011
13-Jul-2010
Verificação de propriedades do cálculo גex em Coq
Carvalho Segundo, Washington Luís Ribeiro de
Moura, Flávio Leonardo Cavalcanti de
-
17-Jul-2015
10-Mar-2015
Verificação de texto manuscrito em dispositivos móveis
Guerin Júnior, Nilson Donizete
Espinoza, Bruno Luiggi Macchiavello
Vidal, Flávio de Barros
2008
2008
Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata
Nogueira, Rodrigo Borges
Ayala-Rincón, Mauricio
-
15-May-2020
26-Jul-2019
Verification of the Dynamic Authorization Protocol
Oliveira, Felipe Rodopoulos de
Nalon, Cláudia
-
13-Aug-2024
18-Jan-2024
Visual and textual feature fusion for document analysis
Drumond, Patrícia Medyna Lauritzen de Lucena
Campos, Teófilo Emídio de
-
7-Dec-2009
2006
Visualização de dados genômicos do fungo Paracoccidioides brasiliensis
Ferreira, Marcos Francisco Ribeiro
Walter, Maria Emília Machado Telles
-
Dec-2019
-
Vocal fold oscillators at large asymmetries
Lucero, Jorge Carlos
;
Pelorson, X.
;
Hirtum, A. V.
-
-
-
18-Feb-2020
What could the source code history tell UsAbout errors
Amaral, Luis Henrique Vieira
Almeida, Rodrigo Bonifácio de
-
Oct-2020
-
What do female students in middle and high schools think about computer science majors in Brasilia, Brazil? : a survey in 2011 and 2019
Holanda, Maristela Terto de
;
Mourão, Roberto N.
;
Borries, George Freitas von
;
Ramos, Guilherme Novaes
;
Araújo, Aletéia Patrícia Favacho de
;
Walter, Maria Emília Machado Telles
-
-
20-Jul-2023
12-Dec-2022
When technical solutions are not enough : analysing challenges at delivery in mixed-signal projects inside design houses : Software Engineering research perspective
Vidigal, Tiago Pereira
Aguiar, Carla Silva Rocha
-