MARC状态:审校 文献类型:中文图书 浏览次数:8
- 题名/责任者:
- 计算理论导引/(美)西普塞(Michael Sipser)著 张立昂等译
- 出版发行项:
- 北京:机械工业出版社,2000
- ISBN及定价:
- 7-111-07574-9/CNY30.00
- 载体形态项:
- 273页;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 西普塞 (美) (Sipser,Michael) 著
- 个人责任者:
- Sipser Michael 著
- 个人次要责任者:
- 张立昂 译
- 学科主题:
- 计算技术-理论
- 学科主题:
- 计算技术
- 中图法分类号:
- TP301
- 一般附注:
- 书名原文:Introduction to the theory of computation
- 一般附注:
- 本书中文版由美国Thomson公司授权机械工业出版社独家出版
- 责任者附注:
- 西普塞,麻省理工学院任教
- 责任者附注:
- 张立昂,北京大学任教
- 提要文摘附注:
- 本书介绍了计算理论的三个内容:自动机与语言、可计算性和计算复杂性。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 附件 | 说明 | 书刊状态 | 还书位置 |
| TP301/42 | 000320041 | 密集书库 M00183415 图书定位 | 可借 | 密集书库 | |||
| TP301/42 | 000322229 | 密集书库 M00183859 图书定位 | 可借 | 密集书库 | |||
| TP301/42 | 000398879 | 密集书库 M00231192 图书定位 | 可借 | 密集书库 | |||
| TP301/42 | 000402310 | 2000 | 密集书库 M00236114 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000411881 | 2000 | 密集书库 M00235981 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000421371 | 2000 | 密集书库 M00203819 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000424345 | 2000 | 密集书库 M00203486 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000424814 | 2000 | 密集书库 M00203332 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000430136 | 2000 | 密集书库 M00228956 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000432309 | 2000 | 密集书库 M00231270 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000435945 | 2000 | 密集书库 M00235309 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000442656 | 2000 | 密集书库 M00202581 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000443107 | 2000 | 密集书库 M00202838 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000444280 | 2000 | 密集书库 M00206963 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000456437 | 2000 | 密集书库 M00205958 图书定位 | 可借 | 密集书库 | ||
| TP301/42 | 000456555 | 2000 | 密集书库 M00204733 图书定位 | 可借 | 密集书库 |
显示全部馆藏信息



