Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “anne remke”
Skip side bar filters

  • Performance Evaluation Methodologies and Tools

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

    Edición de Anne Remke, Katinka Wolter, Gethin Norman ...
    Series series Springer Nature Proceedings Computer Science
    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 from 46 submissions. They were organized into topical sections as follows: Queueing Models; Stochastic ... Leer más

    $71.99 USD

  • Formal Methods for Industrial Critical Systems

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

    Edición de Anne Remke, Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    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 from 25 submissions. The papers have been organized in the following topical sections: verification; ... Leer más

    $58.49 USD

  • Computer Performance Engineering

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

    Edición de Josu Doncel, Anne Remke, Daniele Di Pompeo ...
    Series series Springer Nature Proceedings Computer Science
    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 concept of performance in EPEW 2024 is considered in its broadest sense including the notions of ... Leer más

    $49.99 USD

  • Quantitative Evaluation of Systems

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

    Edición de Marco Gribaudo, David N. Jansen, Anne Remke ...
    Series series Springer Nature Proceedings Computer Science
    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 cover topics such as classic measures involving performance and reliability, quantification of ... Leer más

    $49.49 USD

  • Computer Performance Engineering

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

    Edición de Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke ...
    Series series Springer Nature Proceedings Computer Science
    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 submissions. The papers presented at the workshop reflect the diversity of modern performance ... Leer más

    $49.99 USD

  • 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

    Edición de Anne Remke, Boudewijn R. Haverkort ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of ... Leer más

    $49.99 USD

  • 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

    Edición de Anne Remke, Valerio Schiavoni ...
    Series series Springer Nature Proceedings Computer Science
    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 Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.The 10 full papers ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Multidisciplinary Design Optimization Supported by Knowledge Based Engineering

    de Jaroslaw Sobieszczanski-Sobieski, Alan Morris, Michel van Tooren ...
    Multidisciplinary Design Optimization supported by Knowledge Based Engineering supports engineers confronting this daunting and new design paradigm. It describes methodology for conducting a system design in a systematic and rigorous manner that supports human creativity to optimize the design objective(s) subject to constraints and uncertainties. The material presented builds on decades of ... Leer más

    $113.00 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

    Edición de Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Leer más

    Gratis

  • Formal Methods for Industrial Critical Systems

    28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

    Edición de Alessandro Cimatti, Laura Titolo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.The papers focus on development and application of formal methods in industry. FMICS is a platform for ... Leer más

    $62.99 USD

  • Computer Performance Engineering

    13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

    Edición de Dieter Fiems, Marco Paolieri, Agapios N. Platis ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th European Workshop on Computer Performance Engineering, EPEW 2016, held in Chios, Greece, in October 2016. The 14 papers presented together with 2 invited talks in this volume were carefully reviewed and selected from 25 submissions.The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ... Leer más

    $49.49 USD

  • Machine Learning, Optimization, and Big Data

    First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers

    Edición de Panos Pardalos, Mario Pavone, Giovanni Maria Farinella, Vincenzo Cutello ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the First International Workshop on Machine Learning, Optimization, and Big Data, MOD 2015, held in Taormina, Sicily, Italy, in July 2015.The 32 papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with the algorithms, methods and theories relevant in data science, optimization and machine learning. ... Leer más

    $49.99 USD