Erika Abraham – författare
Visar alla böcker från författaren Erika Abraham. Handla med fri frakt och snabb leverans.
16 produkter
At The Pinnacle
One Woman's Running Journey
Av Erika Abraham, Greg Schaffer
Häftad, 2018
200 kr
Lägg i varukorg
Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Av Erika Ábrahám, Marco Paolieri
Häftad, 2022
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are …
Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Av Marco Paolieri, Erika Abraham
E-bok, 2022
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022. The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are …
Fundamentals of Software Engineering
10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Av Hossein Hojjat, Erika Ábrahám
Häftad, 2023
680 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected …
Fundamentals of Software Engineering
10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Av Erika Abraham, Hossein Hojjat
E-bok, 2023
923 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023. The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected …
Theoretical Aspects of Computing – ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
Av Erika Ábrahám, Clemens Dubslaff m. fl.
Häftad, 2023
900 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed …
Theoretical Aspects of Computing - ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
Av Silvia Lizeth Tapia Tarifa, Clemens Dubslaff m. fl.
E-bok, 2023
1150 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed …
Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
Av Erika Ábrahám, Houssam Abbas
Häftad, 2024
624 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 …
Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
Av Houssam Abbas, Erika Abraham
E-bok, 2024
821 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 …
Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Av Erika Ábrahám, Marcello Bonsangue m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest …
Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Av Einar Broch Johnsen, Marcello Bonsangue m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest …
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Av Erika Ábrahám, Marieke Huisman
Häftad, 2016
904 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections …
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Av Marieke Huisman, Erika Abraham
E-bok, 2016
1150 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections …
Tools and Algorithms for the Construction and Analysis of Systems
20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Av Erika Abraham, Klaus Havelund
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. …
Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Av Erika Ábrahám, Catuscia Palamidessi
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, …
Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Av Catuscia Palamidessi, Erika Abraham
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, …
