Aportaciones congreso (15) Publicaciones en las que ha participado algún/a investigador/a

1995

  1. 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)

  2. Acceptance trees for probabilistic processes

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

  3. Asociatividad en álgebras de procesos probabilísticas

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

  4. 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

  5. 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

  6. 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

  7. Extension orderings

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

  8. From abstract data types to logical frameworks

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

  9. Multilevel logic synthesis using algorithms based on natural processes

    Proceedings of the International Conference on Microelectronics

  10. Orderings, AC-theories and symbolic constraint solving

    Proceedings - Symposium on Logic in Computer Science

  11. Promoting software reuse through explicit knowledge representations

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

  12. TINA network resource model

    Conference Record / IEEE Global Telecommunications Conference

  13. Tuning of Fuzzy Controllers: Application of the Relay Method

    EUROSIM '95 Simulation Congress

  14. Un algoritmo genético para la optimización del interconexionado de circuitos

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

  15. Un algoritmo para determinar la basicidad de un semialgebraico plano

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