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

2007

  1. A formal environment for describing negotiation capabilities

    Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007

  2. A maple package for automatic theorem proving and discovery in 3D-geometry

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

  3. An algebraic approach to detect logical inconsistencies in medical appropriateness criteria

    Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings

  4. Comparing alternative evaluation strategies for stream-based parallel functional languages

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

  5. En la escuela y con luz propia

    El desafío de ser hombre (II): VIII Congreso Católicos y Vida Pública, 17, 18 y 19 de noviembre de 2006

  6. New strategies on SOFC

    Materials Research Society Symposium Proceedings

  7. New strategies on SOFC

    SOLID-STATE IONICS-2006

  8. Observing intermediate structures in a parallel lazy functional language

    PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

  9. Online evaluation at higher and secondary education: A teaching and learning experience

    Computers and Education: E-Learning, from Theory to Practice

  10. Reflexiones acerca de la capacitación práctica de los futuros maestros de Educación Primaria desde las necesidades percibidas por una muestra de maestros de Primaria en ejercicio

    Buenas prácticas en el Practicum: IX Symposium Internacional sobre el Prácticum y las Prácticas en Empresas en la Formación Universitaria, Poio (Pontevedra), 27-29 de junio de 2007

  11. Un mundo de financieros. La Hacienda Real de Castilla y sus arrendadores en las postrimerías del reinado

    Isabel la Católica y su época: actas del Congreso Internacional. Valladolid-Barcelona-Granada, 15 a 20 de noviembre de 2004

  12. Usurpaciones de términos y abusos señoriales en la jurisdicción urbana de Cuenca a finales de la Edad Media

    La ciudad medieval y su influencia territorial

  13. iTest: A web application for learner-directed assessment in all levels, supporting mathematical formula and multimedia files

    IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2007