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

2013

  1. Can an e-Research project support e-Learning activities?

    EDULEARN13 : 5th International Conference on Education and New Learning Technologies (IATED), pp. 5724

  2. Certified symbolic manipulation: Bivariate simplicial polynomialsModos de exclusión de las mujeres en la sociedad actual

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 243-250

  3. Feasibility of the Implementation of a UML to XML Evolution Architecture Using Eclipse as Technological Ecosystem

    The Fifth International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2013, Jan. 27 - Febr. 1, pp. 231-234

  4. Introduction [to Monomial ideals and system reliability]

    Monomial ideals and system reliability (Springer), pp. VII-IX

  5. LuaTeX: La nueva generación de sistemas de composición tipográfica para textos científicos

    Buenas prácticas en la docencia universitaria con apoyo de TIC.: Experiencias en 2012 (Prensas de la Universidad de Zaragoza), pp. 175-178

  6. Monomial ideals, computations and applications

    Lecture Notes in Mathematics (Springer Verlag), pp. 1-194

  7. Performance Analysis of a Verified Linear Algebra Program in SML

    Taller de Programación Funcional - XII Spanish Conference on Programming and Computer Languages, PROLE 2013, pp. 28-35

  8. Rate of Convergence of Wong–Zakai Approximations for Stochastic Partial Differential Equations

    Progress in Probability (Birkhauser), pp. 95-130

  9. Reasoning About UML/OCL Models Using Constraint Logic Programming and MDA

    Proc. of the International Conference on Software Engineering Advances (ICSEA) (ICSEA), pp. 228-233

  10. Relaciones entre las competencias matemáticas y las competencias profesionales de los maestros en formación de la rioja

    Investigación en el ámbito escolar: un acercamiento multidimensional a las variables psicológicas y educativas (Grupo Editorial Universitario (GEU Editorial)), pp. 513-520

  11. Spectral sequences for computing persistent homology of digital images

    Proceedings Applications of Computer Algebra ACA 2013

  12. Transversal competencies for computer science students

    2013 International Conference on Engineering and Mathematics ENMA 2013 (Purple Gate Publishing), pp. 16-21