Hoppa till sidans huvudinnehåll

Anne Remke – författare

Visar alla böcker från författaren Anne Remke.
9 produkter
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke - Computer Performance Engineering, Häftad

Computer Performance Engineering

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

AvRena Bakhshi,Paolo Ballarinim. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Anne Remke, Valerio Schiavoni - Distributed Applications and Interoperable Systems, Häftad
Del 12135 - Lecture Notes in Computer Science

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

AvAnne Remke,Valerio Schiavoni

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Marco Gribaudo, David N. Jansen, Anne Remke - Quantitative Evaluation of Systems, Häftad
Del 12289 - Lecture Notes in Computer Science

Quantitative Evaluation of Systems

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

AvMarco Gribaudo,David N. Jansenm. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Josu Doncel, Anne Remke, Daniele Di Pompeo - Computer Performance Engineering, Häftad
Del 15454 - Lecture Notes in Computer Science

Computer Performance Engineering

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

AvJosu Doncel,Anne Remkem. fl.

Häftad, Engelska, 2025

709 kr

Skickas inom 10-15 vardagar

Anne Remke, Bernhard Steffen - Formal Methods for Industrial Critical Systems, Häftad
Del 16040 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

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

AvAnne Remke,Bernhard Steffen

Häftad, Engelska, 2025

849 kr

Skickas inom 10-15 vardagar

Anne Remke, Katinka Wolter, Gethin Norman - Performance Evaluation Methodologies and Tools, Häftad

Performance Evaluation Methodologies and Tools

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

AvAnne Remke,Katinka Wolterm. fl.

Häftad, Engelska, 2026

1 069 kr

Kommande

Marco Gribaudo, Daniele Manini, Anne Remke - Analytical and Stochastic Modelling Techniques and Applications, Häftad
Del 9081 - Lecture Notes in Computer Science

Analytical and Stochastic Modelling Techniques and Applications

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

AvMarco Gribaudo,Daniele Maninim. fl.

Häftad, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar

Anne Remke, Boudewijn R. Haverkort - Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, Häftad
Del 9629 - Lecture Notes in Computer Science

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

AvAnne Remke,Boudewijn R. Haverkort

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Anne Remke, Mariëlle Stoelinga - Stochastic Model Checking, Häftad

Stochastic Model Checking

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

AvAnne Remke,Mariëlle Stoelinga

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar