计算理论基础：可计算性、复杂性和语言(英文版·第2版)
计算理论基础：可计算性、复杂性和语言(英文版·第2版)作者： （美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.） 著 出 版 社： 人民邮电出版社 出版时间： 2009-5-1字数：版次： 1
计算复杂性（英文版）作者： （以）戈德赖希著 出 版 社： 人民邮电出版社 出版时间： 2010-4-1字数： 754000版次： 1页数： 603印刷时间： 2010-4-1开本： 16开印次： 1纸张： 胶版纸I S
自动机理论、语言和计算机导论（英文版·第3版）作者： （美）霍普克罗夫特（Hopcroft，J.E.）等著 出 版 社： 机械工业出版社 出版时间： 2007-9-1字数：版次： 1页数： 535印刷时间： 2008/01/01开本：印次：纸张：
作者： 美.福利 等著 出 版 社： 机械工业出版社 出版时间： 2002-6-1字数：版次： 1页数： 1176印刷时间： 2002/06/01开本：印次：纸张： 胶版纸I S B N ： 9
计算复杂性(英文版)(图灵原版计算机科学系列)(Computational Complexity:A Conceptual Perspective)基本信息·出版社：人民邮电出版社 ·页码：606 页 ·出版日期：2010年04月 ·ISBN：9787115224002 ·条形码：9787115224002 ·版本：第1版 ·装帧：平装 ·开本
对象模型化与OCL：在对象约束语言后面的理论基础 Object modeling with the OCL作者： Tony Clark著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 278印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B N
对象模型化与OCL：在对象约束语言后面的理论基础 Object modeling with the OCL作者： Tony Clark著 出 版 社： Oversea Publishing House 出版时间：字数：版次： 1页数： 279印刷时间： 2002/03/01开本： 16开印次： 1纸张：
作者： HARRY RLEWIS 著 出 版 社： 清华大学出版社 出版时间： 2000-7-1字数：版次： 1页数： 0印刷时间：开本：印次：纸张：I S B N ： 978730203948
作者： Harry R.Lewis， Christos H.Papadimitriou 出 版 社： 清华大学出版社 出版时间： 1999-9-1字数：版次： 1版1次页数： 361印刷时间：开本：印
基本信息出版社:清华大学出版社; 第3版 (2012年4月1日)平装:341页正文语种:简体中文开本:16ISBN:9787302283621条形码:9787302283621商品尺寸:25.6 x