Cover Image

QR Code

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

Bibliographic Details
Main Author:	Cabarcas, Daniel.
Other Authors:	Arango, Fernando., Zapata, Carlos M., e-libro, Corp.
Format:	Analítica
Language:	Spanish
Published:	Medellín (Colombia) : Universidad Nacional de Colombia, 2006.
Subjects:	Computers. > Business software. Artículos electrónicos.
Online Access:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=296

Similar Items

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)

Software architecture and design for reliability predictability /
by: Semegn, Assefa D.
Published: (2011)

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

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

Mirror worlds, or, The day software puts the universe in a shoebox how it will happen and what it will mean /
by: Gelernter, David Hillel.
Published: (1991)

Empezar a programar usando JAVA /
Published: (2013)

Flexible, reliable software : using patterns and agile development /
by: Christensen, Henrik Baerbak,
Published: (2010)

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

Secure and resilient software development /
by: Merkow, Mark S.,
Published: (2010)

Cloud enterprise architecture /
by: Raj, Pethuru.
Published: (2013)

Industria del software
Published: (2005)

La Industria del software en Boyacá /
by: Rodríguez Moreno, Diana Cristina.
Published: (2020)

Software error detection through testing and analysis
by: Huang, J. C., 1935-
Published: (2009)

Computabilidad, complejidad computacional y verificación de programas /
by: Rosenfeld, Daniel Ricardo.
Published: (2013)

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

Static analysis of software the abstract interpretation /
Published: (2012)

Professional Windows Embedded Compact 7
by: Phung, Samuel.
Published: (2011)

Software development rhythms harmonizing agile practices for synergy /
by: Lui, Kim Man.
Published: (2008)

Innovative software : running the rapids.
by: McKay, Kenneth N., 1953-
Published: (2019)

Fundamentals of software testing /
by: Homès, Bernard,
Published: (2012)

The complete software project manager : mastering technology from planning to launch and beyond /
by: Murray, Anna, 1966-
Published: (2016)

Lean architecture for agile software development
by: Coplien, James.
Published: (2010)

Using aspect-oriented programming for trustworthy software development
by: Safonov, V. O.
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.
Published: (2007)

Modeling software behavior : a craftsman's approach /
by: Jorgensen, Paul,
Published: (2009)

The ScrumMaster study guide
by: Schiel, James.
Published: (2012)

Process improvement and CMMI for systems and software /
by: Kenett, Ron,
Published: (2010)

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

Software engineering : the current practices /
by: Rajlich, Václav,
Published: (2012)

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

Programming multi-agent systems in AgentSpeak using Jason
by: Bordini, Rafael H.
Published: (2007)

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

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

Software testing and global industry : future paradigms /
by: Casey, Valentine.
Published: (2009)

Devops y seguridad cloud /
by: Guijarro Olivares, Jordi,
Published: (2019)

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)

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

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