Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of Formal Methods, Verification, and Validation

    Leveraging Applications of Formal Methods, Verification, and Validation

    Reiner Hähnle
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.10.2012

    This volume contains a selection of revised papers that were presented at the Software Aspects of...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Optimal Interprocedural Program Optimization Optimal Interprocedural Program Optimization

    Optimal Interprocedural Program Optimization

    Jens Knoop
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.09.1998

    Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimizat...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Architecture of Computing Systems - ARCS 2017 Architecture of Computing Systems - ARCS 2017

    Architecture of Computing Systems - ARCS 2017

    Jens Knoop
    Springer International Publishing, Springer International Publishing
    06.03.2017

    This book constitutes the proceedings of the 30th International Conference on Architecture of Com...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Compiler Construction Compiler Construction

    Compiler Construction

    Jens Knoop
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 20th International Conference on Compiler C...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1