Jump to main content

yr 〜
yr

Search results 13

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 5937)

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 5937)
Paper図書
Springerc2010.<M17-10-2789>
National Diet Library
  • Author HeadingCarro, Manuel. Peña, Ricardo. PADL 2010 (2010 : Madrid, Sp...

Implementation of functional languages : 15th international workshop, IFL 2003 : Edinburgh, UK, September 8-11, 2003 : revised papers. : Sep 2003, Edinburgh, UK. (Lecture Notes in Computer Science ; 3145)

Implementation of functional languages : 15th international workshop, IFL 2003 : Edinburgh, UK, September 8-11, 2003 : revised papers. : Sep 2003, Edinburgh, UK. (Lecture Notes in Computer Science ; 3145)
Paper図書
Springerc2004.<M17-05-884>
National Diet Library
  • Author Heading...n, Greg, 1953- Peña, Ricardo.

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)
Paper図書
Springer[2014]<M17-15-1535>
National Diet Library

Foundational and practical aspects of resource analysis : third international workshop, FOPARA 2013 : Bertinoro, Italy, August 29-31, 2013 : revised selected papers : Aug 2013, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8552)

Foundational and practical aspects of resource analysis : third international workshop, FOPARA 2013 : Bertinoro, Italy, August 29-31, 2013 : revised selected papers : Aug 2013, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8552)
Paper図書
Springer[2014]<M17-15-1629>
National Diet Library

Trends in functional programming : 13th international symposium, TFP 2012 : St. Andrews, UK, June 12-14, 2012 : revised selected papers : TFP12 : Jun 2012, St. Andrews, UK. (Lecture Notes in Computer Science ; 7829)

Trends in functional programming : 13th international symposium, TFP 2012 : St. Andrews, UK, June 12-14, 2012 : revised selected papers : TFP12 : Jun 2012, St. Andrews, UK. (Lecture Notes in Computer Science ; 7829)
Paper図書
Springerc2013.<M17-14-538>
National Diet Library
  • Author Heading...Hans-Wolfgang. Peña, Ricardo, 1950-

Implementation of functional languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised papers

Implementation of functional languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised papers
Paper図書
Phil Trinder, Greg Michaelson, Ricardo Peña (eds.)Springerc2004
Other Libraries in Japan
  • Author Heading...chaelson, Greg Peña, Ricardo

Implementation of functional languages : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised selected papers

Implementation of functional languages : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised selected papers
Paper図書
Ricardo Peña, Thomas Arts (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Workshop on the Implementation of Functional Languages Peña, Ricardo Arts, Thomas

Implementation of functional languages : 14th international workshop, IFL 2002 : Madrid, Spain, September 16-18, 2002 : revised selected papers. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2670)

Implementation of functional languages : 14th international workshop, IFL 2002 : Madrid, Spain, September 16-18, 2002 : revised selected papers. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2670)
Paper図書
Springerc2003.<M17-04-461>
National Diet Library
  • Author HeadingPeña, Ricardo, 1950- Arts, Thomas, 1969- In...

Las instituciones del capitalismo occidental : eficiencia e ineficiencia adaptativas : UAM : Sísifo

Las instituciones del capitalismo occidental : eficiencia e ineficiencia adaptativas : UAM : Sísifo
Paper図書
Juan Ignacio Campa, Ricardo de la Peña, Óscar Martínez López ; Fernando Jeannot (coordinador)Universidad Autónoma Metropolitana, Azcapotzalco2010
Other Libraries in Japan
  • Author HeadingCampa, Juan Ignacio Peña, Ricardo de la (Peña Leyva) Martínez L...

Identification and control : the gap between theory and practice

Identification and control : the gap between theory and practice
Paper図書
[ed by] Ricardo S. Sánchez-Peña, Joseba Quevedo Casín, Vicenç Puig CayuelaSpringerc2007
Other Libraries in Japan
  • Author HeadingSánchez-Peña, Ricardo S. Casín, Joseba Quevedo Puig...

Robust systems theory and applications

Robust systems theory and applications
Paper図書
Ricardo S. Sánchez-Peña, Mario SznaierJohn Wiley1998
Other Libraries in Japan
  • Author HeadingSánchez-Peña, Ricardo S. Sznaier, Mario

La integración de México al mercado de América del Norte 1. ed

La integración de México al mercado de América del Norte 1. ed
Paper図書
Ricardo Marcos Buzo de la PeñaUniversidad Autónoma Metropolitana-Azcapotzalco1997
Other Libraries in Japan
  • Author HeadingBuzo de la Peña, Ricardo Marcos Universidad Autónoma M...

La estructura del Congreso del Trabajo : estado, trabajo y capital en México, un acercamiento al tema

La estructura del Congreso del Trabajo : estado, trabajo y capital en México, un acercamiento al tema
Paper図書
César Zazueta y Ricardo de la PeñaCentro Nacional de Información y Estadísticas del Trabajo : Fondo de Cultura Económica1984
Other Libraries in Japan
  • Author HeadingZazueta, César Peña, Ricardo de la

Reached to the end of result.

RSS