Laura Kovács - Böcker

Visar alla böcker från författaren Laura Kovács.
9 produkter
Laura Kovács - Mikrohullámú Sütés kezdőknek, Häftad

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

Av Laura Kovács

Häftad, Ungerska, 2023

499 kr

Skickas inom 5-8 vardagar
Laura Kovács, Karl Meinke, Laura Kovacs - Tests and Proofs, Häftad
Del 13361 - Lecture Notes in Computer Science

Tests and Proofs

Av Laura Kovács, Karl Meinke, Laura Kovacs

Häftad, Engelska, 2022

719 kr

Skickas inom 7-10 vardagar
Jasmin Blanchette, Laura Kovács, Dirk Pattinson, Laura Kovacs - Automated Reasoning, Häftad

Automated Reasoning

Av Jasmin Blanchette, Laura Kovács, Dirk Pattinson, Laura Kovacs

Häftad, Engelska, 2022

589 kr

Skickas inom 7-10 vardagar
Bernd Finkbeiner, Laura Kovács - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 14570 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernd Finkbeiner, Laura Kovács

Häftad, Engelska, 2024

619 kr

Skickas inom 5-8 vardagar
Bernd Finkbeiner, Laura Kovács - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 14571 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernd Finkbeiner, Laura Kovács

Häftad, Engelska, 2024

699 kr

Skickas inom 5-8 vardagar
Bernd Finkbeiner, Laura Kovács - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 14572 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernd Finkbeiner, Laura Kovács

Häftad, Engelska, 2024

699 kr

Skickas inom 5-8 vardagar
Andrea Kohlhase, Laura Kovács, Laura Kovacs - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

Av Andrea Kohlhase, Laura Kovács, Laura Kovacs

Häftad, Engelska, 2024

1 029 kr

Skickas inom 11-20 vardagar
Laura Kovács, Ana Sokolova, Laura Kovacs - Reachability Problems, Häftad
Del 15050 - Lecture Notes in Computer Science

Reachability Problems

Av Laura Kovács, Ana Sokolova, Laura Kovacs

Häftad, Engelska, 2024

849 kr

Skickas inom 7-10 vardagar
Nikolai Kosmatov, Laura Kovács, Laura Kovacs - Integrated Formal Methods, Häftad
Del 15234 - Lecture Notes in Computer Science

Integrated Formal Methods

Av Nikolai Kosmatov, Laura Kovács, Laura Kovacs

Häftad, Engelska, 2024

1 859 kr

Skickas inom 7-10 vardagar