Search

Your search returned 3 results.

Not what you expected? Check for suggestions

Results
		Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by Järvisalo, Matti [editor.] \| Van Gelder, Allen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7962Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by Järvisalo, Matti [editor.] \| Van Gelder, Allen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7962Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computer algorithms : introduction to design and analysis. by Baase, Sara \| Van Gelder, Allen. Edition: 3rd imp.ed. Publication details: Channai : Pearson Education Pvt. Ltd., 2006Availability: Items available for loan: Bangalore University Library (2) Call number: 005.1 BAA, ... Place hold Log in to add tags Add to cart (remove)

Powered by Koha