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
(398)
60
(34)
40
(25)
21
(24)
53
(24)
62
(22)
50
(15)
61
(14)
57
(13)
72
(10)
Show More
Show Less
Author
Perry, Patricia
(13)
Camargo, Leonor
(12)
Díaz, Francisco Javier
(12)
Pesado, Patricia Mabel
(12)
Samper, Carmen
(12)
García Martínez, Ramón
(11)
Mariño, Sonia Itatí
(11)
Bertone, Rodolfo Alfredo
(9)
Dapozo, Gladys N.
(8)
Echeverry, Armando
(8)
Show More
Show Less
Subject
Software
(613)
Ciencias Informáticas
(380)
Informática
(54)
SOFTWARE ENGINEERING
(53)
informática
(36)
Hardware
(29)
educación
(29)
Educación
(28)
tecnología
(22)
Tesis
(19)
Show More
Show Less
Year
2012
(219)
2017
(67)
2016
(62)
2008
(57)
2019
(57)
2011
(55)
2020
(55)
2013
(53)
2010
(50)
2015
(46)
Show More
Show Less
Document Type
Sin Especificar
(335)
Tesis
(219)
Artículo
(28)
Conferencia
(18)
Libro
(10)
Desconocido
(2)
Preprint
(1)
Show More
Show Less
Language
Español
(613)
Show More
Show Less
Your search
Language:
Español
Subject:
Software Program Verification
Subject:
Software
Sort by
Score
Title
Year
-
611-613 from
613
results
(0.02 seconds)
Title:
Sistema de matriculación para la modalidad presencial de la UTPL
Author:
Hidalgo Valdivieso, Omar Vinicio
/
Romero Romero, Jhiison Enrique
/
Sinche Quichimbo, Juan carlos
Language:
Español
Repository:
53
Subject:
Matriculas UTPL-Clasica
/
Software
/
Ingeniero en informática-Tesis y disertaciones académicas
Acceder
Title:
DISTRANA : Diseño de Transformadores de Núcleo Arrollado
Language:
Español
Repository:
65
Subject:
Transformador
/
SQL
/
Núcleo arrollado
/
Software
/
Diseño
/
Proyecto
/
Optimización
/
Algoritmos genéticos
/
Base de datos
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
54
55
56
57
58
59
60
61
62
Next »