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

2014

  1. A tool for capstone project management in computer science engineering

    2014 International Symposium on Computers in Education, SIIE 2014, pp. 65-68

  2. Bioinformatics web tools an infrastructure to support e-research and e-learning activities

    ICERI2014: 7TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION, pp. 4095-4095

  3. Capstone Projects in Computer Science: Evaluated by Stakeholders

    Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014 (ACM Press), pp. 345

  4. Competencia matemática

    Acción pedagógica en los centros escolares: enfoque teórico y práctico (Universidad de La Rioja), pp. 157-172

  5. Computational commutative algebra for tight network reliability bounds

    Safety, reliability and risk analysis: beyond the Horizon (CRC Press), pp. 1271

  6. Formalization and execution of Linear Algebra: from theorems to algorithms

    Revised Selected Papers of the Logic-Based Program Synthesis and Transformation (LOPSTR 2013) (Springer), pp. 1-18

  7. Incorporando Facebook como herramienta de apoyo en los Trabajos de Fin de Grado de Ingeniería Informáticas

    La era de las TT.II.CC. en la nueva docencia (McGraw-Hill Interamericana de España), pp. 351-362

  8. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63

  9. Transference of fractional Laplacian regularity

    Special Functions, Partial Differential Equations, and Harmonic Analysis, pp. 203-212