FEEDBACK Smiley face

Your search returned 7 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. 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).

3. Algorithms in a nutshell

by Heineman, George T | Pollice, Gary | Selkow, Stanley.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : O'Reilly, ©2016Online access: Revision history Availability:
Items available for reference: IIITD [REF 005.1 HEI-A] (1). Checked out (1).

4. 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).

5. Data structures, algorithms, and software principles in C

by Standish, Thomas A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Massachusetts. : Addison-Wesley, ©1995Availability: Items available for loan: IIITD [005.133 STA-D] (1).

6. Analyzing evolutionary algorithms : the computer science perspective

by Jansen, Thomas.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin ; New York : Springer, c2013Availability: Items available for loan: IIITD [REF 006.3 JAN-A] (1).

7. Adaptive filtering algorithms and practical implementation

by Diniz, Paulo Sergio Ramirez.

Edition: 3rd ed.Source: SpringerLink ebooks - Engineering (2008)Material type: book Book; Format: electronic available online remote; Literary form: Publisher: Guildford : Springer, 2008Availability: Items available for loan: IIITD [621.382 DIN-A] (1).


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