Book titles in this series

  1. Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

    Authors:
    • Vijay Ganesh
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover
    • eBook
  2. Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

    Authors:
    • Arie Gurfinkel
    • Vijay Ganesh
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover
    • eBook
  3. Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

    Authors:
    • Vijay Ganesh
    • Open Access
    • Copyright: 2024

    Available Renditions

    • Soft cover
    • eBook
  4. Information Security and Privacy

    29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15–17, 2024, Proceedings, Part II

    Authors:
    • Yannan Li
    • Copyright: 2024

    Available Renditions

    • Soft cover
    • eBook
  5. Information Security and Privacy

    29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15–17, 2024, Proceedings, Part III

    Editors:
    • Tianqing Zhu
    • Yannan Li
    • Copyright: 2024

    Available Renditions

    • Soft cover
    • eBook

Publish with us

Contact the Publishing Editor
Ronan Nugent