Erweiterte Suche

Grid  List

  1. Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    Thomas Wies
    Springer International Publishing, Springer Nature Switzerland
    15.12.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. In der Blütenwelt flanieren In der Blütenwelt flanieren

    In der Blütenwelt flanieren

    Petra Dobrovolny-Mühlenbach
    BoD - Books on Demand, BoD - Books on Demand
    25.02.2019

    Vom Schnee, der die Krokusse noch einmal überdeckt, kündet ein Gedicht. Eulen und Adler bekommen ...

    Taschenbuch
    11,50 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Thomas Wies
    Springer International Publishing, Springer Nature Switzerland
    14.01.2022

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

    Taschenbuch
    96,29 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Verification of Concurrent Search Structures Automated Verification of Concurrent Search Structures

    Automated Verification of Concurrent Search Structures

    Siddharth Krishna
    Springer International Publishing, Springer International Publishing
    01.06.2021

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Programming Languages and Systems Programming Languages and Systems

    Programming Languages and Systems

    Thomas Wies
    Springer Nature Switzerland, Springer Nature Switzerland
    18.04.2023

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

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Networked Systems Networked Systems

    Networked Systems

    Thomas Wies
    Springer Nature Switzerland, Springer Nature Switzerland
    07.07.2023

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1