Clarisó, Robert
Clarisó Viladrosa, Robert
Robert Clarisó
VIAF ID: 305861866 (Personal)
Permalink: http://viaf.org/viaf/305861866
Preferred Forms
-
- 100 1 _ ‡a Clarisó, Robert
-
-
- 100 1 _ ‡a Clarisó, Robert
- 100 0 _ ‡a Robert Clarisó
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Abstract interpretation techniques for the verification of timed systems | |
Arbres | |
Complexitat computacional | |
Entorn per optimització i generació de codi | |
Exposición de contenidos en vídeo | |
Fonaments de grafs | |
Formal Proof : Understanding, writing and evaluating proofs | |
Formative assessment, learning data analytics and gamification : in ICT education | |
Metodologies àgils | |
Problemes intractables | |
Recorreguts i connectivitat | |
Representació del coneixement. | |
Tecnología y desarrollo en dispositivos móviles | |
Treball final de màster |