Akademibokhandeln

Anne Remke – författare

Visar alla böcker från författaren Anne Remke.

9 produkter

  1. Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke - Computer Performance Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Performance Engineering

    15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

    Av Rena Bakhshi, Paolo Ballarini m. fl.

    Häftad, 2018

    739 kr

    Lägg i varukorg

  2. Anne Remke, Valerio Schiavoni - Distributed Applications and Interoperable Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Distributed Applications and Interoperable Systems

    20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

    Av Anne Remke, Valerio Schiavoni

    Häftad, 2020

    739 kr

    Lägg i varukorg

  3. Marco Gribaudo, David N. Jansen, Anne Remke - Quantitative Evaluation of Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Quantitative Evaluation of Systems

    17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

    Av Marco Gribaudo, David N. Jansen m. fl.

    Häftad, 2020

    739 kr

    Lägg i varukorg

  4. Josu Doncel, Anne Remke, Daniele Di Pompeo - Computer Performance Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Performance Engineering

    20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers

    Av Josu Doncel, Anne Remke m. fl.

    Häftad, 2025

    719 kr

    Lägg i varukorg

  5. Anne Remke, Bernhard Steffen - Formal Methods for Industrial Critical Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Industrial Critical Systems

    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

    Av Anne Remke, Bernhard Steffen

    Häftad, 2025

    859 kr

    Lägg i varukorg

  6. Anne Remke, Katinka Wolter, Gethin Norman - Performance Evaluation Methodologies and Tools, Häftad. Tillgänglighet: Lägg i varukorg

    Performance Evaluation Methodologies and Tools

    18th EAI International Conference, Valuetools 2025, Glasgow, UK, December 11–12, 2025, Proceedings

    Av Anne Remke, Katinka Wolter m. fl.

    Häftad, 2026

    1029 kr

    Lägg i varukorg

  7. Marco Gribaudo, Daniele Manini, Anne Remke - Analytical and Stochastic Modelling Techniques and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Analytical and Stochastic Modelling Techniques and Applications

    22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

    Av Marco Gribaudo, Daniele Manini m. fl.

    Häftad, 2015

    709 kr

    Lägg i varukorg

  8. Anne Remke, Boudewijn R. Haverkort - Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

    18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

    Av Anne Remke, Boudewijn R. Haverkort

    Häftad, 2016

    739 kr

    Lägg i varukorg

  9. Anne Remke, Mariëlle Stoelinga - Stochastic Model Checking, Häftad. Tillgänglighet: Lägg i varukorg

    Stochastic Model Checking

    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

    Av Anne Remke, Mariëlle Stoelinga

    Häftad, 2014

    709 kr

    Lägg i varukorg