Home Advanced Search

Advanced Search - Page 1

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: George Necula (auth.), Alan Mycroft, Andreas Zeller (eds.)
Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: David A. Schmidt (auth.), Alan Mycroft (eds.)
Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Neil Johnson, Alan Mycroft (auth.), Görel Hedin (eds.)
Compiler Construction: 14th International Conference, CC 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: Andreas Zeller (auth.), Rastislav Bodik (eds.)
Technologiefrühaufklärung mit Data Mining: Informationsprozessorientierter Ansatz zur Identifikation schwacher Signale
  • PDF
  • German
  • Year: 2003
  • Author: Andreas Zeller (auth.)
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andreas Zeller (auth.), Myra B. Cohen, Mel Ó Cinnéide (eds.)
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andreas Zeller (auth.), Myra B. Cohen, Mel Ó Cinnéide (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
search