Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Document Type
Access types
Scientific areas
Scientific areas (cloud format)
Help
Idioma
English
português
Repositório Aberto da Universidade do Porto
Browsing by Subject Sistemas operativos
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
Author
Submit date
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 1 to 5 of 5
Issue Date
Title
Author(s)
Type
2008
EdgeBOX high-availability
Covas, António Nuno Bacelar Martins Barreiro
Dissertação
2008
Formal development of solutions for real-time operating systems with TLA+/TLC
Faria, José Miguel Sampaio
Dissertação
2009
HP OpenView : ferramentas automáticas de operação e manutenção
Brito, Bruno José da Silva
Dissertação
2008
Suporte de gestão de memória em RTEMS na Critical Software
Neves, André Costa
Dissertação
2009
VIC4C - Computer Visual Interface Concept for Children : análise e desenvolvimento de um novo conceito de interface gráfica computadores
Almeida, Mafalda Sofia Tavares Gomes de
Dissertação