Marijn Heule – författare
Visar alla böcker från författaren Marijn Heule.
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, 2025
589 kr
Lägg i varukorg
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, 2025
589 kr
Lägg i varukorg
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, 2025
589 kr
Lägg i varukorg
Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Häftad, 2015
929 kr
Lägg i varukorg