Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)
Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Frédéric Benhamou (auth.), Andreas Podelski (eds.)
Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Andreas Podelski (auth.), Mark Wallace (eds.)
Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Andreas Podelski (auth.), Mark Wallace (eds.)
Constraint Processing: Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)
Constraint Processing: Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (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.)
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.)
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