Capítulos de Libro (5) Publicaciones en las que ha participado algún/a investigador/a

2000

  1. Approach to intelligent adaptive testing: an optimized fuzzy logic model

    Computers and education in the 21st century (Kluwer Academic Publishers), pp. 241-249

  2. Gestión de la configuración del software en un proyecto de I+D

    V Jornadas sobre Calidad del Software, 6 y 7 de julio de 2000. San Sebastián, Palacio de Miramar: Documentación de ponencias (Escuela de Organización Industrial)

  3. Solving job-shop scheduling problems by means of genetic algorithms

    The Practical Handbook of Genetic Algorithms: Applications, Second Edition (CRC Press), pp. 275-294

  4. Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la F.L.C

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 21-22

  5. Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 53-58