5 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
5 results

Your search for Marijn Heule

  1. Cover: Theory and Applications of Satisfiability Testing -- SAT 2015 - Springer
    Marijn Heule | Sean Weaver
    Theory and Applications of Satisfiability Testing -- SAT 2015
    18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
    09/2015
    Springer
    9783319243184 (ISBN)
    E-Book
    PDF
    Other editions
    €67.40
    Available for download
  2. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Arie Gurfinkel | Marijn Heule
    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
    05/2025
    Springer
    9783031906428 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  3. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Arie Gurfinkel | Marijn Heule
    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
    05/2025
    Springer
    9783031906527 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Arie Gurfinkel | Marijn Heule
    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
    05/2025
    Springer
    9783031906596 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  5. Cover: Theory and Applications of Satisfiability Testing -- SAT 2015 - Springer
    Marijn Heule | Sean Weaver
    Theory and Applications of Satisfiability Testing -- SAT 2015
    18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
    11/2015
    Springer
    9783319243177 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €68.48
    Shipment within 10-15 days