Laura Kovács – författare
Visar alla böcker från författaren Laura Kovács.
8 produkter
Mikrohullámú Sütés kezdőknek
Egyszerű és Kreatív Ételek Villámgyorsan
Av Laura Kovács
Häftad, 2023
519 kr
Lägg i varukorg
Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Häftad, 2022
719 kr
Lägg i varukorg
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, 2022
589 kr
Lägg i varukorg
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, 2024
589 kr
Lägg i varukorg
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, 2024
589 kr
Lägg i varukorg
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, 2024
589 kr
Lägg i varukorg
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
Häftad, 2024
959 kr
Lägg i varukorg
Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Av Nikolai Kosmatov, Laura Kovács
Häftad, 2024
2059 kr
Lägg i varukorg