Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Logic in computer science : modelling and reasoning about systems by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Cambridge University Press, ©2004
Availability: Items available for loan: IIITD (1)Call number: 005.101 HUT-L.

Place hold Add to cart
2.
The calculus of computation : decision procedures with applications to verification by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2007
Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C.

Place hold Add to cart
3.
Computational thinking by Series: The MIT Press Essential Knowledge Series | The MIT Press Essential Knowledge Series
Material type: Text Text; Format: print
Publication details: London : MIT Press, ©2019
Availability: Items available for loan: IIITD (1)Call number: 005.1 DEN-C.

Place hold Add to cart
4.
The logician and the engineer : how George Boole and Claude Shannon created the information age by
Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction
Publication details: New Jersey : Princeton University Press, ©2013
Availability: Items available for loan: IIITD (1)Call number: 510.922 NAH-L.

Place hold Add to cart
5.
Logic in computer science : modelling and reasoning about systems by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Cambridge University Press, ©2004
Availability: Items available for loan: IIITD (2)Call number: 005.101 HUT-L, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.101 HUT-L.

Place hold Add to cart
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha