Book titles in this series

  1. Product-Focused Software Process Improvement

    22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

    Editors:
    • Luca Ardito
    • Andreas Jedlitschka
    • Maurizio Morisio
    • Marco Torchiano
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  2. Service-Oriented Computing

    19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings

    Editors:
    • Hakim Hacid
    • Odej Kao
    • Massimo Mecella
    • Naouel Moha
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  3. Formal Methods

    24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

    Editors:
    • Marieke Huisman
    • Corina Păsăreanu
    • Naijun Zhan
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  4. Formal Aspects of Component Software

    17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

    Editors:
    • Gwen Salaün
    • Anton Wijs
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  5. Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

    Editors:
    • Ezio Bartocci
    • Yliès Falcone
    • Martin Leucker
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  6. Fundamentals of Software Engineering

    9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

    Editors:
    • Hossein Hojjat
    • Mieke Massink
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  7. Static Analysis

    28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

    Editors:
    • Cezara Drăgoi
    • Suvam Mukherjee
    • Kedar Namjoshi
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  8. Advances in Conceptual Modeling

    ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings

    Editors:
    • Iris Reinhartz-Berger
    • Shazia Sadiq
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook

Publish with us

Contact the Publishing Editor
Ronan Nugent