Book titles in this series

  1. Accelerator Programming Using Directives

    8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

    Editors:
    • Sridutt Bhalachandra
    • Christopher Daley
    • Verónica Melesse Vergara
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  2. Services Computing – SCC 2021

    18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

    Editors:
    • Ajay Katangur
    • Liang-Jie Zhang
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  3. Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

    Editors:
    • Roderick Bloem
    • Rayna Dimitrova
    • Chuchu Fan
    • Natasha Sharygina
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  4. Web Services – ICWS 2021

    28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

    Editors:
    • Chengzhong Xu
    • Yunni Xia
    • Yuchao Zhang
    • Liang-Jie Zhang
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  5. Services – SERVICES 2021

    17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

    Editors:
    • Mohamed Adel Serhani
    • Liang-Jie Zhang
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  6. Performance Evaluation and Benchmarking

    13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers

    Editors:
    • Raghunath Nambiar
    • Meikel Poess
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  7. Practical Aspects of Declarative Languages

    24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

    Editors:
    • James Cheney
    • Simona Perri
    • Copyright: 2022

    Available Renditions

    • Soft cover
    • eBook
  8. Rules and Reasoning

    5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

    Editors:
    • Sotiris Moschoyiannis
    • Rafael Peñaloza
    • Jan Vanthienen
    • Ahmet Soylu
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  9. Performance Engineering and Stochastic Modeling

    17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings

    Editors:
    • Paolo Ballarini
    • Hind Castel
    • Ioannis Dimitriou
    • Mauro Iacono
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook
  10. Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

    Editors:
    • Sérgio Campos
    • Marius Minea
    • Copyright: 2021

    Available Renditions

    • Soft cover
    • eBook

Publish with us

Contact the Publishing Editor
Ronan Nugent