机读格式显示(MARC)

• 000 01343nam 2200325 450

• 001 0000408415

• 005 20120410101200.0

• 010 __ |a 978-7-301-17768-6 |d CNY35.00

• 100 __ |a 20111013d2011 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 可计算性与计算复杂性导引 |A ke ji suan xing yu ji suan fu za xing dao yin |f 张立昂编著

• 205 __ |a 第3版

• 210 __ |a 北京 |c 北京大学出版社 |d 2011

• 215 __ |a 256页 |c 图 |d 26cm

• 225 2_ |a 高等院校计算机专业及专业基础课系列教材 |A gao deng yuan xiao ji suan ji zhuan ye ji zhuan ye ji chu ke xi lie jiao cai

• 300 __ |a 北京市高等教育精品教材 教育部科学技术进步二等奖

• 320 __ |a 有书目

• 330 __ |a 本书内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。

• 410 _0 |1 2001 |a 高等院校计算机专业及专业基础课系列教材

• 606 0_ |a 电子计算机 |A dian zi ji suan ji |x 可计算性 |x 高等学校 |j 教材

• 606 0_ |a 电子计算机 |A dian zi ji suan ji |x 计算复杂性 |x 高等学校 |j 教材

• 690 __ |a TP301.4 |v 4

• 701 _0 |a 张立昂 |A zhang li ang |4 编著

• 801 _0 |a CN |b HDUL |c 20120410

• 856 4_ |u http://www.zxhsd.com/kgsm/ts/2011/10/10/2085396.shtml

• 905 __ |a HDUL |d TP301.4/106

• 920 __ |a 233030 |z 1