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.
Operational semantics
Adecuación computacional
2
Algebra
2
Bracketing
2
Categorical semantics
2
Coherencia
2
Complex networks
2
Computation theory
2
Computational networks
2
Computer programming languages
2
Corrección de compiladores
2
Denotational semantics
2
Distributed computer systems
2
Linear temporal logic
2
Logic and verification
2
Mecanización
2
Middleware
2
Model-checking techniques
2
Reconfigurable hardware
2
Relaciones lógicas
2
Relational network
2
Semantics
2
Service execution
2
Service oriented computing
2
Service-oriented softwares
2
Software design
2
Theory of computation
2
-
1por Gadea, Alejandro Emilio
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
2
-
3
-
4por Gadea, Alejandro Emilio
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)publishedVersion doctoralThesis