Home Advanced Search

Advanced Search - Page 1

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 (auth.)

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.)

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

Intelligent Perceptual Systems: New Directions in Computational Perception

DJVU
English
Year: 1993
Author: Riccardo Luccio (auth.), Vito Roberto (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.)

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

PDF
English
Year: 2007
Author: Stefano Bistarelli, Marco Dall’Aglio (auth.), Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider (eds.)