Detailsuche

Grid  List

  1. Hybrid Systems: Computation and Control
    0 %
    Hybrid Systems: Computation and Control
    Rupak Majumdar
    Springer Berlin Heidelberg
    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,50 €Ebook
    Alle Preise inkl. MwSt
  2. Computer Aided Verification
    0 %
    Computer Aided Verification
    Viktor Kuncak
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  3. Computer Aided Verification
    0 %
    Computer Aided Verification
    Viktor Kuncak
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  4. Model Checking Software
    0 %
    Model Checking Software
    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,81 €

    Jetzt 57,80 €Ebook
    Alle Preise inkl. MwSt
  5. Networked Systems
    0 %
    Networked Systems
    Chryssis Georgiou
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  6. Principles of Systems Design
    0 %
    Principles of Systems Design
    Krishnendu Chatterjee
    Springer Nature Switzerland
    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,10 €

    Jetzt 102,09 €Ebook
    Alle Preise inkl. MwSt
  7. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Paulo Tabuada
    Springer Berlin Heidelberg
    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. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer Berlin Heidelberg
    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. Runtime Verification
    Runtime Verification
    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    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. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer International Publishing
    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. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer International Publishing
    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. Networked Systems
    Networked Systems
    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    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