André Platzer – författare
Visar alla böcker från författaren André Platzer.
8 produkter
8 produkter
Häftad, Engelska, 2019
779 kr
Skickas inom 10-15 vardagar
Del 12699 - Lecture Notes in Computer Science
Automated Deduction – CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Häftad, Engelska, 2021
589 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2024
589 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2024
2 189 kr
Skickas inom 10-15 vardagar
Del 9360 - Lecture Notes in Computer Science
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Häftad, Engelska, 2015
689 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2018
779 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2010
1 419 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2014
1 419 kr
Skickas inom 10-15 vardagar