Photochemical air pollution model for the Madrid area

(p. 79-88) - 1/1/1994

• iMarina

Demand analysis with partial predicates

Theory And Practice Of Logic Programming (p. 153-182) - 1/1/2007

10.1017/s1471068406002882 Ver en origen

• ISSN 14710684

• iMarina

W. on Integration of Declarative Paradigms

The Knowledge Engineering Review (p. 205-208) - 1/2/1995

• iMarina

Los problemas de la financiación de las Universidades españolas y su marco normativo

Temas Para El Debate (p. 36-39) - 1/1/2014

• ISSN 11346574

• iMarina

CC-modula: A modula-2 tool to teach concurrent programming

Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education) (p. 19-25) - 1/9/1989

10.1145/70593.70598 Ver en origen

• ISSN 00978418

• iMarina

100 años con Turing, 100 años de Informática

Revista Upm - 1/5/2012

• iMarina

Retos de la Universidad española

Revista Formación Xxi - 1/7/2010

• iMarina

Modernización universitaria: docencia, investigación, transferencia e innovación

Revista De La Sociedad Española De Bioquímica Y Biología Molecular - 1/1/2011

• iMarina

The functional logic language BABEL and its implementation on a graph machine

New Generation Computing (p. 391-427) - 1/1/1996

10.1007/bf03037211 Ver en origen

• ISSN 02883635

• iMarina

Implementing Constructive Intensional Negation

New Generation Computing (p. 25-56) - 1/11/2008

10.1007/s00354-008-0053-9 Ver en origen

• ISSN 02883635

• iMarina

ProDe'92 (Primer Congreso Nacional de Programación Declarativa)

1/1/1992

• iMarina

III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003

1/1/2003

• iMarina

VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)

1/1/2002

• ISBN 8468802069

• iMarina

Diccionario Enciclopédico de Tecnología

1/1/1997

• iMarina

Una Introducción a la Programación Orientada a Objetos

1/1/1994

• iMarina

Estructuras de datos: realización en PASCAL

1/1/1987

• ISBN 8486251702

• iMarina

Declarative Reflection and its Application as a Pattern Language

Primeras Jornadas Sobre Programación Y Lenguajes: (Prole 2001) : [Celebradas En] Almagro, [El] 23 Y 24 De Noviembre De 2001 (p. 179-198) - 1/1/2001

• iMarina

From Executable Specifications to Java

Iii Jornadas De Programación Y Lenguajes (Prole'03): Actas, Alicante, Del 12 Al 14 De Noviembre De 2003 / Juan José Moreno Navarro (Ed. Lit.), Manuel Palomar Sanz (Ed. Lit.) - 1/1/2003

• iMarina

Programación lógica y programación funcional

Estudios Sobre Programación Lógica Y Sus Aplicaciones (p. 35-77) - 1/1/1996

• iMarina

Declarative Reflection in SLAM-SL. Modelling and Reasoning on Design Patterns

Design Pattern Formalization Techniques (Editado Por Toufik Taibi) (p. 206-235) - 1/3/2007

• iMarina

Modeling and reasoning about design patterns in SLAM-SL

Design Pattern Formalization Techniques (p. 206-235) - 1/12/2007

10.4018/978-1-59904-219-0.ch010 Ver en origen

• iMarina

La investigación en Ingeniería Lingüística en España

Ciencia, Tecnología Y Lengua Española La Terminología Científica En Español / Coord. Por Reyes Sequera (p. 97-122) - 1/1/2004

• iMarina

Simulación de un procesador ARM para la enseñanza de Estructura de Computadores

Avances En Arquitectura Y Tecnología De Computadores: Actas De Jornadas Sarteco, Cáceres, 18 A 20 De Septiembre De 2019| (p. 235-240) - 1/1/2019

• iMarina

Implicaciones sociales de las tecnologías de futuro - Una visión desde la Política

1/3/2018

• iMarina

Modelos de la universidad para la sociedad

1/7/2018

• iMarina

Eulerian and photochemical modelling over Madrid area in a mesoscale context

(p. 209-217) - 1/12/1994

• iMarina

La educación superior iberoamericana ante el reto de la 4ª revolución

1/12/2018

• iMarina

Cosas de la concurrencia o la concurrencia de las cosas

1/7/2019

• iMarina

Docencia e investigación en el profesorado universitario

1/10/2019

• iMarina

Does more data and ICT make cities smarter?

1/12/2013

• iMarina

Deposition experiment of SO2, O3 and NH3 in a suburban area

(p. 101-109) - 1/12/1995

• iMarina

Experimental study of SO2 and O3 dry deposition

(p. 481-488) - 1/12/1994

• iMarina

Qué elementos hacen a una ciudad inteligente?. Los datos y la tecnología no son suficientes

1/8/2017

• iMarina

Tecnologías rigurosas para software de nueva generación abierto y fiable

Ejecución: 01-01-2013 - 30-06-2017

Tipo: Nacional

Importe financiado: 36644,40 Euros.

• iMarina

Software Services and Systems Network

Ejecución: 01-03-2008 - 29-02-2012

Tipo: Internacional

Importe financiado: 238618,00 Euros.

• iMarina

Protest: Property-Based Testing

Ejecución: 01-01-2008 - 01-01-2009

Tipo: Nacional

• iMarina

S-CUBE: The Software Services and Systems Network, Red de Excelencia ICT- 215483

Ejecución: 01-01-2008 - 31-12-2012

• iMarina

Verification of Object Oriented Languajes

Ejecución: 01-01-2008 - 31-12-2012

• iMarina

GGCC: new global GNU compiler collection ITEA 05012

Ejecución: 01-01-2006 - 31-12-2009

• iMarina

ELLA: Extensiones de los Lenguajes Lógicos y sus Aplicaciones

Ejecución: 01-01-1996 - 31-12-1998

• iMarina

Computador Multiprocesador

Ejecución: Desde 01-01-1994

• iMarina

Deducción, computación y paralelismo: Lenguajes e Implementación TIC-41B.

Ejecución: Desde 01-01-1993

• iMarina

DEFINICIÓN DE PRIORIDADES Y ESTRATEGIAS PARA EL FOMENTO DE LA INVESTIGACIÓN , DESARROLLO E INNOVACIÓN DE LAS TIC EN ECUADOR

Ejecución: 20-06-2013 - 01-04-2020

Tipo: Interno

• iMarina

Operational Aspects of Full Reduction in Lambda Calculi

1/1/2014

• iMarina

A Negation System for Prolog

1/6/2003

• iMarina

Un sistema de negación para PROLOG.

1/1/2003

• iMarina

Semantics and Analysis of Functional-logic Programs

1/5/2002

• iMarina

Semántica y Análisis de Programas Lógico-Funcionales.

1/1/2002

• iMarina