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.
Teoría de la computación
Theory of computation
4
Arboles binarios
2
Computing methodologies
2
Constraint and logic programming
2
Constricción y programación lógica
2
Construcción de funciones heurísticas
2
Design and analysis of algorithms
2
Diseño de filtros
2
Diseño y análisis de algoritmos
2
Filter Design
2
Heuristic function construction
2
Mathematical optimization
2
Memoria dinámica
2
Memory leak
2
Metaheuristics
2
Metaheurística
2
Metodologías informáticas
2
Optimización matemática
2
Program reasoning
2
Program verification
2
Separation logic
2
Shape analysis
2
Theory of Computation
2
Definability
1
Definibilidad
1
Deontic logic
1
Fault tolerance
1
Formal methods
1
Logic
1
-
1por Incatasciato, Guillermo LuisMaterias: “...Logic...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Rearte, Lucas AgustínMaterias: “...Separation logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Rearte, Lucas AgustínMaterias: “...Separation logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Acosta, Araceli NataliaMaterias: “...Deontic logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Demarco Vedelago, LeandroMaterias: “...Constraint and logic programming...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Demarco Vedelago, LeandroMaterias: “...Constraint and logic programming...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis