机读格式显示(MARC)

• 000 01222nam2 2200337 4500

• -01 __gzk0822485

• -09 __zyk0216521

• -98 __bm9

• -99 __tsg01

• 001 0000216496

• 005 20120611090951.5

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

• 100 __ |a 20120611d2011 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 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页 |d 26cm

• 300 __ |a 高等院校计算机专业及专业基础课系列教材 北京市高等教育精品教材 教育部科学技术进步二等奖

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

• 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.5 |v 4

• 690 __ |a TP301.4 |v 4

• 701 _0 |a 张立昂 |A Zhang Li Ang |4 编著

• 801 _0 |a CN |b 安徽新华 |c 20120611

• 905 __ |a ASTU |d TP301.5/5

• 915 __ |b 2070541-2 |d TP301.5 |e 5 |f 2