Publicaciones (34) Publicaciones en las que ha participado algún/a investigador/a

1995

  1. A Neural Network model in stereovision matching

    Neural Networks, Vol. 8, Núm. 5, pp. 805-813

  2. A genetic algorithm for reducing the number of states in incompletely specified finite state machines

    Microelectronics Journal, Vol. 26, Núm. 5, pp. 463-470

  3. A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci

    ACM SIGCSE Bulletin, Vol. 27, Núm. 2, pp. 49-56

  4. A second year course on data structures based on functional programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. A total AC-compatible ordering based on RPO

    Theoretical Computer Science, Vol. 142, Núm. 2, pp. 209-227

  6. Acceptance trees for probabilistic processes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  7. Asociatividad en álgebras de procesos probabilísticas

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

  8. COPERNICO: Una herramienta de ayuda para la construcción de bases de conocimiento

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995

  9. Caracterización algorítmica de semialgebraicos básicos

    Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995

  10. Case-based retrieval of software components

    Expert Systems With Applications, Vol. 9, Núm. 3, pp. 397-405

  11. Distributed parallel computers versus PVM on a workstation cluster in the simulation of time dependent partial differential equations

    Proceedings - Euromicro Workshop on Parallel and Distributed Processing

  12. Enseñanza de la Informática como una disciplina integral

    Informática educativa: realidad y futuro (Ediciones de la Universidad de Castilla-La Mancha), pp. 23-25

  13. Extension orderings

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  14. FIDIAS: an integral approach to high-level synthesis

    IEE Proceedings: Circuits, Devices and Systems, Vol. 142, Núm. 4, pp. 227-235

  15. Formación en la empresa asistida por ordenador

    Revista de dirección y administración de empresas = Enpresen zuzendaritza eta administraziorako aldizkaria, Núm. 2, pp. 41-54

  16. From abstract data types to logical frameworks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  17. Internet como herramienta de trabajo en el campo educativo

    IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 4

  18. La programación funcional en Haskell

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 115, pp. 42

  19. La selección de personal a través de un sistema experto informático de evaluación: la experiencia de Iberpacking/Seri-Envás

    Capital humano: revista para la integración y desarrollo de los recursos humanos, Año 8, Núm. 83, pp. 50-52

  20. La selección de personal a través de un sistema experto informático de evaluación: la experiencia de iberpacking/Seri-Envas

    Capital humano: revista para la integración y desarrollo de los recursos humanos, Núm. 83, pp. 50-52