Home Advanced Search

Advanced Search - Page 1

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Greg Nelson (auth.), Alessandro Armando (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Greg Nelson (auth.), Dexter Kozen (eds.)
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Hypermedia Courseware: Structures of Communication and Intelligent Help: Proceedings of the NATO Advanced Research Workshop on Structures of Communication and Intelligent Help for Hypermedia Courseware, held at Espinho, Portugal, April 19–24, 1990
  • PDF
  • English
  • Year: 1992
  • Author: Armando Oliveira (auth.), Armando Oliveira (eds.)
search