Home Advanced Search

Advanced Search - Page 1

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.)
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.)
Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jean Goubault-Larrecq (auth.), Anupam Datta (eds.)
Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jean Goubault-Larrecq (auth.), Anupam Datta (eds.)
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andrew W. Appel (auth.), Gilles Barthe (eds.)
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andrew W. Appel (auth.), Gilles Barthe (eds.)
search