Skip navigation
Communities
Browse
Author
Orientador
Coorientador
Title
Subject
Tipo
Issue Date
Data de defesa
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 Subject Automação
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 9 to 13 of 13
< previous
Issue Date
Data de defesa
Title
Author(s)
Orientador(es)
Coorientador(es):
2004
-
On automating the extraction of programs from termination proofs
Kamareddiney, Fairouz
;
Monin, François
;
Ayala-Rincón, Mauricio
-
-
May-2002
-
Telerobotics : methodology for the development of a through-the-internet robotic teleoperated system
Álvares, Alberto José
;
Romariz Júnior, L. S. J.
-
-
23-Aug-2016
7-Jul-2016
Uma metodologia para o projeto de interfaces homem-máquina orientado a pessoas com deficiência visual, no contexto de ambientes domóticos
Corrêa, Mayra Batista
Llanos Quintero, Carlos Humberto
Kafure Muñoz, Ivette
8-Mar-2013
-
Unification modulo Presburger Arithmetic and other decidable theories
Ayala-Rincón, Mauricio
;
Araújo, Ivan Eid Tavares de
-
-
27-Aug-2019
15-Mar-2019
Valores constitucionais de proteção do trabalhador em face da automação
Cezar, Frederico Gonçalves
Delgado, Gabriela Neves
Roesler, Claudia Rosane
