Cover Image

QR Code

Síntesis formal de alto nivel por derivación automática aspectos teóricos, metodológicos y prácticos /

Bibliographic Details
Main Author:	Mendías Cuadros, José Manuel.
Corporate Author:	e-libro, Corp.
Format:	eBook
Language:	Spanish
Published:	Madrid : Universidad Complutense de Madrid, 1998.
Subjects:	Ciencias físicas. Arquitectura > Computadores. Equipos > Procesamiento de datos. Computers. Electronic data processing. Libros electrónicos.
Online Access:	https://elibro.net/ereader/uninicaragua/87554

Similar Items

Learning analytics : la narración del aprendizaje a través de los datos /
by: Amo, Daniel.
Published: (2017)

Investigación de operaciones : programación lineal. Problemas de transporte. Análisis de redes /
by: Kong, Maynard.
Published: (2010)

Procesador paralelo de Prolog sobre una arquitectura de memoria distribuida
by: Araujo Serna, Lourdes.
Published: (1994)

Métodos numéricos : aplicados a la ingeniería /
by: Nieves Hurtado, Antonio., et al.
Published: (2014)

Informática 1 /
by: Vasconcelos Santillán, Jorge.
Published: (2014)

Aplicaciones informáticas de la gestión comercial : actividades administrativas en la relación con el cliente (UF0351) /
by: Viera Lara, Laura.
Published: (2011)

Auditoría y sistemas informáticos
by: Blanco Encinosa, Lázaro Jesús.
Published: (2008)

Ofimática básica aplicada al tenis /
Published: (2008)

Solución de problemas en ingeniería con MATLAB /
by: Montufar Benítez, Marco Antonio.
Published: (2014)

Curso básico de programación en MATLAB /
Published: (2012)

Docencia en el futuro o futuro de la docencia
by: Pérez Gijón, Roberto.
Published: (2002)

Conceptos de la auditoria de sistemas
by: Naranjo, A.
Published: (2009)

Método para el diagnóstico de procesos de negocio a partir de registros de eventos con ruido y ausencia de información /
by: Pérez Alfonso, Damián.
Published: (2015)

Gestión de la Informática en el Sector Empresarial /
Published: (2006)

Glosario de términos informáticos /
Published: (2006)

Limpieza de datos
by: López Porrero, Beatriz E.
Published: (2009)

Manual de pruebas diagnósticas simples : evaluación y cálculo del tamaño muestral (ejercicios resueltos con ayuda de Epidat, Open Epi y R) /
Published: (2016)

Justiniano un prototipo de sistema experto en materia de derechos humanos, elaborado con base en una concepción constructivista del derecho /
by: Cáceres, Enrique.
Published: (2007)

Temas selectos de sistemas en tiempo real
by: Medel Juárez, José de Jesús.
Published: (2007)

Análisis cualitativo asistido por computadora : teoría e investigación /
Published: (2011)

El documento jurídico y su electronificación /
by: Vega Vega, José Antonio.
Published: (2014)

Manual : tratamiento básico de datos y hojas de cálculo /
by: Vizán Pérez, Esther.
Published: (2014)

Contabilidad electrónica y su envío a través del Portal del SAT /
by: Pérez Chávez, José.
Published: (2018)

Tratamiento informático de la información /
by: Monge Mediavilla, Blanca Nieves.
Published: (2014)

Softwares aplicados al entrenamiento e investigación en el deporte /
Published: (2010)

Variable compleja : con Mathematica o Maxima /
by: Ramírez Labrador, José.
Published: (2016)

El paquete estadístico R /
by: Bouso Freijo, Jesús.
Published: (2013)

El tratamiento informático de la información geográfica /
by: Santos Preciado, José Miguel.
Published: (2015)

Escaneando la informática
Published: (2010)

Protocolos de investigación en enfermería /
by: Guevara Valtier, Milton Carlos.
Published: (2017)

Aplicaciones informáticas de RRHH : NominaPlus /
by: Muñoz Rodríguez, Roberto.
Published: (2017)

Análisis cuantitativo : técnicas para describir y explicar en Ciencias Sociales /
by: Santana Leitner, Andrés.
Published: (2017)

Métodos computacionales para el análisis de sistemas de potencia
by: Toledo Toledo, Fernando.
Published: (1998)

Los sistemas de información geográfica en la educación secundaria /
Published: (2010)

Modelo para la detección y reconocimiento de acciones humanas en videos a partir de descriptores espacio-temporales /
by: Hernández Heredia, Yanio.
Published: (2015)

Integración de datos y procesos en las organizaciones mediante un modelo de datos reorientado a objetos
by: Albarracín Ferreira, Jaime Octavio.
Published: (2006)

La lengua española estándar en la red : tensión entre oralidad y escritura /
Published: (2014)

Sistemas de información geográfica : una introducción para estudiantes de Geografía /
by: Escolano Utrilla, Severino.
Published: (2015)

Aprender Final Cut Pro 7 con 100 ejercicios prácticos.
Published: (2012)

Una história de la inform© tica
by: Barceló Garcia, Miquel.
Published: (2008)