Marijn Heule - Böcker

Visar alla böcker från författaren Marijn Heule.

4 produkter

Kategorier

4 produkter

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Theory and Applications of Satisfiability Testing -- SAT 2015

18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Av Marijn Heule, Sean Weaver

Häftad, Engelska, 2015

939 kr

Skickas inom 10-15 vardagar