Home Advanced Search

Advanced Search - Page 1

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures
  • PDF
  • English
  • Year: 2004
  • Author: Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Martín Abadi (auth.), Luca Cardelli (eds.)
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Gorrieri (auth.)
User-Centric Networking: Future Perspectives
  • PDF
  • English
  • Year: 2014
  • Author: Alessandro Aldini, Alessandro Bogliolo (eds.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)
search