Book titles in this series

  2. Domain Science and Engineering

    A Foundation for Software Development

    Authors:
    • Dines Bjørner
    • Copyright: 2021

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  4. Graph and Model Transformation

    General Framework and Applications

    Authors:
    • Hartmut Ehrig
    • Claudia Ermel
    • Ulrike Golas
    • Frank Hermann
    • Copyright: 2015

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  6. Process Algebras for Petri Nets

    The Alphabetization of Distributed Systems

    Authors:
    • Roberto Gorrieri
    • Copyright: 2017

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  7. Fault-Tolerant Search Algorithms

    Reliable Computation with Unreliable Information

    Authors:
    • Ferdinando Cicalese
    • Copyright: 2013

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  9. Words and Graphs

    Authors:
    • Sergey Kitaev
    • Vadim Lozin
    • Copyright: 2015

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  10. Modeling Time in Computing

    Authors:
    • Carlo A. Furia
    • Dino Mandrioli
    • Angelo Morzenti
    • Matteo Rossi
    • Copyright: 2012

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Publish with us

Submission guidelines
Open access publishing
Policies and ethics
Contact the Publishing Editor
Wayne Wheeler
Download book proposal form