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
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
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ó Viladrosa, Robert
;
Universitat Oberta de Catalunya
2011-09-01
Grafs i complexitat, setembre 2011
Borges Ayats, Joaquim
;
Clarisó Viladrosa, Robert
;
Masià Fornos, 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ó Viladrosa, Robert
;
Huertas Sánchez, María Antonia
;
Universitat Oberta de Catalunya
;
Megías Jiménez, David
2014-09-01
Grafs i complexitat, setembre 2014
Borges Ayats, Joaquim
;
Clarisó Viladrosa, Robert
;
Masià Fornos, Ramon
;
Pujol Capdevila, Jaume
;
Rifà Coma, Josep
;
Vancells Flotats, Joan
;
Villanueva Gay, Mercè
;
Universitat Oberta de Catalunya
Discover
Author
2
Borges Ayats, Joaquim
2
Masià Fornos, 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