Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
19
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theory of computation
Logic
9
Teoría de la computación
7
Logic and verification
6
Coq
4
Design and analysis of algorithms
4
Forcing
4
Proof theory
4
Lógica
3
Métodos formales
3
Tolerancia a fallas
3
Adecuación computacional
2
Algoritmo
2
Algoritmos
2
Asistente de Prueba
2
Asistentes de prueba
2
Atomic broadcast
2
Bracketing
2
Categorical semantics
2
Clase de complejidad
2
Coherencia
2
Compilers
2
Complejidad computacional
2
Complexity classes
2
Complexity classes; Problems, Reductions and completeness; Circuit complexity, Interactive proof systems
2
Computational complexity and cryptography
2
Computing methodologies
2
Constraint and logic programming
2
Constricción y programación lógica
2
Construcción de funciones heurísticas
2
-
1por Morales, MarianelaMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Morales, MarianelaMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Naser Pastoriza, Alejandro JoséMaterias: “...Distributed computing models...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
4por Naser Pastoriza, Alejandro JoséMaterias: “...Distributed computing models...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
5por Mihaich, FlorenciaMaterias: “...Models of computation...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Steinberg, Matías UrielMaterias: “...Theory of computation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Steinberg, Matías UrielMaterias: “...Theory of computation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis -
8por Demarco Vedelago, LeandroMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Demarco Vedelago, LeandroMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10por Saravia, Andrés RománMaterias: “...Theory of computation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
11por Saravia, Andrés RománMaterias: “...Theory of computation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
12por Tiraboschi, IgnacioMaterias: “...Theory of computation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
13por Kolodny, MarcosMaterias: “...Theory of computation...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
14por Kolodny, MarcosMaterias: “...Theory of computation...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
15por Tiraboschi, IgnacioMaterias: “...Theory of computation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
16por Kilmurray, Cecilia NoeliaMaterias: “...Theory of computation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
17por Kilmurray, Cecilia NoeliaMaterias: “...Theory of computation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
18por Made Vollenweider, IgnacioMaterias: “...Theory of computation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
19por Made Vollenweider, IgnacioMaterias: “...Theory of computation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
20por Incatasciato, Guillermo LuisMaterias: “...Theory of computation...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis