Home Advanced Search

Advanced Search - Page 1

Foundations of Security Analysis and Design II
  • PDF
  • German
  • Year: 2004
  • Author: Riccardo Focardi, Roberto Gorrieri
Foundations of Security Analysis and Design: Tutorial Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Peter Y. A. Ryan (auth.), Riccardo Focardi, 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.)
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • english
  • Year: 2017
  • Author: Roberto Gorrieri
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Gorrieri
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Gorrieri (auth.)
Computational Methods in Systems Biology
  • PDF
  • English
  • Year: 2009
  • Author: Pierpaolo Degano, Roberto Gorrieri
Principles of Security and Trust: 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Riccardo Focardi, Andrew Myers (eds.)
Introduction to Concurrency Theory: Transition Systems and CCS
  • PDF
  • English
  • Year: 2015
  • Author: Roberto Gorrieri, Cristian Versari (auth.)
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.)
search