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
(118)
60
(34)
50
(25)
73
(25)
61
(14)
62
(14)
17
(10)
40
(8)
57
(5)
71
(5)
Show More
Show Less
Author
Barrientos, Pablo Andrés
(2)
Bertolami, Mabel Angélica
(2)
Robiolo, Gabriela
(2)
Rojo, Silvana del Valle
(2)
Ríos, Leopoldo José
(2)
ABARCA PALOMINO, VICTOR MANUEL
(1)
ALVARADO NAVARRETE, JOSE FABRICIO
(1)
Aguas Romero, Luis
(1)
Aguirre Lora, Diego Camilo
(1)
Agüero Hemmes, Matias Gabriel
(1)
Show More
Show Less
Subject
Software
(259)
Ciencias Informáticas
(112)
Informática
(40)
Tesis
(20)
Facultad de ingeniería
(19)
Tesis ingeniería
(19)
Aplicación informática
(17)
Hardware
(16)
Ingeniería de software
(16)
Ingeniería de sistemas
(15)
Show More
Show Less
Year
2017
(59)
2018
(49)
2008
(45)
2019
(45)
2015
(33)
2016
(33)
2012
(21)
2004
(20)
2014
(20)
2003
(19)
Show More
Show Less
Document Type
Tesis
(274)
Show More
Show Less
Language
Español
(231)
Portugués
(28)
Inglés
(9)
Desconocido
(5)
Sin Especificar
(1)
Show More
Show Less
Your search
Subject:
Software Program Verification
Document Type:
Tesis
Sort by
Score
Title
Year
-
271-274 from
274
results
(0.013 seconds)
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:
Informe de Proyecto de Grado para optar por el título de Ingeniero Electrónico
Author:
Amaya Tejera, Nazhir Jesús
Language:
Español
Repository:
57
Subject:
HAR’D Snow
/
Verificación
/
Validación
/
Pruebas
/
Soluciones Tecnológicas
/
HAR'D Snow
/
Verification
/
Validation
/
Testing
/
Technology Solutions
Acceder
Title:
Contribuciones a la verificación funcional moderna
Author:
Goñi, Oscar Enrique
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
punto flotante
/
Verification
/
Computer arithmetic
/
análisis de resolución
/
HIL
/
Simulation
/
HDL
Acceder
Title:
Verificación formal y refinamientos en P/PML
Author:
Díaz, Javier Roberto
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
verificación formal
/
Verification
/
Software
/
lógica de programacion
/
derivación de programas
/
métodos formales
Acceder
« Previous
20
21
22
23
24
25
26
27
28
Next »