FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

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

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. Computational Thinking

by Denning, Peter J | Tedre, Matti.

Material type: book Book; Format: print Publisher: London : MIT Press, ©2019Availability: Items available for loan: IIITD [005.1 DEN-C] (1).

4. The logician and the engineer : how George Boole and Claude Shannon created the information age

by Nahin, Paul J.

Material type: book Book; Format: print ; Nature of contents: biography; Literary form: not fiction Publisher: New Jersey : Princeton University Press, ©2013Availability: Items available for loan: IIITD [510.922 NAH-L] (1).

5. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

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] (2).
Items available for reference: IIITD [REF 005.101 HUT-L] (1).


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