Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
30
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theory of computation
7
Model checking
5
Métodos formales
5
Software
5
Classical general relativity
4
Educación no formal
4
Fundamental problems and general formalism
4
Tolerancia a fallas
4
Logic
3
Teoría de la computación
3
Verificación formal
3
Verification by model checking
3
Asistente de Prueba
2
Associatives rings and algebras
2
Atomic broadcast
2
Cartan connections
2
Chequeos estáticos
2
Comunicación/Educación
2
Conexión de Cartan
2
Coq
2
Dark matter
2
Didáctica
2
Diffential equations
2
Distributed algorithms
2
Distributed computing models
2
Distributed protocols
2
EDPs
2
Ecuaciones diferenciales parciales
2
Educación
2
Educación formal
2
-
21por Trucco, Francisco CarlosMaterias: “...Verificación Formal...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
22por Trucco, Francisco CarlosMaterias: “...Verificación Formal...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
23por Bordenabe, Nicolas EmilioMaterias: “...Verificación formal...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
24por Bordenabe, Nicolas EmilioMaterias: “...Verificación formal...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
25por Restrepo Blandon, Fredy AlexanderMaterias: “...Operadores diferenciales de matrices triangulares formales...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
26por Restrepo Blandon, Fredy AlexanderMaterias: “...Operadores diferenciales de matrices triangulares formales...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
27por Gobbi, Matías FedericoMaterias: “...Formal Language Definitions...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
28por Gobbi, Matías FedericoMaterias: “...Formal Language Definitions...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
29por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
30por Kilmurray, Cecilia NoeliaMaterias: “...Métodos formales...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
31por Zandarin, Nicolás HugoMaterias: “...Métodos formales...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
32por Monti, Raúl EnriqueMaterias: “...Verificación formal...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
33Materias: “...Educación no formal...”
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
34por Zandarin, Nicolás H.Materias: “...Métodos formales...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
35por Naser Pastoriza, Alejandro JoséMaterias: “...Formal verification...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
36por Naser Pastoriza, Alejandro JoséMaterias: “...Formal verification...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
37por Arranz Olmos, SantiagoMaterias: “...Formal methods and theory of security...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
38por Gómez, PatriciaMaterias: “...Educación no formal...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
39por Monti, Raúl EnriqueMaterias: “...Formal languages and automata theory...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
40por Universidad Nacional de Córdoba. Honorable Consejo Superior.Materias: “...Procedimientos formales...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)workingPaper