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
Search
Search:
All of DSpace
FCUP - Faculdade de Ciências
FCUP - Capítulo ou Parte de Relatório
for
Current filters:
Title
Author
Subject
Date Issued
Document Type
Access types
Scientific areas
identifier
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document Type
Access types
Scientific areas
identifier
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-2 of 2 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
Type
2020-07
On the Establishment of URBiNAT's Community of Practice (CoP)
José Lameiras
Capítulo ou Parte de Relatório
2010
A tool for automatic model extraction of Ada/SPARK programs
André Carvalho
;
Nuno Silva
;
Simão Melo de Sousa
;
Nelma Moreira
Capítulo ou Parte de Relatório
Discover
Author
1
André Carvalho
1
José Lameiras
1
Nelma Moreira
1
Nuno Silva
1
Simão Melo de Sousa
.
next >
Subject
1
Ciência de computadores, Ciências...
1
Computer science, Computer and in...
Date issued
1
2020
1
2010
