Home Advanced Search

Advanced Search - Page 1

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: 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.)
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Peter W. O’Hearn (auth.), David Schmidt (eds.)
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Peter W. O’Hearn (auth.), David Schmidt (eds.)
Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen: Entwicklung optischer Analysemethoden an punktmutierten KcsA und Connexin 26
  • PDF
  • German
  • Year: 2017
  • Author: David Schmidt (auth.)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten
  • PDF
  • German
  • Year: 1989
  • Author: David Hilbert, Erhard Schmidt (auth.), Albrecht Pietsch (eds.)
Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)
search