Home Advanced Search

Advanced Search - Page 1

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
  • DJVU
  • English
  • Year: 1982
  • Author: Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)
A Process Algebraic Approach to Software Architecture Design
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)
Artificial Intelligence: Methodology, Systems, and Applications: 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Krzysztof Stebel, Dariusz Choiński (auth.), Danail Dochev, Marco Pistore, Paolo Traverso (eds.)
Fascial Integration Body Work
  • PDF
  • English
  • Year: 2020
  • Author: Marco Montanari
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
  • PDF
  • English
  • Year: 2010
  • Author: Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
Future Internet - FIS 2009: Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009
  • PDF
  • English
  • Year: 2010
  • Author: Robert Tolksdorf, Anne Augustin, Sebastian Koske (auth.), Tanja Zseby, Reijo Savola, Marco Pistore (eds.)
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)
User-Centric Networking: Future Perspectives
  • PDF
  • English
  • Year: 2014
  • Author: Alessandro Aldini, Alessandro Bogliolo (eds.)
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
  • PDF
  • English
  • Year: 2007
  • Author: William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)
search