FEEDBACK Smiley face

Your search returned 366 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. Fundamentals of bioinformatics and computational Biology : methods and exercises in MATLAB

by Singh, Gautam B.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2015Online access: Publisher description | Table of contents only Availability:
Items available for reference: IIITD [REF 570.285 SIN-F] (1).

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

4. Find your path : unconventional lessons from 36 leading scientists and engineers

by Goodman, Daniel.

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

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

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

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

8. Why humans matter more than ever

by MIT Sloan Management Review.

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

9. System verilog assertions and functional coverage : guide to language, methodology and applications

by Mehta, Ashok B.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Los Gatos : Springer, ©2020Availability: No items available
Checked out (1).

10. Low power and low voltage circuit design with the FGMOS transistor

by Villegas, Esther Rodriguez.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : IET, ©2006Availability:
Items available for reference: IIITD [REF 621.3815 VIL-L] (1).

11. The body builders : inside the science of the engineered human

by Piore, Adam.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Harper Collins, ©2017Availability: Items available for loan: IIITD [660.6 PIO-B] (1).

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

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

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

15. Biotechnology : a problem approach

by Kumar, Pranav | Verma, praveen | Mina, Usha.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pathfinder, ©2019Availability: Items available for loan: IIITD [574.8 KUM-B] (1).
Items available for reference: IIITD [REF 574.8 KUM-B] (1).

16. Designing engineers

by Bucciarelli, Louis L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : MIT Press, ©1994Availability: Items available for loan: IIITD [620.0042 BUC-D] (1).

17. Engineering and the mind's eye

by Ferguson, Eugene S.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©1992Availability: Items available for loan: IIITD [620 FER-E] (1).

18. Gendered innovations in science and engineering

by Schiebinger, Londa L [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Stanford : Stanford University Press, ©2008Availability: Items available for loan: IIITD [305.435 SCH-G] (1).

19. Digital design : with an introduction to the verilog HDL, VHDL and system verilog

by Mano, M. Morris | Ciletti, Michael D [Author].

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Uttar pradesh : Pearson Education, ©2018Availability: Items available for loan: IIITD [621.395 MAN-D] (1).

20. Proteotronics : development of protein-based electronics

by Alfinito, Eleonora | Pousset, Jeremy | Reggiani, Lino.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Singapore : Jenny Stanford Publishing ©2016Availability:
Items available for reference: IIITD [REF 621.381 ALF-P] (1).


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