FEEDBACK Smiley face

Your search returned 42 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. Deep learning

by Kelleher, John D.

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

3. System design with systemC

by Grötker, Thorsten | Liao, Stan | Martin, Grant | Swan, Stuart.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: [s.l.] Springer, ©2002Availability:
Items available for reference: IIITD [REF 004.21 GRO-S] (1).

4. Artificial intelligence : a guide for thinking humans

by Mitchell, Melanie.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Zealand : Pelican Books, ©2019Availability: Items available for loan: IIITD [006.3 MIT-A] (1).

5. Distributed databases : principles and systems

by Ceri, Stefano | Pelagatti, Giuseppe.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : McGraw-Hill Education, ©1984Availability: Items available for loan: IIITD [001.64 CER-D] (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. The Oxford handbook of affective computing

by Calvo, Rafael A [editor.] | D'Mello, Sidney [editor.] | Gratch, Jonathan [editor.] | Kappas, Arvid [editor.].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Oxford University Press, ©2015Availability:
Items available for reference: IIITD [REF 004.21 CAL-O] (1).

8. Where the action is : the foundations of embodied interaction

by Dourish, Paul.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©2001Availability:
Items available for reference: IIITD [004.019 DOU-W] (1).

9. Generative deep learning : teaching machines to paint, write, compose, and play

by Foster, David.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : O'Reilly, ©2019Availability: Items available for loan: IIITD [006.35 FOS-G] (1).

10. Real-time systems : design principles for distributed embedded applications

by Kopetz, Hermann.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2011Availability:
Items available for reference: IIITD [REF 004.33 KOP-R] (1).

11. Deep learning with Python

by Chollet, François.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Island : Manning Publications, ©2018Availability: Items available for loan: IIITD [005.133 CHO-D] (1).

12. The art of software testing

by Myers, Glenford J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : John Wiley & Sons, ©1979Availability: Items available for loan: IIITD [005.14 MYE-A] (1).

13. Software engineering : theory and practice

by Pfleeger, Shari Lawrence.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson Education, ©2001Availability: Items available for loan: IIITD [005.1 PFL-S] (1).

14. Beginning JavaScript

by Wilton, Paul.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Wiley Pub., ©2004Availability: Items available for loan: IIITD [005.133 WIL-B] (1).

15. Random processes for image and signal processing

by Dougherty, Edward R.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : PHI pvt ltd, ©1999Availability: Items available for loan: IIITD [621.3822 DOU-R] (1).

16. Real-time object uniform design methodology with UML

by Duc, Bui Minh.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Netherland : Springer, ©2007Availability:
Items available for reference: IIITD [REF 005.2732 DUC-R] (1).

17. The Blackwell guide to the philosophy of computing and information

by Floridi, Luciano [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Malden : Blackwell Publishing, ©2004Availability:
Items available for reference: IIITD [REF 004.01 FLO-B] (1).

18. Multimedia systems : with 172 figures

by Steinmetz, Ralf | Nahrstedt, Klara.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2004Availability: Items available for loan: IIITD [006.7 STE-M] (1).
Items available for reference: IIITD [REF 006.7 STE-M] (1).

19. Multimedia applications

by Steinmetz, Ralf | Nahrstedt, Klara.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Springer, ©2004Availability: Items available for loan: IIITD [006.7 STE-M] (1).
Items available for reference: IIITD [REF 006.7 STE-M] (1).

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


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