Buscar
Mostrando ítems 31-40 de 99
Desarrollo de un programa de computador para el análisis lineal de estructuras aporticadas tridimensionales sometidas a cargas estáticas
(Universidad Nacional de ColombiaBogotá - Ingeniería - Maestría en Ingeniería - EstructurasDepartamento de Ingeniería Civil y AgrícolaFacultad de IngenieríaBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2022-05-17)
Desde hace más de 50 años, el método directo de rigideces ha sido ampliamente utilizado para analizar estructuras aporticadas. En esta tesis se implementó el método
en la librería pymas, la cual podría ser el motor de ...
Diseño de un sistema CMS (Sistema Manejador de Contenido) implementando RIA (Aplicación Rica en Internet) que brinde opciones de comparación de precios para realizar compras por internet
(Universidad de Guayaquil Facultad de Ciencias Matemáticas y Físicas Carrera de Ingeniería en Sistemas Computacionales, 2009)
Ecucompras aplicación versátil que incluye dos funcionales: página de
comercio electrónico (compra/venta de productos) y su administración, está
orientada a usuarios con conocimientos básicos de computación.
Posee una ...
Sistema para la digitalización de los expedientes del personal y automatización de los procesos relacionados con la administración en el departamento de Recursos Humanos de Capris S.A. DIEXPRO-RH
(Universidad Nacional (Costa Rica), 2008)
El presente proyecto de graduación llamado “DIEXPRO-RH”, congiste en-un programa que es accedido por medio de un navegador Web, que permite al departamento de Recursos Humanos de Capris S.A, controlar de forma centralizada ...
Aplicación web para la gestión de archivos históricos de La secretaria de la facultad de administración, finanzas e informáticas
(Babahoyo, UTB - FAFI 2020, 2020)
Automatic proof-search heuristics in the Maude invariant analyzer tool
(Switzerland, 2013)
The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This ...
Utilização do Bacula como ferramenta livre para gestão de backup
(Universidade Tecnológica Federal do ParanáCuritibaBrasilConfiguração e Gerenciamento de Servidores e Equipamentos de RedesUTFPR, 2020-07-07)
This work showed the applicability of bacula community version as a free and free tool for professional management of backup (backup) in the area of technology of companies, in addition to its ability to add value to ...