Skip navigation
Universitat Oberta de Catalunya
ES
català
español
english
Universitat Oberta
de Catalunya
Inicio
Explora
Todo el repositorio
Buscar elementos por:
Autor
Título
Fecha Publicación
Materia
Ayuda
Identifícate
Identifícate
Alertas
Editar perfil
Repositori Institucional (O2)
Buscar por Autor
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
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 62 a 64 de 64
< Anterior
Fecha de publicación
Título
Autor(es)
2010-11-01
The impact of Max-SAT resolution-based preprocessors on local search solvers
Heras, Federico
;
Baneres, David
;
University College Dublin
;
Universitat Oberta de Catalunya (UOC)
2017-01-10
VerilCIRC Metrics : Metric-aware verification of digital circuits
Rubio Manrique, Enric
;
Universitat Oberta de Catalunya
;
Viejo, Alexandre
;
Baneres, David
2014-06-12
WebGraphEd, an open source graph drawing editor for the web
Ciberta i Tirado, Josep
;
Universitat Oberta de Catalunya
;
Baneres, David
;
Clarisó, Robert