Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « anne remke »
Skip side bar filters

  • Formal Methods for Industrial Critical Systems

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

    Modifié par Anne Remke, Bernhard Steffen ...
    Collections 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; ... En savoir plus

    $72.99 CAD

  • Computer Performance Engineering

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

    Modifié par Josu Doncel, Anne Remke, Daniele Di Pompeo ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Quantitative Evaluation of Systems

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

    Modifié par Marco Gribaudo, David N. Jansen, Anne Remke ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • Computer Performance Engineering

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

    Modifié par Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • 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

    Modifié par Anne Remke, Valerio Schiavoni ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • 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

    Modifié par Anne Remke, Boudewijn R. Haverkort ...
    Collections 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 ... En savoir plus

    $64.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Multidisciplinary Design Optimization Supported by Knowledge Based Engineering

    par 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 ... En savoir plus

    $139.99 CAD

  • 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

    Modifié par Sriram Sankaranarayanan, Natasha Sharygina ...
    Collections Livre 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 ... En savoir plus

    Gratuit

  • Formal Methods for Industrial Critical Systems

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

    Modifié par Alessandro Cimatti, Laura Titolo ...
    Collections 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 ... En savoir plus

    $83.99 CAD

  • Computer Performance Engineering

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

    Modifié par Dieter Fiems, Marco Paolieri, Agapios N. Platis ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • Machine Learning, Optimization, and Big Data

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

    Modifié par Panos Pardalos, Mario Pavone, Giovanni Maria Farinella, Vincenzo Cutello ...
    Collections 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. ... En savoir plus

    $64.99 CAD

  • Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

    Modifié par Willem-Jan van Hoeve ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2018, held in Delft, The Netherlands, in June 2018.The 47 full papers presented together with 3 abstracts of invited talks and 3 abstracts of fast-track journal papers were ... En savoir plus

    $64.09 CAD