Grid  List

  1. Hybrid Systems: Computation and Control
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Sys...

    Unser bisheriger Preis:ORGPRICE: 103,52 €

    Jetzt 57,90 €Ebook
    Alle Preise inkl. MwSt
  2. Computer Aided Verification
    0 %
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    Unser bisheriger Preis:ORGPRICE: 57,61 €

    Jetzt 57,60 €Ebook
    Alle Preise inkl. MwSt
  3. Computer Aided Verification
    0 %
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    Unser bisheriger Preis:ORGPRICE: 57,60 €

    Jetzt 57,59 €Ebook
    Alle Preise inkl. MwSt
  4. Model Checking Software
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

    Unser bisheriger Preis:ORGPRICE: 57,76 €

    Jetzt 57,75 €Ebook
    Alle Preise inkl. MwSt
  5. Networked Systems
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the revised selected papers of the 8th International Conference on Networke...

    Unser bisheriger Preis:ORGPRICE: 57,61 €

    Jetzt 57,60 €Ebook
    Alle Preise inkl. MwSt
  6. Principles of Systems Design
    0 %
    Ebook
    Sofort lieferbar

    This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022...

    Unser bisheriger Preis:ORGPRICE: 102,30 €

    Jetzt 102,29 €Ebook
    Alle Preise inkl. MwSt
  7. Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Sys...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 6th International Conference on Runtime ...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Taschenbuch
    Print on Demand

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Taschenbuch
    Print on Demand

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Taschenbuch
    Print on Demand

    This book constitutes the revised selected papers of the 8th International Conference on Networke...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2