IIITB Library

Your cart is empty.

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Decision procedures: An algorithmic point of view

by Kroening, D.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer 2008Availability: Items available for loan: [Call number: 004.01156 KRO] (1).

Add to cart
Decision procedures: An algorithmic point of view. 2nd. Edition.

by Kroening, D | Strichman, O.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer 2016Availability: Items available for loan: [Call number: 519.542 KRO] (1).

Add to cart

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha