FEEDBACK Smiley face

Your search returned 2335 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. 101 careers in Mathematics

by Haunsperger, Deanna [editor] | Thompson, Robert [editor].

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Rhode Island : American Mathematical Society, ©2019Availability:
Items available for reference: IIITD [REF 510.23 HAU-C] (1).

3. Turing computability

by Soare, Robert Irving.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Chicago : Springer, ©2016Availability:
Items available for reference: IIITD [REF 511.352 SOA-T] (1).

4. Of bicycles, bakelites and bulbs : toward a theory of sociotechnical change

by Bijker, Wiebe E.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©1995Availability:
Items available for reference: IIITD [REF 306.46 BIJ-O] (1).

5. Computer networkings and internets : with internet applications

by Comer, Douglas E.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Jersy : Pearson, ©2004Availability:
Items available for reference: IIITD [REF 004.678 COM-C] (1).

6. Computer networking : a top-down approach

by kurose, James F.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson, ©2010Availability:
Items available for reference: IIITD [REF 004.678 KUR-C] (1).

7. SystemVerilog for verification : a guide to learning the testbench language features

by Spear, Chris | Tumbush, Greg.

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

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

9. Mathematical models in molecular and cellular biology

by Segel, Lee A [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Cambridge University Press, ©1980Availability: Items available for loan: IIITD [CB 574.88 SEG-M] (1).

10. 3D user interfaces : theory and practice

by LaViola, Joseph J | Kruijff, Ernst | Mcmahan, Ryan P | Bowman, Doug A | Poupyrev, Ivan.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Addison-Wesley, ©2017Availability: No items available
Checked out (1).

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

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

13. Routledge handbook of Internet politics

by Chadwick, Andrew [editor ] | Howard, Philip N [editor ].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Routledge, ©2010Availability:
Items available for reference: IIITD [REF 320.028 CHA-R] (1).

14. State power 2.0 : authoritarian entrenchment and political engagement worldwide

by Hussain, Muzammil M [editor ] | Howard, Philip N [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Routledge, ©2013Availability:
Items available for reference: IIITD [REF 303.33 HUS-S] (1).

15. Modeling differential equations in biology :

by Taubes, Clifford Henry.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : Cambridge University Press, ©2008Availability:
Items available for reference: IIITD [CB 570.151 TAU-M] (1).

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

17. Orienting of attention

by Wright, Richard D | Ward, Lawrence M | Posner, Michael I [foreword].

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

18. Handbook of research methods in human memory

by Otani, Hajime [editor] | Schwartz, Bennett L [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Routledge, ©2019Availability:
Items available for reference: IIITD [REF 153.12 OTA-H] (1).

19. Learning and memory : basic principles, processes, and procedures

by Terry, W. Scott.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Routledge, ©2018Availability:
Items available for reference: IIITD [REF 153.1 TER-L] (1).

20. Memory

by Baddeley, Alan | Eysenck, Michael W | Anderson, Michael C.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Psychology Press, ©2015Availability:
Items available for reference: IIITD [REF 153.12 BAD-M] (1).


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