Hoppa till sidans huvudinnehåll

Erika Abraham – författare

Visar alla böcker från författaren Erika Abraham.
9 produkter
Erika Abraham, Greg Schaffer - At The Pinnacle, Häftad

At The Pinnacle

One Woman's Running Journey

AvErika Abraham,Greg Schaffer

Häftad, Engelska, 2018

249 kr

Skickas inom 5-8 vardagar

Erika Ábrahám, Marco Paolieri - Quantitative Evaluation of Systems, Häftad
Del 13479 - Lecture Notes in Computer Science

Quantitative Evaluation of Systems

19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

AvErika Ábrahám,Marco Paolieri

Häftad, Engelska, 2022

739 kr

Skickas inom 10-15 vardagar

Hossein Hojjat, Erika Ábrahám - Fundamentals of Software Engineering, Häftad
Del 14155 - Lecture Notes in Computer Science

Fundamentals of Software Engineering

10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

AvHossein Hojjat,Erika Ábrahám

Häftad, Engelska, 2023

879 kr

Skickas inom 10-15 vardagar

Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa - Theoretical Aspects of Computing – ICTAC 2023, Häftad
Del 14446 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

AvErika Ábrahám,Clemens Dubslaffm. fl.

Häftad, Engelska, 2023

1 169 kr

Skickas inom 5-8 vardagar

Erika Ábrahám, Houssam Abbas - Runtime Verification, Häftad

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

AvErika Ábrahám,Houssam Abbas

Häftad, Engelska, 2024

809 kr

Skickas inom 10-15 vardagar

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen - Theory and Practice of Formal Methods, Häftad
Del 9660 - Lecture Notes in Computer Science

Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

AvErika Ábrahám,Marcello Bonsanguem. fl.

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar

Erika Ábrahám, Marieke Huisman - Integrated Formal Methods, Häftad
Del 9681 - Lecture Notes in Computer Science

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

AvErika Ábrahám,Marieke Huisman

Häftad, Engelska, 2016

1 169 kr

Skickas inom 10-15 vardagar

Erika Abraham, Klaus Havelund - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

AvErika Abraham,Klaus Havelund

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar

Erika Ábrahám, Catuscia Palamidessi - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

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

AvErika Ábrahám,Catuscia Palamidessi

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar