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
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.)
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.)
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
  • PDF
  • English
  • Year: 2022
  • Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Resume and Letter Transformation Made Easy
  • EPUB
  • English
  • Year: 2022
  • Author: Annie Cerone
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.)
Mathematical Inequalities: A Perspective
  • PDF
  • English
  • Year: 2010
  • Author: Pietro Cerone, Silvestru Sever Dragomir
search