Home Advanced Search

Advanced Search - Page 1

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (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.)
Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Andrew C. Myers (auth.), Mooly Sagiv (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.)
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.)
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.)
Informatics: 10 Years Back, 10 Years Ahead
  • PDF
  • English
  • Year: 2001
  • Author: Gerhard Weikum (auth.), Reinhard Wilhelm (eds.)
Informatics: 10 Years Back, 10 Years Ahead
  • DJVU
  • English
  • Year: 2001
  • Author: Gerhard Weikum (auth.), Reinhard Wilhelm (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)
search