Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
|
Uso de wikis en ingeniería informática
Alicia Villanueva García
RED: revista de educación a distancia, ISSN-e 1578-7680, Nº. Extra 12, 2010 (Ejemplar dedicado a: WIKI y educación superior en España (II parte))
Uso de wikis en ingeniería informática
Alicia Villanueva García
REDU: Revista de Docencia Universitaria, ISSN 1696-1412, ISSN-e 1887-4592, Nº. Extra 5, 2009 (Ejemplar dedicado a: Wiki y educación superior en España (II parte))
María Alpuente Frasnedo, Marco A. Feliú, Christophe Joubert, Alicia Villanueva García
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.), Ginés Damián Moreno Valverde (ed. lit.), Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 15-22
Alexei Lescaylle Daudinot, Alicia Villanueva García
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.), Ginés Damián Moreno Valverde (ed. lit.), Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 109-118
Symbolic Model Checking for Timed Concurrent Constraint Programs
María Alpuente Frasnedo, Moreno Falaschi, Alicia Villanueva García
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro, Manuel Palomar Sanz, 2003, ISBN MU-2299-2003, pág. 151
Model checking for the concurrent constraint paradigm
Alicia Villanueva García
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2003).
Logic-based techniques for program analysis and specification synthesis
Marco Antonio Feliú Gabaldón
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Alicia Villanueva García (dir. tes.). Universitat Politècnica de València (2013).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados