Hoppa till sidans huvudinnehåll

Erika Abraham - Böcker

Visar alla böcker från författaren Erika Abraham.
9 produkter

At The Pinnacle

One Woman's Running Journey

AvErika Abraham,Greg Schaffer

Häftad, Engelska, 2018

239 kr

Skickas inom 5-8 vardagar

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,Erika Abraham

Häftad, Engelska, 2022

729 kr

Skickas inom 10-15 vardagar

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

869 kr

Skickas inom 10-15 vardagar

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 Dubslaff,Silvia Lizeth Tapia Tarifa,Erika Abraham

Häftad, Engelska, 2023

1 159 kr

Skickas inom 7-10 vardagar

Runtime Verification

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

AvErika Ábrahám,Houssam Abbas

Häftad, Engelska, 2024

799 kr

Skickas inom 10-15 vardagar

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 Bonsangue,Einar Broch Johnsen,Erika Abraham

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

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 159 kr

Skickas inom 10-15 vardagar

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

729 kr

Skickas inom 10-15 vardagar

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

729 kr

Skickas inom 10-15 vardagar