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 /

Bibliographic Details
Main Author:	Cabarcas, Daniel
Corporate Author:	e-libro, Corp
Other Authors:	Arango, Fernando, Zapata, Carlos M.
Format:	Libros Digitales
Language:	Spanish
Published:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Subjects:	Computers. > Business software. Libros electrónicos.
Online Access:	https://elibro.net/ereader/elibrounam/296

Similar Items

Especificación, verificación y derivación formal de programas /
Published: (2016)

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

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

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

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

Empezar a programar usando JAVA /
Published: (2013)

Industria del software
Published: (2005)

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

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

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

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

Sistemas estructurales 1.0
by: Medina, María Teresita
Published: (2005)

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

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

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

Manufactura esbelta
by: Omaña, Macringer
Published: (2010)

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

Estructura y diseño de computadores : la interfaz hardware/software /
by: Patterson, David A.
Published: (2011)

Panda software David contra Goliat /
by: Urizarbarrena, Mikel
Published: (2000)

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

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

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

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
by: Martínez Orozco, Martha Margarita
Published: (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
by: Peñalver Martinez, Norberto
Published: (2010)

Recolección de basura en D
by: Lucarella, Leandro Matías
Published: (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
by: Chávez Hurtado, Mercedes
Published: (2010)

Artefactos de especificación de requerimientos de usabilidad
by: Fagalde, Patricio
Published: (2011)

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

Microservicios : un enfoque integrado /
by: Roldán Martínez, David
Published: (2018)

Definición de un proceso de desarrollo de software en un entorno universitario
by: Díaz Polo, Daynel
Published: (2011)

Software educativo
Published: (2010)

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

Evaluación en informática
by: Boloix, Germinal
Published: (2009)

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

Desarrollo de software basado en tecnologías orientadas a componentes : cuaderno del alumno /
by: Guillamón Morales, Alicia
Published: (2011)

H-adaptatividad en un programa comercial de elementos finitos
by: Vergara, M. J.
Published: (2003)

Manual desarrollo de software basado en tecnologías orientadas a componentes : formación para el empleo /
by: Guillamón Morales, Alicia
Published: (2011)

Predicción de índices bursátiles mediante un sistema híbrido basado en modelos ocultos de Markov y redes neuronales artificiales
by: Jabbour, Georges
Published: (2009)

Determinación de la cartera óptima de inversión bajo un enfoque de programación no lineal
by: Conti, D.
Published: (2005)

Conexión DDE entre Matlab y Fix Dmacs (software de supervisión, control y adquisición de datos - SCADA) para un controlador difuso
by: Tremante M., Panayotis S.
Published: (2001)

Cannot write session to /tmp/vufind_sessions/sess_hqf73kfv29v330rlelm9e90p6r