FEEDBACK Smiley face

Your search returned 135 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. What algorithms want : imagination in the age of computing

by Finn, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©2017Availability: Items available for loan: IIITD [303.4834 FIN-W] (1).

3. Handbook of satisfiability

by Biere, Armin [editor] | Heule, Marijn [editor] | Mareen, Hans Van [editor] | Walsh, Toby [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Amsterdam : IOS Press, ©2009Availability:
Items available for reference: IIITD [REF 511.3 BIE-H] (1).

4. Computational molecular biology : an algorithmic approach

by Pevzner, Pavel A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Prentice Hall India Learning Private Limited, ©2000Availability: Items available for loan: IIITD [CB 572.8 PEV-C] (2).
Items available for reference: IIITD [CB 572.8 PEV-C] (1).

5. The creativity code : how AI is learning to write, paint and think

by Sautoy, Marcus Du.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : 4th Estate, ©2019Availability: Items available for loan: IIITD [006.3 SAU-C] (1).

6. The calculus of computation : decision procedures with applications to verification

by Bradley, Aaron R | Manna, Zohar.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2007Availability:
Items available for reference: IIITD [004.015 BRA-C] (1).

7. Problem solving in data structures & algorithms using java

by Jain, Hemant.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Sl : Independently Published, ©2018Availability: Items available for loan: IIITD [005.133 JAI-P] (1).
Checked out (3).

8. Computer vision : algorithms and applications

by Szeliski, Richard | Gries, David [editor] | Schneider, Fred B [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2011Availability: Items available for loan: IIITD [006.37 SZE-C] (1).

9. Data structures and algorithms in c++

by Drozdek, Adam.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cengage lrarning, ©2013Availability: Items available for loan: IIITD [005.133 DRO-D] (2).

10. Hello world : how to be human in the age of the machine

by Fry, Hannah.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Black Swan, ©2018Availability: Items available for loan: IIITD [303.483 FRY-H] (1).

11. Random numbers and computers

by Kneusel, Ronald T.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Switzerland : Springer, ©2018Availability: Items available for loan: IIITD [REF 518 KNE-R] (1).

12. Design and analysis of algorithms : a contemporary perspective

by Sen, Sandeep | Kumar, Amit.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Cambridge University Press, ©2019Availability: No items available
Checked out (1).

13. Computational Thinking

by Denning, Peter J | Tedre, Matti.

Material type: book Book; Format: print Publisher: London : MIT Press, ©2019Availability: Items available for loan: IIITD [005.1 DEN-C] (1).

14. Data algorithms : recipes for scaling up with hadoop and spark

by Parsian, Mahmoud.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : O'Reilly/SPD, ©2015Availability: Items available for loan: IIITD [005.1 PAR-D] (1).

15. Inverse synthetic aperture radar imaging : principles, algorithms, and applications

by Chen, Victor C | Martorella, Marco.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Jersey : Scitech Publishing, ©2014Availability: No items available
Checked out (1).

16. Probably approximately correct : nature's algorithms for learning and prospering in a complex world

by Valiant, Leslie.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Basic Books, ©2013Availability: Items available for loan: IIITD [150.1 VAL-P] (1).

17. Approximation algorithms and semidefinite programming

by Gartner, Bernd | Matousek, Jiri.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Heidelberg : Springer, ©2012Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [518.1 GAR-A] (1).

18. Once upon an algorithm : how stories explain computing

by Erwig, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : MIT Press, ©2017Availability: Items available for loan: IIITD [005.1 ERW-O] (1).

19. Algorithms for next-generation sequencing

by Sung, Wing-Kin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : CRC Press, ©2017Availability:
Items available for reference: IIITD [CB 570.285 SUN-A] (1).

20. Machine learning for hackers

by Conway, Drew | White, John Myles.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : O'Reilly, ©2012Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: IIITD [006 CON-M] (1).
Items available for reference: IIITD [CB 006 CON-M] (2).


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