Home Advanced Search

Advanced Search - Page 1

Introduction to Bisimulation and Coinduction
  • PDF
  • English
  • Year: 2011
  • Author: Davide Sangiorgi
Introduction to Bisimulation and Coinduction
  • PDF
  • English
  • Year: 2011
  • Author: Davide Sangiorgi
The [pi]-calculus : a theory of mobile processes
  • DJVU
  • English
  • Year: 2001
  • Author: Davide Sangiorgi; David Walker
Advanced Topics in Bisimulation and Coinduction
  • PDF
  • English
  • Year: 2012
  • Author: Davide Sangiorgi, Jan Rutten (Editors)
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Benjamin C. Pierce (auth.), Rocco De Nicola, Davide Sangiorgi (eds.)
Designing for service : key issues and new directions
  • PDF
  • English
  • Year: 2017
  • Author: Prendiville, Alison; Sangiorgi, Daniela
La prima guerra mondiale nel cinema italiano. Filmografia 1915-2013
  • PDF
  • Italian
  • Year: 2014
  • Author: Enrico Gaudenzi, Giorgio Sangiorgi
Design for services
  • PDF
  • English
  • Year: 2011
  • Author: Anna Meroni; Daniela Sangiorgi
Designing for Service: Key Issues and New Directions
  • PDF
  • English
  • Year: 2017
  • Author: Daniela Sangiorgi; Alison Prendiville (editors)
Giovanni Gentile
  • PDF
  • Italian
  • Year: 2011
  • Author: Davide Spanio
search