FEEDBACK Smiley face

Your search returned 336 results. Subscribe to this search

|
1. Foundations of multithreaded, parallel, and distributed programming

by Andrews, Gregory R.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Addison-Wesley, ©2000Availability:
Items available for reference: IIITD [REF 004.3 AND-F] (1).

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

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. Logic in computer science : modelling and reasoning about systems

by Huth, Michael.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2004Availability: Items available for loan: IIITD [005.101 HUT-L] (1).

5. Computer security

by Gollmann, Dieter.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Chichester : Wiley, ©2006Availability: Items available for loan: IIITD [005.8 GOL-C] (1).

6. Producing open source software : how to run a successful free software project

by Fogel, Karl.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Sebastopol : O'Reilly, @2005Online access: Table of contents | Electronic version | Publisher description Availability: Items available for loan: IIITD [005.1 FOG-P] (1).

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

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

9. Let us C

by Kanetkar, Yashavant P.

Edition: 15th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : BPB Publication, ©2007Availability: Items available for loan: IIITD [005.133 KAN-L] (1).

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

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

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

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

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

15. The cambridge handbook of artificial intelligence

by Frankish, Keith | Ramsey, William M.

Publisher: Cambridge : Cambridge University Press, ©2014Availability: Items available for loan: IIITD [006.3 FRA-C] (1).

16. Possible minds : twenty-five ways of looking at AI

by Brockman, John [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Penguin Press, ©2019Availability: Items available for loan: IIITD [006.3 BRO-P ] (1).

17. Principles of distributed database systems

by Ozsu, M. Tamer | Valduriez, Patrick.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Noida : Pearson, ©2006Availability: No items available
Checked out (1).

18. Computing with quantum cats : from alan turing to teleportation

by Gribbin, John.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Black Swan, ©2013Availability: Items available for loan: IIITD [004.1 GRI-C] (1).

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

20. China's digital nationalism

by Schneider, Florian.

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


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