搜索包含计算理论的图书 - 暨南大学珠海校区图书馆

大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含计算理论的图书(共9本)

	计算理论导引 9 索取号：TP30/5 作者：西普塞、Sipser、张立昂、出版社：北京：机械工业出版社，2000..		自动机理论、语言和计算导论 8.7 索取号：TP301.1-43/1 作者：霍普克罗夫特、沃尔曼、马特万、孙家骕、出版社：北京：机械工业出版社，2008
	程序设计语言的形式语义：an introduction 8.3 索取号：TP301.2-43/1 作者：温斯克尔、宋国新、出版社：北京：机械工业出版社，2004		计算理论基础 8.1 索取号：TP301-43/5:2 作者：刘易斯、帕帕季米特里乌、张立昂、刘田、出版社：北京：清华大学出版社，2006
	形式语言与自动机导论 8 索取号：TP301.2/1 作者：林茨、孙家骕、出版社：北京：机械工业出版社，2005		算法分析导论 0 索取号：TP301.6-43/33 作者：塞奇威克、弗拉若莱、冯舜玺、李学武、出版社：北京：机械工业出版社，2006
	可计算性与计算复杂性导引 0 索取号：TP301-43/2 作者：张立昂、出版社：北京：北京大学出版社，1996		计算理论基础：第2版 0 索取号：TP3/51 作者：刘易斯、Lewis、帕帕季米特里乌、出版社：北京：清华大学出版社，1999..
	递归论 0 索取号：O141.3/1 作者：莫绍揆、出版社：北京：科学出版社，1997

	计算理论导引 9 索取号：TP30/5 作者：西普塞、Sipser、张立昂、出版社：北京：机械工业出版社，2000..		自动机理论、语言和计算导论 8.7 索取号：TP301.1-43/1 作者：霍普克罗夫特、沃尔曼、马特万、孙家骕、出版社：北京：机械工业出版社，2008
	程序设计语言的形式语义：an introduction 8.3 索取号：TP301.2-43/1 作者：温斯克尔、宋国新、出版社：北京：机械工业出版社，2004		计算理论基础 8.1 索取号：TP301-43/5:2 作者：刘易斯、帕帕季米特里乌、张立昂、刘田、出版社：北京：清华大学出版社，2006
	形式语言与自动机导论 8 索取号：TP301.2/1 作者：林茨、孙家骕、出版社：北京：机械工业出版社，2005		算法分析导论 0 索取号：TP301.6-43/33 作者：塞奇威克、弗拉若莱、冯舜玺、李学武、出版社：北京：机械工业出版社，2006
	可计算性与计算复杂性导引 0 索取号：TP301-43/2 作者：张立昂、出版社：北京：北京大学出版社，1996		计算理论基础：第2版 0 索取号：TP3/51 作者：刘易斯、Lewis、帕帕季米特里乌、出版社：北京：清华大学出版社，1999..
	递归论 0 索取号：O141.3/1 作者：莫绍揆、出版社：北京：科学出版社，1997