Computability and unsolvability
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 9780486614717
- Computability & unsolvability
- 511.3 DAV
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
IIT Gandhinagar | General | 511.3 DAV (Browse shelf(Opens below)) | Available | 004074 |
Browsing IIT Gandhinagar shelves Close shelf browser (Hides shelf browser)
No cover image available |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
621.381 ERI Fundamentals of power electronics | 621.3815 KIN Synchronization and arbitration in digital systems | 004.21 CLA Model checking | 511.3 DAV Computability and unsolvability | 570.285 YES Bioinformatics : a practical approach | 621.31 KUS Computer-aided power systems analysis | 621.3822 EIA Discrete systems and digital signal processing with MATLAB |
Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix)
Bibliography: p. 237-241. .
There are no comments on this title.