Search Results for Peña, Ricardo.

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Peña, Ricardo. editor.

https://doi.org/10.1007/978-3-642-32495-6

Format:

Alıntı:

, Madrid, Spain, May 19, 2011, Revised Selected Papers / Peña, Ricardo. editor.

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

Peña, Ricardo. editor.

https://doi.org/10.1007/978-3-642-32037-8

Format:

Alıntı:

, 2011, Revised Selected Papers / Peña, Ricardo. editor.

Identification and Control The Gap between Theory and Practice

Sánchez-Peña, Ricardo S. editor.

https://doi.org/10.1007/978-1-84628-899-9

Format:

Alıntı:

Identification and Control The Gap between Theory and Practice / Sánchez-Peña, Ricardo S. editor.

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

https://doi.org/10.1007/978-3-319-12466-7

Format:

Alıntı:

Peña, Ricardo. editor.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gupta, Gopal. editor.

https://doi.org/10.1007/978-3-319-14125-1

Format:

Alıntı:

Peña, Ricardo. editor.

Trends in Functional Programming 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers

Loidl, Hans Wolfgang. editor.

https://doi.org/10.1007/978-3-642-40447-4

Format:

Alıntı:

Peña, Ricardo. editor.

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Carro, Manuel. editor.

https://doi.org/10.1007/978-3-642-11503-5

Format:

Alıntı:

Peña, Ricardo. editor.

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Trinder, Phil. editor.

https://doi.org/10.1007/b102274

Format:

Alıntı:

Pena, Ricardo. editor.

The Hard Ticks of the World (Acari: Ixodida: Ixodidae)

Guglielmone, Alberto A. author.

https://doi.org/10.1007/978-94-007-7497-1

Format:

Alıntı:

Estrada-Peña, Agustín. author.

	{displayName}	{count}
{error}