Hoppa till sidans huvudinnehåll

Laura Kovács - Böcker

Visar alla böcker från författaren Laura Kovács.
9 produkter

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

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

Av Laura Kovács

Häftad, Ungerska, 2023

489 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

Av Laura 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

Av Jasmin 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

Av Bernd Finkbeiner, Laura Kovács

Häftad, Engelska, 2024

669 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

Av Bernd Finkbeiner, Laura Kovács

Häftad, Engelska, 2024

669 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

Av Bernd Finkbeiner, Laura Kovács

Häftad, Engelska, 2024

669 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings

Av Andrea Kohlhase, Laura Kovács m. fl

Häftad, Engelska, 2024

989 kr

Skickas inom 11-20 vardagar

Reachability Problems

18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings

Av Laura Kovács, Ana Sokolova m. fl

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Av Nikolai Kosmatov, Laura Kovács m. fl

Häftad, Engelska, 2024

2 089 kr

Skickas inom 10-15 vardagar