Home Advanced Search

Advanced Search - Page 1

Computational Methods in Systems Biology
  • PDF
  • English
  • Year: 2009
  • Author: Pierpaolo Degano, Roberto Gorrieri
Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (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
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)
  • PDF
  • English
  • Year: 2009
  • Author: Pierpaolo Degano, Luca Viganò
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Gorrieri (auth.)
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Xavier Leroy (auth.), Pierpaolo Degano (eds.)
search