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
40
(11)
37
(6)
21
(4)
62
(3)
34
(1)
57
(1)
Show More
Show Less
Author
Camargo, Leonor
(3)
Perry, Patricia
(3)
Samper, Carmen
(3)
Echeverry, Armando
(2)
Molina, Óscar
(2)
Allan, Claudia
(1)
Alvarez Alvarez, Miguel Angel
(1)
Argañaraz, Mauro C.
(1)
Benítez Barba, Jorge Enrique
(1)
Berón, Mario
(1)
Show More
Show Less
Subject
Software
(24)
Ciencias Informáticas
(5)
software
(3)
Administración de proyectos
(2)
Diseño
(2)
Gestión de negocios
(2)
Hardware
(2)
Tecnologías de la información y de la comunicación
(2)
Actividades
(1)
Activities
(1)
Show More
Show Less
Year
2020
(26)
2019
(5)
2013
(2)
2008
(1)
2011
(1)
2017
(1)
2018
(1)
Show More
Show Less
Document Type
Sin Especificar
(26)
Show More
Show Less
Language
Español
(26)
Show More
Show Less
Your search
Year:
2020
Subject:
Software Program Verification
Document Type:
Sin Especificar
Language:
Español
Sort by
Score
Title
Year
-
1-10 from
26
results
(0.015 seconds)
Title:
Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
Author:
Argañaraz, Mauro C.
/
Berón, Mario
/
Rangel Henriques, Pedro
/
Riesco, Daniel Eduardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
blockchain
/
Ethereum
/
smart contract
/
Solidity
/
Vyper
/
static analysis tool
/
Verification
/
security patterns
Acceder
Title:
Propuesta de actualización del proyecto ambiental escolar en el Colegio Campestre San José en la ciudad de Bogotá
Author:
Guacaneme Nova, Paula Alejandra
/
Torres Llanos, Ingrid Giovanna
Language:
Español
Repository:
40
Subject:
Proyecto
/
Programa
/
Ahorro
/
Consumo
/
PRAE
/
Propuesta
/
Project
/
proposal
/
Program
/
Saving
/
Consumption
/
Enviromental care
/
Proyectos escolares -- Proteccción del medio ambiente
/
School projects - Environmental protection
/
Cuidado del medio ambiente
/
Educación ambiental -- Colegios (Bogotá, Colombia)
Acceder
Title:
Plan de capacitación en uso y aprovechamiento de software empresarial como oferta de educación en línea
Author:
Benítez Barba, Jorge Enrique
Language:
Español
Repository:
34
Subject:
HUMANIDADES Y CIENCIAS DE LA CONDUCTA::PEDAGOGÍA::ORGANIZACIÓN Y PLANIFICACIÓN DE LA EDUCACIÓN::FORMACIÓN PROFESIONAL
/
Education
/
Certificación
/
Capacitación
/
Capacitación corporativa
/
CONOCER
/
Capacitación continua
/
Empresarial
/
Software
/
Simuladores
Title:
Animaciones de funciones trascendentes y campos vectoriales en GeoGebra
Author:
Bulla, Alexandra
/
López, Camilo
/
Jiménez, William
/
Morera, Joel Fernando
Language:
Español
Repository:
21
Subject:
Sistemas de representación
/
Algebra (matemáticas superiores)
/
Software
/
Comprensión
Acceder
Acceder
Title:
Geometría dinámica: desde otro ángulo la geometría del ángulo
Author:
Samper, Carmen
/
Perry, Patricia
/
Molina, Óscar
/
Echeverry, Armando
/
Camargo, Leonor
Language:
Español
Repository:
21
Subject:
Geometría (matemáticas superiores)
/
Resolución de problemas
/
Software
Acceder
Acceder
Title:
Cabri 3d: introducción al estudio de poliedros duales, arquimedianos y regulares
Author:
Molina, Óscar
/
Echeverry, Armando
/
Samper, Carmen
/
Camargo, Leonor
/
Perry, Patricia
Language:
Español
Repository:
21
Subject:
Software
/
Geometría en tres dimensiones
Acceder
Acceder
Title:
Documentación de procesos que integran los dispositivos de red del área de TI y sistemas en la empresa automotriz Grupo Antolín Tlaxcala - México
Author:
Ruge Rodríguez, David Alejandro
Language:
Español
Repository:
40
Subject:
TI y Sistemas
/
Procesos
/
Estructura de red
/
Software
/
IT and Systems
/
Processes
/
Network structure
/
Telecomunicaciones
/
Industria automotriz
/
Sistemas de control
/
Circuitos de conmutación
/
Sistemas de conmutación
Acceder
Title:
Aplicaciones contables
Author:
Corporación Universidad de la Costa
Language:
Español
Repository:
57
Subject:
La información
/
Tecnología informática
/
Contadores públicos
/
Software
Title:
Fortalecimiento empresarial en el área de inventarios de la empresa Ferrelectricos Restrepo
Author:
Martínez Aragón, Andrés Felipe
Language:
Español
Repository:
40
Subject:
Fortalecimiento
/
Inventario
/
Modelo de inventario
/
Herramienta tecnológica
/
Software
/
Strengthening
/
Inventory
/
Inventory model
/
Technological tool
/
Administración de empresas
/
Industria
/
Empresas
/
Inventarios
Acceder
Acceder
Title:
Informe final práctica empresarial Maquiserpe Cía. Ltda.
Author:
Rodriguez Molina, Gabriel Joseth
Language:
Español
Repository:
40
Subject:
Inversión
/
Reparación
/
Inspección
/
Perforación
/
Wokrover
/
Software
/
Workover
/
Drilling
/
Inspection
/
Repair
/
Investment
/
Industria del petróleo - Equipo y accesorios
/
Análisis de mercadeo
/
Análisis financiero
/
Imagen y diseño corporativo
/
Diseño de páginas web
Acceder
« Previous
1
2
3
Next »