Hoppa till sidans huvudinnehåll

Catherine Dubois – författare

Visar alla böcker från författaren Catherine Dubois.
4 produkter
Del 13962 - Lecture Notes in Computer Science

Formal Methods Teaching

5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

AvCatherine Dubois,Pierluigi San Pietro

Häftad, Engelska, 2023

769 kr

Skickas inom 5-8 vardagar

Del 14101 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

AvCatherine Dubois,Manfred Kerber

Häftad, Engelska, 2023

1 019 kr

Skickas inom 10-15 vardagar

Del 10889 - Lecture Notes in Computer Science

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

AvCatherine Dubois,Burkhart Wolff

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Tests and Proofs

Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

AvCatherine Dubois

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar