Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Decision procedures : an algorithmic point of view by Series: Texts in theoretical computer science an EATCS
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, ©2016
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 519.542 KRO-D.

Add to cart
2.
Modern computer algebra by
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Cambridge University Press, ©2013
Availability: Items available for loan: IIITD (1)Call number: REF 512.002 JOA-M.

Place hold Add to cart
3.
Bayesian artificial intelligence by Series: Chapman & Hall/CRC computer science and data analysis series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton, FL : CRC Press, c2011
Availability: Items available for loan: IIITD (1)Call number: REF 006.3 KOR-B.

Place hold Add to cart
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in