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.)
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
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
  • PDF
  • English
  • Year: 2020
  • Author: Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Qumran, Early Judaism, and New Testament Interpretation: Kleine Schriften III (Wissenschaftliche Untersuchungen Zum Neuen Testament)
  • PDF
  • English
  • Author: Jorg Frey, Jacob N Cerone (editor)
search