Detailsuche

Grid  List

  1. Networked Systems
    0 %
    Networked Systems
    David Mohaisen
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 11th International Conference on Networked ...

    Unser bisheriger Preis:ORGPRICE: 62,41 €

    Jetzt 62,40 €Ebook
    Alle Preise inkl. MwSt
  2. Verified Software. Theories, Tools, and Experiments
    0 %
    Verified Software. Theories, Tools, and Experiments
    Andrei Paskevich
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume constitutes the thoroughly refereed post-conference proceedings of the 9th Internatio...

    Unser bisheriger Preis:ORGPRICE: 56,20 €

    Jetzt 56,19 €Ebook
    Alle Preise inkl. MwSt
  3. Automated Verification of Concurrent Search Structures
    0 %
    Automated Verification of Concurrent Search Structures
    Siddharth Krishna
    Morgan & Claypool Publishers
    Ebook
    Sofort lieferbar

    Search structures support the fundamental data storage primitives on key-value pairs: insert a pa...

    Unser bisheriger Preis:ORGPRICE: 59,99 €

    Jetzt 50,71 €Ebook
    Alle Preise inkl. MwSt
  4. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Bernd Finkbeiner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 23rd International Conference on Verification, Model...

    Unser bisheriger Preis:ORGPRICE: 99,09 €

    Jetzt 99,08 €Ebook
    Alle Preise inkl. MwSt
  5. Programming Languages and Systems
    Programming Languages and Systems
    Thomas Wies
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ...

    3,73 €Ebook
    Alle Preise inkl. MwSt
  6. Verified Software. Theories, Tools, and Experiments
    0 %
    Verified Software. Theories, Tools, and Experiments
    Thomas Wies
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume constitutes the thoroughly refereed post-conference proceedings of the 9th Internatio...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Thomas Wies
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 23rd International Conference on Verification, Model...

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 96,28 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Automated Verification of Concurrent Search Structures
    0 %
    Automated Verification of Concurrent Search Structures
    Siddharth Krishna
    Springer International Publishing
    Taschenbuch
    Print on Demand

    Search structures support the fundamental data storage primitives on key-value pairs: insert a pa...

    Unser bisheriger Preis:ORGPRICE: 58,84 €

    Jetzt 58,83 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Programming Languages and Systems
    Programming Languages and Systems
    Thomas Wies
    Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedings of the 32nd European Symposium on Programmin...

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Networked Systems
    0 %
    Networked Systems
    Thomas Wies
    Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 11th International Conference on Network...

    Unser bisheriger Preis:ORGPRICE: 58,84 €

    Jetzt 58,83 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Automated Verification of Concurrent Search Structures
    Automated Verification of Concurrent Search Structures
    Siddharth Krishna
    Springer International Publishing
    Ebook
    Nicht lieferbar

    Search structures support the fundamental data storage primitives on key-value pairs: insert a pa...

    62,53 €Ebook
    Alle Preise inkl. MwSt
  1. 1