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 /

保存先:

書誌詳細
第一著者:	Cabarcas, Daniel
団体著者:	e-libro, Corp
その他の著者:	Arango, Fernando, Zapata, Carlos M.
フォーマット:	論文
言語:	スペイン語
出版事項:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
主題:	Computers. > Business software. Artículos electrónicos.
オンライン･アクセス:	https://elibro.unach.elogim.com/es/lc/unach/titulos/296
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

El software libre y las lenguas minoritarias: una oportunidad impagable /
著者:: Mas i Herna ndez, Jordi
出版事項: (2003)

Propuesta de herramientas para la integración de datos en un entorno empresarial
著者:: Oliva Alfonso, Debora
出版事項: (2011)

Algoritmos de trayectoria multiobjetivo aplicados al problema de asignación de recursos humanos a equipos de proyecto de software
著者:: Infante Abreu, Ana Lilian
出版事項: (2012)

Aplicación del enfoque de reglas de negocio sobre el paradigma MDA
著者:: Alonso Ochoa, José Luis
出版事項: (2011)

Guía de recomendaciones para diseño de software centrado en el usuario /
著者:: Díaz, Javier
出版事項: (2013)

Fábricas de software : experiencias, tecnologías y organización /
著者:: Piattini Velthuis, Mario
出版事項: (2015)

Empezar a programar usando JAVA /
出版事項: (2013)

La Industria del software en Boyacá /
著者:: Rodríguez Moreno, Diana Cristina
出版事項: (2020)

Industria del software
出版事項: (2005)

Computabilidad, complejidad computacional y verificación de programas /
著者:: Rosenfeld, Daniel Ricardo
出版事項: (2013)

Sobre software libre : compilación de ensayos sobre software libre /
出版事項: (2004)

Heidenhain : aplicaciones de control numérico para fresadora /
著者:: Sans García, Jordi
出版事項: (2008)

Guía práctica sobre software libre su selección y aplicación local en América Latina y el Caribe /
著者:: Rosa, Fernando da, 等
出版事項: (2007)

La semiosis infinita y sus fronteras en un software educativo
著者:: Mosquera, Alexander
出版事項: (2012)

Devops y seguridad cloud /
著者:: Guijarro Olivares, Jordi
出版事項: (2019)

Calidad de sistemas de información /
出版事項: (2015)

Calidad de sistemas de información /
著者:: Piattini Velthuis, Mario G.
出版事項: (2018)

Sistemas estructurales 1.0
著者:: Medina, María Teresita
出版事項: (2005)

Estudio del estado del arte en la incorporación y desarrollo autónomo de emociones en agentes inteligentes /
著者:: Rodríguez, Sigerist
出版事項: (2009)

Simulación y control de procesos por ordenador /
著者:: Creus Solé, Antonio
出版事項: (2007)

Guía de introducción a la econometría utilizando Shazam professional
著者:: Cal Bouzada, María Isabel
出版事項: (2012)

Mantenimiento del software (UF1894) /
著者:: Pérez Carvajal, Rafael Jesús
出版事項: (2014)

Manufactura esbelta
著者:: Omaña, Macringer
出版事項: (2010)

Movimiento del software libre
著者:: López-Garay, Hernán
出版事項: (2009)

Tecnologías del software /
出版事項: (2007)

Integración CAD/CAE/CAM-PR en la optimización del diseño de productos plásticos caso de estudio /
著者:: Candal, M. V.
出版事項: (2005)

Un modelo para la asignación de recursos humanos a equipos de proyectos de software /
著者:: André Ampuero, Margarita
出版事項: (2015)

Interpretación del modelo de madurez de capacidades (CMM) para pequeñas industrias de software Francisco Javier Álvarez Rodríguez ... [et al.].
出版事項: (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
著者:: Martínez Orozco, Martha Margarita
出版事項: (2010)

Recolección de basura en D
著者:: Lucarella, Leandro Matías
出版事項: (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
著者:: Peñalver Martinez, Norberto
出版事項: (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
著者:: Chávez Hurtado, Mercedes
出版事項: (2010)

Aspectos filosóficos, psicológicos y metodológicos de la informática /
出版事項: (2005)

Desarrollo de cursos críticos en línea: una solución para la demanda matricular caso: cursos básicos en ingeniería /
著者:: Sandia, Beatriz
出版事項: (2008)

Ciclo de vida de desarrollo ágil de software seguro /
著者:: Hernández Bejarno, Miguel
出版事項: (2020)

Programación de aplicaciones para iPhone y iPad : /
著者:: Honrubia López, Francisco Javier
出版事項: (2013)

Artefactos de especificación de requerimientos de usabilidad
著者:: Fagalde, Patricio
出版事項: (2011)

Estudio de la aplicabilidad de los agentes inteligentes en las interfaces de usuario
著者:: Narciso, Flor
出版事項: (2007)

Software educativo
出版事項: (2010)

ISO/IEC 29110 para procesos software en las pequeñas empresas /
出版事項: (2018)