Home Advanced Search

Advanced Search - Page 1

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)
Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
  • DJVU
  • English
  • Year: 2005
  • Author: Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2007
  • Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)
search