Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 14.

Martín Martín, Enrique y Montenegro Montes, Manuel y Riesco Rodríguez, Adrián y Rosa Velardo, Fernando y Tamarit Muñoz, Salvador (2015) Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación. [Proyecto de Innovación Docente]

Caballero Roldán, Rafael y Martín Martín, Enrique y Montenegro Montes, Manuel y Riesco Rodríguez, Adrián y Tamarit Muñoz, Salvador (2016) Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción. [Proyecto de Innovación Docente]

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso y Caballero, Rafael (2009) A Declarative Debugger for Maude Specifications: User Guide. [ Technical Report SIC; 7-09, ] (Presentado)

Martín Martín, Enrique y Riesco Rodríguez, Adrián y Montenegro Montes, Manuel y Tamarit Muñoz, Salvador y Sánchez Hernández, Jaime y Gregorio Rodríguez, Carlos (2016) Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad. [Proyecto de Innovación Docente]

Caballero, Rafael y Martí Oliet, Narciso y Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) Declarative Debugging of Maude Functional Modules. [ Technical Report SIC; 4-07, ] (Presentado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Caballero, Rafael y Martí Oliet, Narciso (2008) Declarative Debugging of Maude Modules. [ Technical Report SIC; 6/08, ]

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso (2009) Declarative Debugging of Missing Answers in Rewriting Logic. [ Technical Report SIC; 6-09, ] (No publicado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso y Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [ Technical Report SIC; nº 10, 2, ] (No publicado)

Riesco Rodríguez, Adrián (2012) Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude. [Tesis Doctoral]

Carro Albarrán, David y Riesco Rodríguez, Adrián y Rodríguez Martínez, Francisco Pedro (2005) Fractal Go. [Trabajo de curso] (No publicado)

Codescu, Mihai y Mossakowski, Till y Riesco Rodríguez, Adrián y Christian, Maeder (2010) Integrating Maude into Hets. [ ] (No publicado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [ Technical Report 1/07; ] (No publicado)

Riesco Rodríguez, Adrián y Rodríguez-Hortalá, Juan (2010) Programming with Singular and Plural Non-deterministic Functions. In PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM. ACM, New York, pp. 83-92. ISBN 978-1-60558-727-1

Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (No publicado)

Esta lista fue generada el Fri Dec 2 02:40:29 2016 CET.