| |

avaa valikko

Laura Kovács | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022,

Kovács, Laura; Meinke, Karl
Springer
2022
Pehmeäkantinen kirja

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022,

51,10 €

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

Kovács, Laura; Sokolova, Ana
Springer
2024
Pehmeäkantinen kirja

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

66,10 €

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

Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Springer International Publishing AG
2022
Pehmeäkantinen kirja

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

41,20 €

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

41,20 €

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

41,20 €

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

41,20 €

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

Kohlhase, Andrea; Kovács, Laura
Springer International Publishing AG
2024
Pehmeäkantinen kirja

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

110,90 €

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Kosmatov, Nikolai; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

128,30 €