Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / edited by Marijn Heule, Sean Weaver.

by Heule, Marijn [editor.] | Weaver, Sean [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

The best writing on mathematics 2018 / Mircea Pitici, editor.

by Pitici, Mircea, 1965- [editor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Princeton : Princeton University Press, [2019]Online access: Click here to access online Availability: No items available

Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / edited by Marijn Heule, Sean Weaver.

by Heule, Marijn [editor.] | Weaver, Sean [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available