中图分类法:	TP312-532 版次：
中图分类法:	TP13-532 版次：
题名:	Automata, languages and programming : [ 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings /] / ,
其它题名:	ICALP 2005
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2005.
载体形态:	xxv, 1477 p. : ill. ; 24 cm.
附注:	"The 32nd International Colloquium on Automata, Languages, and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005."--preface.
主题词:	Machine theory
主题词:	Formal languages
主题词:	Computer programming
主要责任者:	Caires, Luís.