Anne Remke – författare
Visar alla böcker från författaren Anne Remke. Handla med fri frakt och snabb leverans.
17 produkter
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
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018.The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 …
Computer Performance Engineering
15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Av Anne Remke, Hind Castel-Taleb m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 …
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
564 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing …
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 Valerio Schiavoni, Anne Remke
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing …
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
564 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers …
Quantitative Evaluation of Systems
17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings
Av Anne Remke, David N. Jansen m. fl.
E-bok, 2020
710 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers …
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
548 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 14 submissions. The …
Computer Performance Engineering
20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
Av Daniele Di Pompeo, Anne Remke m. fl.
E-bok, 2025
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024. The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 14 submissions. The …
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
654 kr
Lägg i varukorg
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected …
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Av Bernhard Steffen, Anne Remke
E-bok, 2025
839 kr
Lägg i varukorg
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected …
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
787 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th EAI International Conference on Performance Evaluation Methodologies and Tools, Valuetools 2025, which took place in Glasgow, UK during December 11–12, 2025The 18 full papers presented in this volume were carefully reviewed and selected …
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
542 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015. The 15 full papers presented in this book were carefully reviewed and selected from numerous …
Analytical and Stochastic Modelling Techniques and Applications
22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Av Anne Remke, Daniele Manini m. fl.
E-bok, 2015
631 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015. The 15 full papers presented in this book were carefully reviewed and selected from numerous …
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
564 kr
Lägg i varukorg
Thisbook constitutes the proceedings of the 18th International GI/ITG Conference onMeasurement, Modelling and Evaluation of Computing Systems and Dependabilityand Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April2016.The 12 full papers and 3 short papers included in this volume …
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 Boudewijn R. Haverkort, Anne Remke
E-bok, 2016
755 kr
Lägg i varukorg
Thisbook constitutes the proceedings of the 18th International GI/ITG Conference onMeasurement, Modelling and Evaluation of Computing Systems and Dependabilityand Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April2016. The 12 full papers and 3 short papers included in this volume …
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
544 kr
Lägg i varukorg
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly …
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Av Marielle Stoelinga, Anne Remke
E-bok, 2014
652 kr
Lägg i varukorg
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly …
