Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Gianluigi Zavattaro
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    03.06.2005

    This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference o...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Coordination Models and Languages Coordination Models and Languages

    Coordination Models and Languages

    Gianluigi Zavattaro
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    27.05.2008

    Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, rec...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology

    Formal Methods for Computational Systems Biology

    Marco Bernardo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.05.2008

    This volume presents the set of papers accompanying the lectures of the eighth International Scho...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. CONCUR 2009 - Concurrency Theory CONCUR 2009 - Concurrency Theory

    CONCUR 2009 - Concurrency Theory

    Mario Bravetti
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 128,39 €

    Jetzt 106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Techniques for Computer Systems and Business Processes Formal Techniques for Computer Systems and Business Processes

    Formal Techniques for Computer Systems and Business Processes

    Mario Bravetti
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    25.08.2005

    This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Uni...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for Web Services Formal Methods for Web Services

    Formal Methods for Web Services

    Marco Bernardo
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book presents a set of 8 papers accompanying the lectures of leading researchers given at th...

    Taschenbuch
    49,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Web Services and Formal Methods Web Services and Formal Methods

    Web Services and Formal Methods

    Mario Bravetti
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    04.09.2006

    Here are the refereed proceedings of the Third International Workshop on Web Services and Formal ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Flavio De Paoli
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    17.08.2012

    This book constitutes the refereed proceedings of the First European Conference on Service-Orient...

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