Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Introduction to Operating System Design and Implementation Introduction to Operating System Design and Implementation

    Introduction to Operating System Design and Implementation

    Scott Smolka
    Springer London, Springer London
    14.08.2007

    OSP 2 is both an implementation of a modern operating system and a flexible environment for gener...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Scott Smolka
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.02.2013

    This book constitutes the proceedings of the 19th International Conference on Tools and Algorithm...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Interactive Computation Interactive Computation

    Interactive Computation

    Dina Goldin
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.09.2006

    The interaction paradigm is a new conceptualization of computational phenomena that emphasizes in...

    Gebunden
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Runtime Verification Runtime Verification

    Runtime Verification

    Scott A. Smolka
    Springer International Publishing, Springer International Publishing
    23.09.2014

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Computation Interactive Computation

    Interactive Computation

    Dina Goldin
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.10.2010

    The interaction paradigm is a new conceptualization of computational phenomena that emphasizes in...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. CONCUR ’95 Concurrency Theory CONCUR ’95 Concurrency Theory

    CONCUR ’95 Concurrency Theory

    Scott Smolka
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.09.1995

    This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, ...

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