Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Gopal Gupta, Ricardo Peña (eds.)
Multiprocessor Execution of Logic Programs
  • PDF
  • English
  • Year: 1994
  • Author: Gopal Gupta (auth.)
Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Schilling (auth.), Ricardo Peña, Rex Page (eds.)
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Enrico Pontelli (auth.), Manuel Carro, Ricardo Peña (eds.)
Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Schilling (auth.), Ricardo Peña, Rex Page (eds.)
Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: D. A. Turner (auth.), Hans-Wolfgang Loidl, Ricardo Peña (eds.)
Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers
  • PDF
  • English
  • Year: 2001
  • Author: Ricardo Peña, Clara Segura (auth.), Markus Mohnen, Pieter Koopman (eds.)
Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: Kevin Hammond, Greg Michaelson (auth.), Ricardo Peña, Thomas Arts (eds.)
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Lecture Notes in ... / Programming and Software Engineering)
  • PDF
  • English
  • Year: 2010
  • Author: Manuel Carro, Ricardo Peña
Photovoltaic Thermal Passive House System
  • PDF
  • English
  • Year: 2021
  • Author: Gopal Nath Tiwari, Neha Gupta
search