Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
Percorrer por orientadores 88
Índice:
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
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 1-20 de um total de 22 resultados.
próximo >
Data
Título
Autor(es)
Tipo
Acesso
14-Jun-2012
Analysing call graphs for software architecture quality profiling
Couto, Luís Diogo Monteiro Duarte
Dissertação de mestrado
Acesso aberto
15-Jan-2024
Back to programming from Galois connections
Pereira, Paulo Ricardo Antunes
Dissertação de mestrado
Acesso aberto
7-Mai-2012
Benchmark-based software product quality evaluation
Alves, Tiago Miguel Laureano
Tese de doutoramento
Acesso aberto
17-Set-2012
Bidirectional data transformation by calculation
Pacheco, Hugo José Pereira
Tese de doutoramento
Acesso aberto
9-Jan-2020
Exploring rust for embedded and critical systems
Pinho, André Brandão de
Dissertação de mestrado
Acesso aberto
12-Fev-2004
Formalizing markup languages for user interface
Ferreira, Luís Gonzaga Martins
Dissertação de mestrado
Acesso aberto
11-Mai-2009
Foundations of program refinement by calculation
Rodrigues, César J.
Tese de doutoramento
Acesso aberto
5-Abr-2012
From natural language requirements to formal descriptions in Alloy through boilerplates
Cadete, Daniel Nascimento
Dissertação de mestrado
Acesso aberto
3-Ago-2023
Functional programming for explainable AI
Esteves, Gonçalo José Azevedo
Dissertação de mestrado
Acesso aberto
2022
Greedy and dynamic programming by calculation
Pinho, Alexandre Mendonça
Dissertação de mestrado
Acesso aberto
13-Dez-2011
Invariant detection meets Random test case generation
Veloso, Tiago Alves
Dissertação de mestrado
Acesso aberto
16-Out-2012
Matrices as arrows: why categories of matrices matter
Macedo, Hugo Daniel
Tese de doutoramento
Acesso restrito UMinho
29-Jul-2022
On conditional quantum control
Carvalho, Daniel Almeida
Dissertação de mestrado
Acesso aberto
16-Nov-2009
On the design of a Galculator
Silva, Paulo Filipe Araújo da
Tese de doutoramento
Acesso aberto
2004
pGML - estudo de um subconjunto "preciso" do GML 2.12
Henriques, Mário Ricardo de Novais
Dissertação de mestrado
Acesso restrito UMinho
2021
Selective applicative functors & probabilistic programming
Santos, Armando João Isaías Ferreira dos
Dissertação de mestrado
Acesso aberto
26-Jul-2021
Towards a quantitative alloy
Silva, Pedro Faria Durães da
Dissertação de mestrado
Acesso aberto
14-Jun-2023
Towards a typed linear algebra formal semantics for spreadsheets
Azevedo, Rui Filipe Brito
Dissertação de mestrado
Acesso aberto
2018
Towards an efficient OLAP engine based on linear algebra
Afonso, João Miguel
Dissertação de mestrado
Acesso aberto
2018
Towards quantum program calculation
Neri, Ana Isabel Carvalho
Dissertação de mestrado
Acesso aberto