Fachbereich
Matemáticas y Computación
Buchkapitel (9) Publikationen, an denen Forscher/innen teilgenommen haben
2014
-
A tool for capstone project management in computer science engineering
2014 International Symposium on Computers in Education, SIIE 2014, pp. 65-68
-
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
-
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
-
Competencia matemática
Acción pedagógica en los centros escolares: enfoque teórico y práctico (Universidad de La Rioja), pp. 157-172
-
Computational commutative algebra for tight network reliability bounds
Safety, reliability and risk analysis: beyond the Horizon (CRC Press), pp. 1271
-
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
-
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
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63
-
Transference of fractional Laplacian regularity
Special Functions, Partial Differential Equations, and Harmonic Analysis, pp. 203-212