Laura Kovács – författare

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

9 produkter

Kategorier

9 produkter

Mikrohullámú Sütés kezdőknek
Egyszerű és Kreatív Ételek Villámgyorsan
AvLaura Kovács
Häftad, Ungerska, 2023
499 kr
Skickas inom 5-8 vardagar
Del 13361
Del 13361 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2022
729 kr
Skickas inom 10-15 vardagar
Del 13385
Del 13385 - Lecture Notes in Computer Science
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
AvJasmin Blanchette,Laura Kovácsm. fl.
Häftad, Engelska, 2022
599 kr
Skickas inom 10-15 vardagar
Del 14570
Del 14570 - Lecture Notes in Computer Science
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
609 kr
Skickas inom 10-15 vardagar
Del 14571
Del 14571 - Lecture Notes in Computer Science
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
609 kr
Skickas inom 10-15 vardagar
Del 14572
Del 14572 - Lecture Notes in Computer Science
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
609 kr
Skickas inom 10-15 vardagar
Intelligent Computer Mathematics
17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings
AvAndrea Kohlhase,Laura Kovács
Häftad, Engelska, 2024
979 kr
Skickas inom 11-20 vardagar
Del 15050
Del 15050 - Lecture Notes in Computer Science
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
AvLaura Kovács,Ana Sokolova
Häftad, Engelska, 2024
979 kr
Skickas inom 10-15 vardagar
Del 15234
Del 15234 - Lecture Notes in Computer Science
Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
AvNikolai Kosmatov,Laura Kovács
Häftad, Engelska, 2024
2 089 kr
Skickas inom 10-15 vardagar