A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(30)
21
(1)
34
(1)
53
(1)
60
(1)
61
(1)
Show More
Show Less
Author
Aguirre, Nazareno Matías
(2)
Novaira, Maria Marta
(2)
Permigiani, Sonia
(2)
Abrate, Raquel Susana
(1)
Aguilar Rodríguez, Adriana
(1)
Aguirre, Jorge
(1)
Banchoff Tzancoff, Claudia M.
(1)
Baum, Gabriel Alfredo
(1)
Bavera, Francisco
(1)
Bazzocco, Javier
(1)
Show More
Show Less
Subject
Software
(31)
Ciencias Informáticas
(30)
Educación
(8)
Informática
(8)
universidad
(5)
Computer Uses in Education
(3)
Ingeniería de software
(3)
Learning
(3)
Verification
(3)
software educativo
(3)
Show More
Show Less
Year
2005
(35)
2012
(20)
2008
(10)
2015
(1)
2016
(1)
2017
(1)
2019
(1)
2020
(1)
Show More
Show Less
Document Type
Sin Especificar
(22)
Tesis
(12)
Artículo
(1)
Show More
Show Less
Language
Español
(31)
Inglés
(4)
Show More
Show Less
Your search
Subject:
Software Program Verification
Year:
2005
Sort by
Score
Title
Year
-
31-35 from
35
results
(0.013 seconds)
Title:
Construcción de mapas y localización simultánea con robots móviles.
Author:
Jáquez Leal, Víctor Manuel.
Language:
Español
Repository:
34
Subject:
Area::CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA::MATEMÁTICAS::CIENCIA DE LOS ORDENADORES::DISEÑO DE SISTEMAS SENSORES
/
Tecnología
/
Arquitectura de software
/
Software
Acceder
Title:
Diseño del sistema de gestión ambiental para línea viva ingenieros - Living S.A. De acuerdo con la norma NTC ISO 14001/04
Author:
Ospina Cruz, Judith Johanna
/
Pabón Yáñez, Paola Andrea
Language:
Español
Repository:
60
Subject:
Sistema de gestión ambiental
/
Impacto ambiental
/
Aspecto ambiental
/
Procedimiento
/
Programa
/
Acción
/
Documentación
/
Environmental administration systems
/
Environment impact
/
Environmental aspects
/
Procedure
/
Program
/
Action
/
Documentation
/
Tesis
/
Tesis ingeniería
/
Facultad de ingeniería
/
Ingeniería ambiental
/
Medio ambiente
/
Medio ambiente natural
Acceder
Title:
Verificación de propiedades temporales de diseños community: un caso de estudio
Author:
Aguirre, Nazareno Matías
/
Regis, Germán
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Temporal logic
/
Design languages
/
Verification
Acceder
Title:
CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author:
Bavera, Francisco
/
Nordio, Martín
/
Medel, Ricardo
/
Aguirre, Jorge
/
Baum, Gabriel Alfredo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Verification
/
Lenguajes de Programación
/
Compilers
/
Security
Acceder
Title:
Hacia la composición paralela de programas en DynAlloy
Author:
Aguirre, Nazareno Matías
/
Novaira, Maria Marta
/
Permigiani, Sonia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Lenguajes de Programación
/
Formal methods
/
lenguaje de especificaciones
/
Verification
/
validación de propiedades
/
operador para composición paralela
/
Validation
Acceder
« Previous
1
2
3
4
Next »