Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automatic Programming
Concurrent Programming
3
Ciencias Informáticas
2
Compilación
2
Deduction and Theorem Proving
2
Informática
2
Language Constructs and Features
2
Monitor
2
Optimización
2
Performance
2
Probador de teoremas
2
Programación concurrente
2
Región crítica condicional
2
SMT solver
2
Semáforo binario dividido
2
Señal
2
Software
2
Educación
1
Interactive systems
1
PROGRAMMING TECHNIQUES
1
aplicaciones informáticas
1
python; automatización; presentaciones interactivas; live coding
1
semáforos binarios divididos
1
-
1por Barsotti, Damián
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Osella Massa, Germán Leandro, De Vito, Cecilia, Russo, Claudia Cecilia, Ramón, Hugo Dionisio
Publicado 2016Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4
-
5por Barsotti, Damián
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis