Resultados
|
|
1.
|
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko Eekelen, Olha Shkaravska. por
- Peña, Ricardo [editor.]
- Eekelen, Marko [editor.]
- Shkaravska, Olha [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7177
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Foundational and practical aspects of resource analysis : third international workshop, fopara 2013, bertinoro, italy, august 29-31, 2013, revised selected papers / edited by Ugo Dal Lago, Ricardo Peña. por
- Dal Lago, Ugo [editor.]
- Peña, Ricardo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8552
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg J. Michaelson, Ricardo Peña. por
- Trinder, Phil [editor.]
- Michaelson, Greg J [editor.]
- Peña, Ricardo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3145
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Logic-based program synthesis and transformation : 23rd international symposium, lopstr 2013, madrid, spain, september 18-19, 2013, revised selected papers / edited by Gopal Gupta, Ricardo Peña. por
- Gupta, Gopal [editor.]
- Peña, Ricardo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8901
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings / edited by Manuel Carro, Ricardo Peña. por
- Carro, Manuel [editor.]
- Peña, Ricardo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5937
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
|
6.
|
Trends in Functional Programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / edited by Ricardo Peña, Rex Page. por
- Peña, Ricardo [editor.]
- Page, Rex [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7193
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
7.
|
Trends in Functional Programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Peña. por
- Loidl, Hans-Wolfgang [editor.]
- Peña, Ricardo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7829
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
