mehr als bücher

Grid  List

  1. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    Marco Bernardo
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the In...

    53,49 €*
  2. Concurrency, Graphs and Models
    Concurrency, Graphs and Models
    Pierpaolo Degano
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday,...

    106,99 €*
  3. Software, Services, and Systems
    Software, Services, and Systems
    Rocco De Nicola
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig...

    53,49 €*
  4. Coordination Models and Languages
    Coordination Models and Languages
    Rocco De Nicola
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 15th International Conference on Coordinati...

    53,49 €*
  5. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Rocco De Nicola
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the proceedings of the 14th International Conference on Software Engineerin...

    53,49 €*
  6. Trustworthy Global Computing
    Trustworthy Global Computing
    Rocco De Nicola
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  1. 1