Home Advanced Search

Advanced Search - Page 1

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Alexander Bockmayr, Friedrich Eisenbrand (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)
Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)
Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Annalisa Bossi (eds.)
search