Zobrazeno 1 - 6
of 6
pro vyhledávání: '"César Domínguez Pérez"'
Autor:
Adrián Inés Armas, César Domínguez Pérez, Jónathan Heras Vicente, Eloy Javier Mata Sotés, María Vico Pascual Martínez-Losa
Publikováno v:
RIUR. Repositorio Institucional de la Universidad de La Rioja
instname
instname
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::843fa555927f607ba5ab1308caeb9553
https://investigacion.unirioja.es/documentos/628e7209a659e14253bf896d
https://investigacion.unirioja.es/documentos/628e7209a659e14253bf896d
Autor:
Alicia Pérez de Albéniz Iturriaga, Eduardo Fonseca Pedrero, Javier Ortuño Sierra, Beatriz Lucas Molina, Adriana Díez Gómez del Casal, Usue De la Barrera Marzal, Carla Ileana Sebastián Enesco, Irene Manzanares Metola, Paloma De Vicente Clemente, Clara Maiso, Adriana Cifone Ponte, Cristina Sáinz Cebrián, Rebeca Aritio Solana, Uxue López, Alejandra Osorio, César Domínguez Pérez, Arturo Jaime Elizondo
Publikováno v:
RIUR. Repositorio Institucional de la Universidad de La Rioja
instname
instname
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bd46ad0175c28cda38faaa8a4ea84f87
https://investigacion.unirioja.es/documentos/62ac4b12a659e14253bf8f33
https://investigacion.unirioja.es/documentos/62ac4b12a659e14253bf8f33
Autor:
Marcia Nation, Lakshmi Charli-Joseph, Ma. José Solares, Marisa Mazari-Hiriart, Ana E. Escalante, Paola Gómez-Priego, Luis A. Bojórquez-Tapia, César Domínguez Pérez-Tejada, Hallie Eakin
Publikováno v:
International Journal of Sustainability in Higher Education. 17:378-403
Purpose The authors describe the challenges and opportunities associated with developing an interdisciplinary sustainability programme in an emerging economy and illustrate how these are addressed through the approach taken for the development of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c5db73eb1d3d3fc0049ce58f42daa15
https://doi.org/10.1108/ijshe-09-2014-0125
https://doi.org/10.1108/ijshe-09-2014-0125
Autor:
Eduardo Fonseca Pedrero, Alicia Pérez de Albéniz, Javier Ortuño-Sierra, Beatriz Lucas- Molina, Rebeca Aritio Solana, Laura Pérez, César Domínguez Pérez, Félix Inchausti
Publikováno v:
RIUR. Repositorio Institucional de la Universidad de La Rioja
instname
instname
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::059b095f9c505fb24312c66558daec19
https://investigacion.unirioja.es/documentos/62ac63a2a659e14253bf8f4c
https://investigacion.unirioja.es/documentos/62ac63a2a659e14253bf8f4c
Autor:
César Domínguez Pérez, Arturo Jaime Elizondo, Juan José Olarte Larrea, Francisco J. García-Izquierdo
Publikováno v:
RIUR. Repositorio Institucional de la Universidad de La Rioja
instname
instname
Background: Undergraduate students in computer science engineering undertake a capstone project that should integrate the specific knowledge and skills acquired during their studies. The advisor assigned to supervise the process undertakes a multifac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5b79e7d162e7e829932296916001536
https://doi.org/10.1002/j.2168-9830.2012.tb01124.x
https://doi.org/10.1002/j.2168-9830.2012.tb01124.x
Autor:
César Domínguez Pérez, Julio Rubio
Publikováno v:
RIUR. Repositorio Institucional de la Universidad de La Rioja
instname
Lecture Notes in Computer Science ISBN: 9783642141270
instname
Lecture Notes in Computer Science ISBN: 9783642141270
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibility when working in Coq with chain complexes of infinite type (that is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6521d38b6fcd3ce0e197479cbdf03262
https://investigacion.unirioja.es/documentos/5bbc67d3b750603269e7fdf4
https://investigacion.unirioja.es/documentos/5bbc67d3b750603269e7fdf4