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| Nhan đề: | Models of Computation and Formal Languages |
| Tác giả: | Taylor, R. Gregory |
| Từ khoá: | Models Of Computation |
| Năm xuất bản: | 1998 |
| Nhà xuất bản: | Oxford University Press |
| Tóm tắt: | 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. |
| Mô tả: | Pages: 683 |
| Định danh: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15942 |
| ISBN: | 9780195109832 019510983X |
| 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.