Establecimiento y verificación de la consistencia en Dome: un caso de estudio /

Establecimiento y verificación de la consistencia en Dome: un caso de estudio /

Salvato in:

Dettagli Bibliografici
Autore principale:	Cabarcas, Daniel
Ente Autore:	e-libro, Corp
Altri autori:	Arango, Fernando, Zapata, Carlos M.
Natura:	Articolo
Lingua:	spagnolo
Pubblicazione:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Soggetti:	Computers. > Business software. Artículos electrónicos.
Accesso online:	https://elibro.unach.elogim.com/es/lc/unach/titulos/296
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

El software libre y las lenguas minoritarias: una oportunidad impagable /
di: Mas i Herna ndez, Jordi
Pubblicazione: (2003)

Propuesta de herramientas para la integración de datos en un entorno empresarial
di: Oliva Alfonso, Debora
Pubblicazione: (2011)

Algoritmos de trayectoria multiobjetivo aplicados al problema de asignación de recursos humanos a equipos de proyecto de software
di: Infante Abreu, Ana Lilian
Pubblicazione: (2012)

Aplicación del enfoque de reglas de negocio sobre el paradigma MDA
di: Alonso Ochoa, José Luis
Pubblicazione: (2011)

Guía de recomendaciones para diseño de software centrado en el usuario /
di: Díaz, Javier
Pubblicazione: (2013)

Fábricas de software : experiencias, tecnologías y organización /
di: Piattini Velthuis, Mario
Pubblicazione: (2015)

Empezar a programar usando JAVA /
Pubblicazione: (2013)

La Industria del software en Boyacá /
di: Rodríguez Moreno, Diana Cristina
Pubblicazione: (2020)

Industria del software
Pubblicazione: (2005)

Computabilidad, complejidad computacional y verificación de programas /
di: Rosenfeld, Daniel Ricardo
Pubblicazione: (2013)

Sobre software libre : compilación de ensayos sobre software libre /
Pubblicazione: (2004)

Heidenhain : aplicaciones de control numérico para fresadora /
di: Sans García, Jordi
Pubblicazione: (2008)

Guía práctica sobre software libre su selección y aplicación local en América Latina y el Caribe /
di: Rosa, Fernando da, et al.
Pubblicazione: (2007)

La semiosis infinita y sus fronteras en un software educativo
di: Mosquera, Alexander
Pubblicazione: (2012)

Devops y seguridad cloud /
di: Guijarro Olivares, Jordi
Pubblicazione: (2019)

Calidad de sistemas de información /
Pubblicazione: (2015)

Calidad de sistemas de información /
di: Piattini Velthuis, Mario G.
Pubblicazione: (2018)

Sistemas estructurales 1.0
di: Medina, María Teresita
Pubblicazione: (2005)

Estudio del estado del arte en la incorporación y desarrollo autónomo de emociones en agentes inteligentes /
di: Rodríguez, Sigerist
Pubblicazione: (2009)

Simulación y control de procesos por ordenador /
di: Creus Solé, Antonio
Pubblicazione: (2007)

Guía de introducción a la econometría utilizando Shazam professional
di: Cal Bouzada, María Isabel
Pubblicazione: (2012)

Mantenimiento del software (UF1894) /
di: Pérez Carvajal, Rafael Jesús
Pubblicazione: (2014)

Manufactura esbelta
di: Omaña, Macringer
Pubblicazione: (2010)

Movimiento del software libre
di: López-Garay, Hernán
Pubblicazione: (2009)

Tecnologías del software /
Pubblicazione: (2007)

Integración CAD/CAE/CAM-PR en la optimización del diseño de productos plásticos caso de estudio /
di: Candal, M. V.
Pubblicazione: (2005)

Un modelo para la asignación de recursos humanos a equipos de proyectos de software /
di: André Ampuero, Margarita
Pubblicazione: (2015)

Interpretación del modelo de madurez de capacidades (CMM) para pequeñas industrias de software Francisco Javier Álvarez Rodríguez ... [et al.].
Pubblicazione: (2008)

Software educativo dirigido a apoyar la formación de una cultura energética, en los estudiantes de secundaria básica, desde los joven club de computación y electrónica
di: Martínez Orozco, Martha Margarita
Pubblicazione: (2010)

Recolección de basura en D
di: Lucarella, Leandro Matías
Pubblicazione: (2010)

Libro electrónico como medio de enseñanza en los cursos de operador de microcomputadora y seguridad informática para los estudiantes de joven club de computación y electrónica del Municipio de San Cristóbal
di: Peñalver Martinez, Norberto
Pubblicazione: (2010)

Aprende corel software educativo para el perfeccionamiento del proceso de enseñanza - aprendizaje del curso Corel Draw que se imparte en los joven club de computación y electrónica del Municipio Arroyo Naranjo
di: Chávez Hurtado, Mercedes
Pubblicazione: (2010)

Aspectos filosóficos, psicológicos y metodológicos de la informática /
Pubblicazione: (2005)

Desarrollo de cursos críticos en línea: una solución para la demanda matricular caso: cursos básicos en ingeniería /
di: Sandia, Beatriz
Pubblicazione: (2008)

Ciclo de vida de desarrollo ágil de software seguro /
di: Hernández Bejarno, Miguel
Pubblicazione: (2020)

Programación de aplicaciones para iPhone y iPad : /
di: Honrubia López, Francisco Javier
Pubblicazione: (2013)

Artefactos de especificación de requerimientos de usabilidad
di: Fagalde, Patricio
Pubblicazione: (2011)

Estudio de la aplicabilidad de los agentes inteligentes en las interfaces de usuario
di: Narciso, Flor
Pubblicazione: (2007)

Software educativo
Pubblicazione: (2010)

ISO/IEC 29110 para procesos software en las pequeñas empresas /
Pubblicazione: (2018)