Skip navigation
Universitat Oberta de Catalunya
EN
català
español
english
Universitat Oberta
de Catalunya
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Issue Date
Subject
Help
Log in
Log in
Receive email
updates
Edit Profile
Repositori Institucional (O2)
Search
Search:
All the O2
Docència
Economía y Empresa
Matemáticas y estadística
Recursos de aprendizaje UOC
for
Current filters:
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Type of publication
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
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-4 of 4 (Search time: 0.003 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2010-02-01
Formalization and Proofs, february 2010
Clarisó, Robert
;
Universitat Oberta de Catalunya
2011-09-01
Grafs i complexitat, setembre 2011
Borges, Joaquim
;
Clarisó, Robert
;
Masià, Ramon
;
Pujol Capdevila, Jaume
;
Rifà Coma, Josep
;
Vancells Flotats, Joan
;
Villanueva Gay, Mercè
;
Universitat Oberta de Catalunya
2014-09-01
Grafs i complexitat, setembre 2014
Borges, Joaquim
;
Clarisó, Robert
;
Masià, Ramon
;
Pujol Capdevila, Jaume
;
Rifà Coma, Josep
;
Vancells Flotats, Joan
;
Villanueva Gay, Mercè
;
Universitat Oberta de Catalunya
2010-02-01
Formal Proof : Understanding, writing and evaluating proofs, february 2010
Clarisó, Robert
;
Huertas, M. Antonia
;
Universitat Oberta de Catalunya
;
Megias, David
Discover
Author
2
Borges, Joaquim
2
Masià, Ramon
2
Pujol Capdevila, Jaume
2
Rifà Coma, Josep
2
Vancells Flotats, Joan
.
next >
Subject
4
CIRAX
2
algorismes
2
algorithms
2
algoritmos
2
complejidad computacional
.
next >
Date issued
1
2014
1
2011
2
2010