题名	责任者	出版社	索书号
涌现:从混沌到有序	(美) 约翰·霍兰著	上海科学技术出版社	TP301.5/0040/ 1
Introduction to the theory of computation = 计算理论导引 / 2nd ed.	Michael Sipser著.	China Machine Press,	TP301.5/S618-2