The calculus of computation : decision procedures with applications to verification
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9788184893960
- 004.015 BRA-C
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf(Opens below)) | Available | 010354 | |||
![]() |
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf(Opens below)) | Available | 010355 | |||
![]() |
IIITD General Stacks | Computer Science and Engineering | 004.015 BRA-C (Browse shelf(Opens below)) | Not for loan | 009976 |
Total holds: 0
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Computer Science and Engineering Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
004.01 SIP-I Introduction to the theory of computation | 004.01 SIP-T Theory of computation | 004.015 BRA-C The calculus of computation : | 004.015 BRA-C The calculus of computation : | 004.015 BRA-C The calculus of computation : | 004.015 SUN-F Fourier analysis : a signal processing approach | 004.019 EVE-L Logic of the digital |
Includes bibliography and index
There are no comments on this title.