FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

|
1. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin : Springer, ©2016Availability:
Items available for reference: IIITD [REF 519.542 KRO-D] (1).

2. Data structures and algorithms using Python

by Necaise, Rance D.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Wiley, ©2011Availability: Items available for loan: IIITD [005.73 NEC-D] (1).

3. Designing scientific applications on GPUs

by Couturier, Raphael | Couturier, Raphael.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London: CRC press ©2014Availability: Items available for loan: IIITD [REF 006.663 COU-D] (1).

4. Bayesian artificial intelligence

by Korb, Kevin B | Nicholson, Ann E.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton, FL : CRC Press, c2011Availability: Items available for loan: IIITD [REF 006.3 KOR-B] (1).

5. Introduction to computer theory

by Cohen, Daniel I. A.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Wiley, c1997Availability: Items available for loan: IIITD [004 COH-I] (2).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in