Book titles in this series

  1. Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

    Editors:
    • Naoki Kobayashi
    • James Worrell
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Hard cover

  2. Fundamental Approaches to Software Engineering

    27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

    Editors:
    • Dirk Beyer
    • Ana Cavalcanti
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover

  3. Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

    Editors:
    • Naoki Kobayashi
    • James Worrell
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover

  4. Programming Languages and Systems

    33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

    Editors:
    • Stephanie Weirich
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover

  5. Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

    Editors:
    • Bernd Finkbeiner
    • Laura Kovács
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover

  6. Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

    Editors:
    • Bernd Finkbeiner
    • Laura Kovács
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover

  7. Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

    Editors:
    • Bernd Finkbeiner
    • Laura Kovács
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover

  8. LATIN 2024: Theoretical Informatics

    16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part II

    Editors:
    • José A. Soto
    • Andreas Wiese
    • Copyright: 2024

    Available Renditions

    • Soft cover

  9. LATIN 2024: Theoretical Informatics

    16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part I

    Editors:
    • José A. Soto
    • Andreas Wiese
    • Copyright: 2024

    Available Renditions

    • Soft cover

  10. SOFSEM 2024: Theory and Practice of Computer Science

    49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings

    Editors:
    • Henning Fernau
    • Serge Gaspers
    • Ralf Klasing
    • Copyright: 2024

    Available Renditions

    • Soft cover