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
(27)
60
(8)
34
(6)
40
(5)
61
(3)
73
(3)
53
(2)
71
(2)
27
(1)
56
(1)
Show More
Show Less
Author
Barigye S.J.
(2)
García-Jacas C.R.
(2)
Marrero-Ponce Y.
(2)
Robiolo, Gabriela
(2)
Acevedo-Martínez L.
(1)
Aguilera-Mendoza L.
(1)
Aguilera-Mendoza, L.
(1)
Albertali, Mónica
(1)
Albuquerque, Ivo Emanuel Carvalho de
(1)
Amatriain, Hernán Guillermo
(1)
Show More
Show Less
Subject
Software
(57)
Ciencias Informáticas
(27)
Ingeniería de sistemas
(9)
Facultad de ingeniería
(8)
Programa de ordenador
(8)
Tesis
(8)
Tesis ingeniería
(8)
Verification
(5)
Programación informática
(4)
Algorithm
(3)
Show More
Show Less
Year
2015
(62)
2017
(15)
2016
(8)
2014
(5)
2012
(4)
2018
(3)
2019
(3)
2020
(2)
1999
(1)
2000
(1)
Show More
Show Less
Document Type
Tesis
(33)
Sin Especificar
(22)
Artículo
(3)
Desconocido
(3)
Libro
(1)
Show More
Show Less
Language
Español
(49)
Inglés
(7)
Portugués
(4)
Desconocido
(2)
Show More
Show Less
Your search
Year:
2015
Subject:
Software Program Verification
Sort by
Score
Title
Year
-
41-50 from
62
results
(0.015 seconds)
Title:
Diseño y construcción de objetos interactivos digitales : Experimentos con la plataforma Arduino
Author:
Bordignon, Fernando Raúl Alfredo
/
Iglesias, Alejandro Adrián
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
objetos digitales
/
Software
/
objetos interactivos digitales
/
Hardware
/
STEM
/
Arduino
Acceder
Title:
Establecimiento del Modelo de Agregación más apropiado para Ingeniería del Software
Author:
Amatriain, Hernán Guillermo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
agregación de experimentos
/
Performance Analysis and Design Aids
/
Monte Carlo
/
síntesis cuantitativa
/
meta análisis
/
diferencia de medias ponderadas
/
modelo de efecto fijo
/
modelo de efectos aleatorios
Acceder
Title:
Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
Author:
Rosenfeld, Ilan
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Modeling techniques
/
Alloy
/
desarrollo de software dirigido por modelos
/
Software
/
pruebas de software dirigidas por modelos
/
traducción de código
/
UML
Acceder
Title:
Perspectivas actuales sobre criterios de calidad para plataformas de e-learning
Author:
Romero, Gilda R.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Software
/
calidad
/
Collaborative learning
/
e-learning
/
plataformas
/
Computer Uses in Education
Acceder
Title:
Aplicación de la perspectiva semiótica en el diseño de interfaces : caso de estudio
Language:
Español
Repository:
34
Subject:
Perspectiva Semiótica
/
Diseño de Interfaces
/
Interfaces
/
Software
/
Ingeniería y Ciencias Aplicadas / Engineering & Applied Sciences
Acceder
Title:
Determinación del Impacto del Software de Código Abierto en las Empresas Medianas de la Ciudad de Guadalajara
Language:
Español
Repository:
34
Subject:
Código Abierto
/
Software
/
Ingeniería de Software
/
Software en Empresas
/
Ciencias Computacionales
/
Ingeniería y Ciencias Aplicadas / Engineering & Applied Sciences
Acceder
Title:
Codiseño de hardware y software para reducción del consumo de energía para el protocolo GSM Half-Rate
Language:
Español
Repository:
34
Subject:
Area::INGENIERÍA Y TECNOLOGÍA::CIENCIAS TECNOLÓGICAS::TECNOLOGÍA DE LOS ORDENADORES::ARQUITECTURA DE ORDENADORES
/
Hardware
/
Software
Acceder
Title:
Gestiona tu bibliografía con ZOTERO
Author:
Monzon, Javier
Language:
Español
Repository:
34
Subject:
Software
/
referencia bibliograficas
/
Ciencias Sociales / Social Sciences
Acceder
Acceder
Title:
Slotpiral revolution wireless : controlador electrónico inalámbrico para slot digital : diseño hardware y software del producto / Wireless electronic controller for digital slot car applications : hardware and software design of the product
Author:
Ros Navarro, Santiago
Language:
Inglés
Repository:
72
Subject:
Software
/
Hardware
/
Controller
/
Controlador electrónico
/
Digital slot car
/
Vehículo automotor
/
Wireless
/
Sin cables
/
Tecnología Electrónica
Acceder
Title:
Software de apoyo para el proceso de enseñanza – aprendizaje en dispositivos móviles en la Universidad Libre
Author:
Casallas Zamora, Oscar Fabián
Language:
Español
Repository:
60
Subject:
Aprendizaje
/
Ardora
/
Enseñanza
/
Estrategias
/
ExeLearning
/
Learning
/
Strategies
/
Teaching
/
Tesis
/
Tesis ingeniería
/
Facultad de ingeniería
/
Ingeniería de sistemas
/
Método de enseñanza,
/
Formación
/
Software
/
Programa de ordenador
Acceder
« Previous
1
2
3
4
5
6
7
Next »