Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15942
Toàn bộ biểu ghi siêu dữ liệu
Trường DC | Giá trị | Ngôn ngữ |
---|---|---|
dc.contributor.author | Taylor, R. Gregory | - |
dc.date.accessioned | 2017-01-11T07:46:07Z | - |
dc.date.available | 2017-01-11T07:46:07Z | - |
dc.date.issued | 1998 | - |
dc.identifier.isbn | 9780195109832 | - |
dc.identifier.isbn | 019510983X | - |
dc.identifier.uri | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15942 | - |
dc.description | Pages: 683 | vi |
dc.description.abstract | Models of Computation and Formal Languages presents a comprehensive and rigorous treatment of the theory of computability. The text takes a novel approach focusing on computational models and is the first book of its kind to feature companion software. Deus Ex Machina, developed by Nicolae Savoiu, comprises software simulations of the various computational models considered and incorporates numerous examples in a user-friendly format. | vi |
dc.language.iso | en | vi |
dc.publisher | Oxford University Press | vi |
dc.subject | Models Of Computation | vi |
dc.title | Models of Computation and Formal Languages | vi |
dc.type | Book | vi |
Bộ sưu tập: | Công Nghệ TT |
Các tập tin trong tài liệu này:
Tập tin | Mô tả | Kích thước | Định dạng | |
---|---|---|---|---|
13-Models-of-Computation-and-Form.pdf | 30,92 MB | Adobe PDF | Đăng nhập để xem toàn văn |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.