Home Advanced Search

Advanced Search - Page 1

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers
  • PDF
  • English
  • Year: 2018
  • Author: Antonio Cerone, Marco Roveri
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
  • EPUB
  • English
  • Year: 2018
  • Author: Antonio Cerone; Marco Roveri
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Frank de Boer, Antonio Cerone
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (eds.)
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (eds.)
A Pen And Paper Introduction To Statistics
  • PDF
  • English
  • Year: 2024
  • Author: Antonio Marco
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Quality of Service in Multiservice IP Networks: Second International Workshop, QoS-IP 2003 Milano, Italy, February 24–26, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Ying Xu, Roch Guérin (auth.), Marco Ajmone Marsan, Giorgio Corazza, Marco Listanti, Aldo Roveri (eds.)
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)
search