Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (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.)
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Christos Kaklamanis (auth.), Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)
search