Laura Kovács - Böcker

Mikrohullámú Sütés kezdőknek

Egyszerű és Kreatív Ételek Villámgyorsan

AvLaura Kovács

Häftad, Ungerska, 2023

479 kr

Skickas inom 5-8 vardagar

Tests and Proofs

16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

AvLaura Kovács,Karl Meinke m. fl.

Häftad, Engelska, 2022

699 kr

Skickas inom 10-15 vardagar

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

AvJasmin Blanchette,Laura Kovács m. fl.

Häftad, Engelska, 2022

579 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

AvBernd Finkbeiner,Laura Kovács

Häftad, Engelska, 2024

569 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

AvBernd Finkbeiner,Laura Kovács

Häftad, Engelska, 2024

569 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

AvBernd Finkbeiner,Laura Kovács

Häftad, Engelska, 2024

569 kr

Skickas inom 10-15 vardagar