OPAC

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

Your search

Language: Español Subject: Software Program Verification Year: 2018 Document Type: Tesis

Sort by Score Title Year -

1-10 from 31 results (0.015 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: 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
Title: El delito informático en la legislación colombiana
Author: Barrios Solano, Santiago Andrés
Language: Español
Repository: 57
Subject: Bomba lógica / Logic Bomb / Caballo de Troya o troyano / Troy Horse / Criminalidad / Criminality / Globalización / Globalization / Hardware / Informatica / Informatic / Internet / Redes sociales / Social network / Revolución informatica / Computer revolution / Software / Terrorismo / Terrorism / Virus informático / Computer virus

Acceder

« Previous 1 2 3 4 Next »