17 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
17 results

Your search for Anne Remke

  1. Cover: Formal Methods for Industrial Critical Systems - Springer
    Anne Remke | Bernhard Steffen
    Formal Methods for Industrial Critical Systems
    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    08/2025
    Springer
    9783032009425 (ISBN)
    E-Book
    PDF
    Other editions
    €60.98
    Available for download
  2. Cover: Computer Performance Engineering - Springer
    Josu Doncel | Anne Remke | Daniele Di Pompeo
    Computer Performance Engineering
    20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
    02/2025
    Springer
    9783031809323 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Quantitative Evaluation of Systems - Springer
    Marco Gribaudo | David N. Jansen | Anne Remke
    Quantitative Evaluation of Systems
    17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings
    11/2020
    Springer
    9783030598549 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Distributed Applications and Interoperable Systems - Springer
    Anne Remke | Valerio Schiavoni
    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
    06/2020
    Springer
    9783030503239 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Performance Evaluation Methodologies and Tools - Springer
    Anne Remke | Katinka Wolter | Gethin Norman
    Performance Evaluation Methodologies and Tools
    18th EAI International Conference, Valuetools 2025, Glasgow, UK, December 11-12, 2025, Proceedings
    approx. 07/2026
    Springer
    9783032239006 (ISBN)
    Book
    Paperback/Softback
    €74.89
    Not yet published
  6. Cover: Stochastic Model Checking - Springer
    Anne Remke | Mariëlle Stoelinga
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    11/2014
    Springer
    9783662454893 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  7. Cover: Analytical and Stochastic Modelling Techniques and Applications - Springer
    Marco Gribaudo | Daniele Manini | Anne Remke
    Analytical and Stochastic Modelling Techniques and Applications
    22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
    05/2015
    Springer
    9783319185798 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  8. Cover: Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - Springer
    Anne Remke | Boudewijn R. Haverkort
    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
    03/2016
    Springer
    9783319315591 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Computer Performance Engineering - Springer
    Rena Bakhshi | Paolo Ballarini | Benoît Barbot
    Computer Performance Engineering
    15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
    10/2018
    Springer
    9783030022273 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  10. Cover: Formal Methods for Industrial Critical Systems - Springer
    Anne Remke | Bernhard Steffen
    Formal Methods for Industrial Critical Systems
    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    08/2025
    Springer
    9783032009418 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €62.05
    Available immediately
  11. Cover: Stochastic Model Checking - Springer
    Anne Remke | Mariëlle Stoelinga
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    10/2014
    Springer
    9783662454886 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 7-9 days
  12. Cover: Quantitative Evaluation of Systems - Springer
    Marco Gribaudo | David N. Jansen | Anne Remke
    Quantitative Evaluation of Systems
    17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings
    11/2020
    Springer
    9783030598532 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Distributed Applications and Interoperable Systems - Springer
    Anne Remke | Valerio Schiavoni
    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
    06/2020
    Springer
    9783030503222 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  14. Cover: Computer Performance Engineering - Springer
    Rena Bakhshi | Paolo Ballarini | Benoît Barbot
    Computer Performance Engineering
    15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
    10/2018
    Springer
    9783030022266 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Computer Performance Engineering - Springer
    Josu Doncel | Anne Remke | Daniele Di Pompeo
    Computer Performance Engineering
    20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
    02/2025
    Springer
    9783031809316 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  16. Cover: Analytical and Stochastic Modelling Techniques and Applications - Springer
    Marco Gribaudo | Daniele Manini | Anne Remke
    Analytical and Stochastic Modelling Techniques and Applications
    22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
    05/2015
    Springer
    9783319185781 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 10-15 days
  17. Cover: Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - Springer
    Anne Remke | Boudewijn R. Haverkort
    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
    03/2016
    Springer
    9783319315584 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days