Home Advanced Search

Advanced Search - Page 1

Formal methods for web services advanced lectures, 9, 2009, Bertinoro
  • PDF
  • English
  • Year: 2009
  • Author: Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)
Internet of Things: Architectures, Protocols and Standards
  • PDF
  • English
  • Year: 2018
  • Author: Simone Cirani, Gianluigi Ferrari, Marco Picone, Luca Veltri
Internet of Things: Architectures, Protocols and Standards
  • PDF
  • English
  • Year: 2018
  • Author: Simone Cirani; Gianluigi Ferrari; Marco Picone; Luca Veltri
Internet of Things: Architectures, Protocols and Standards
  • EPUB
  • English
  • Year: 2018
  • Author: Simone Cirani;Gianluigi Ferrari;Marco Picone;Luca Veltri
Wireless Mesh Networks for IoT and Smart Cities: Technologies and applications
  • PDF
  • English
  • Year: 2022
  • Author: Luca Davoli, Gianluigi Ferrari
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)
search