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
73
(14)
50
(8)
37
(6)
57
(5)
60
(5)
62
(5)
56
(2)
17
(1)
54
(1)
64
(1)
Show More
Show Less
Author
Aguas Romero, Luis
(1)
Aguirre Lora, Diego Camilo
(1)
Agüero, Martín Jorge
(1)
Aleixo, Francisco Faria
(1)
Alemán López Natalia Elizabeth
(1)
Amaya Tejera, Nazhir Jesús
(1)
Amaya Velásquez, Yuliana Andrea
(1)
Andrade Torres John José
(1)
Arianne Nunes Garcia
(1)
Arévalo Gutiérrez, Daniel Hernán
(1)
Show More
Show Less
Subject
Software
(44)
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
(9)
Ciencias Informáticas
(6)
Facultad de ingeniería
(4)
Hardware
(4)
Program
(4)
Tesis
(4)
Tesis ingeniería
(4)
Desenvolvimento de software
(3)
Domínio/Área Científica::Ciências Sociais::Economia e Gestão
(3)
Show More
Show Less
Year
2018
(49)
2019
(17)
2017
(10)
2014
(3)
2016
(3)
2013
(2)
2020
(2)
2001
(1)
2011
(1)
2012
(1)
Show More
Show Less
Document Type
Tesis
(49)
Show More
Show Less
Language
Español
(31)
Inglés
(8)
Portugués
(8)
Desconocido
(2)
Show More
Show Less
Your search
Year:
2018
Subject:
Software Program Verification
Document Type:
Tesis
Sort by
Score
Title
Year
-
1-10 from
49
results
(0.014 seconds)
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
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:
Internacionalización de las mipymes del municipio de Soacha mediante el programa de exporta fácil
Author:
Torres García, Juan Felipe
Language:
Desconocido
Repository:
64
Subject:
Internacionalización
/
Estrategias
/
Programa
/
Unidades productivas
/
Exporta fácil
/
Soacha
/
Empresas medianas
/
Exportaciones
/
Municipios
/
Estrategia del desarrollo
/
Internationalize
/
Strategies
/
Program
/
Productive units
/
Exporta Facil
Acceder
Title:
Diseño del programa para el aprovechamientode residuos solidos domesticos en la vereda lucha afuera del municipio de coello tolima
Author:
Cuevas Perdomo, Angie Vanessa
/
Florez Pérez, Lizeth Daniela
Language:
Español
Repository:
50
Subject:
Aprovechamiento
/
Residuos
/
Rural
/
Progama
/
Vereda
/
Coello
/
Exploitation
/
Waste
/
Program
/
Sidewalk
Acceder
Title:
Diseño del programa para la promoción y gestión integral de residuos de aparatos electrónicos -raee en el municipio de cabrera cundinamarca
Author:
Dicelis Montilla, Camilo Andrés
/
Rodríguez Campos, Cristhian Fabian
Language:
Español
Repository:
50
Subject:
Aparatos Eléctricos y Electrónicos (AEE)
/
Generador
/
Gestión Integral
/
Impacto Ambiental
/
Programa
/
RAEE
/
Electrical and Electronic Devices
/
Generator
/
Integral Management
/
Environmental Impact
/
Program
/
WEE
Acceder
Title:
Influencia de un programa de acuaeróbicos en los niveles de autonomía funcional en el adulto mayor del punto de articulación soacial p.a.s. la victoria.
Author:
Vera González, Yoice Marina
/
Moreno López, José Andrés
Language:
Español
Repository:
50
Subject:
Autonomía Funcional
/
Acuaeróbicos
/
Adulto Mayor
/
Ejercicio
/
Calidad de Vida
/
Programa
/
Functional Autonomy
/
Acuaerobics
/
Exercise
/
Quality of Life
/
Elderly
/
Program
Acceder
Title:
Tienda virtual de materiales de construcción Building Shopping
Author:
Velandia Suarez, Mabel Astrid
/
Arévalo Gutiérrez, Daniel Hernán
Language:
Español
Repository:
71
Subject:
Aplicación Web
/
Software
/
Desarrollo de Software
/
Innovaciones educativas
Acceder
Title:
Sistema de muestreo y control de temperatura en torres de enfriamiento
Author:
Parra Álvarez, Santiago
Language:
Español
Repository:
56
Subject:
Temperatura
/
Refrigeración
/
Enfriamiento
/
Software
/
Engineering design
/
Temperature control
/
Sampling
/
Digital computer simulation
/
Diseño en Ingeniería
/
Control de la temperatura
/
Muestreo
/
Simulación por computadores digitales
Acceder
Title:
Metodología computacional para el diseño de cámaras en espiral de turbinas hidráulicas
Author:
Graciano Uribe, Jonathan Andrés
Language:
Español
Repository:
56
Subject:
Diseño con ayuda de computador
/
Turbomaquinaria
/
Control automatico
/
Control de procesos por computador
/
Software
/
Matlab (Lenguaje de programación)
/
Turbines
/
Hydraulic machinery
/
Prototype development
/
TURBINAS
/
MÁQUINAS HIDRÁULICAS
/
DESARROLLO DE PROTOTIPOS
Acceder
Title:
Desarrollo de una aplicación que facilite el diseño de las líneas de transmisión que se encuentran en la Región Caribe 2017
Author:
Martinez Montes, Cristian
Language:
Español
Repository:
57
Subject:
Software
/
Microsoft Excel
/
Visual Basic
/
Líneas de transmisión
/
Normas
Acceder
« Previous
1
2
3
4
5
Next »