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.)
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.)
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)
search