| 000 |
|
01414nam0 2200301 450 |
| 010 |
__ |
■a7-301-07463-8■dCNY23.00 |
| 100 |
__ |
■a20060416d2004 ekmy0chiy0121 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aak a 001yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a可计算性与计算复杂性导引■f张立昂编著■AKe Ji Suan Xing Yu Ji Suan Fu Za Xing+...... |
| 205 |
__ |
■a第2版 |
| 210 |
__ |
■a北京■c北京大学出版社■d2004.7 |
| 215 |
__ |
■a221页■c图■d26cm |
| 225 |
2_ |
■a高等学校计算机专业及专业基础课系列教材■AGao Deng Xue Jiao Ji Suan Ji Zhuan Ye+...... |
| 300 |
__ |
■a北京市高等教育精品教材立项项目 |
| 320 |
__ |
■a有书目 (第221页) |
| 330 |
__ |
■a本书内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可+...... |
| 333 |
__ |
■a本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对计算理论感兴+...... |
| 410 |
_0 |
■12001■a高等学校计算机专业及专业基础课系列教材 |
| 606 |
0_ |
■a可计算性■x高等学校■x教学参考资料■AKe Ji Suan Xing |
| 606 |
0_ |
■a计算复杂性■x高等学校■x教学参考资料■AJi Suan Fu Za Xing |
| 690 |
__ |
■aTP301.5■v4 |
| 701 |
_0 |
■a张立昂■4编著■AZhang Li Ang |
| 801 |
_0 |
■aCN■bGSXY■c20060416 |
| 905 |
|
■aGSXY■fTP301.5/Z471=2■g0074609■g0074610■g0074611■g0074612■g+...... |
| 999 |
__ |
■tE■Aht2■a20060416 06:54:18■Gunknown■g19980101■Mht2■m2006041+...... |
(共0票)
评价
