Home Advanced Search

Advanced Search - Page 1

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.)
CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Ugo Montanari, Vladimiro Sassone (eds.)
Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Bart Jacobs (auth.), Cristian S. Calude, Vladimiro Sassone (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Matteo Maffei, Emilio Tuosto (eds.)
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Viviana Bono, Sara Capecchi, Ilaria Castellani (auth.), Roberto Bruni, Vladimiro Sassone (eds.)
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
  • PDF
  • English
  • Year: 2006
  • Author: Cynthia Dwork (auth.), Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (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.)
search