（西德）卡普迈耶 （KappelmeyerO.），海涅尔 （Haenel，R.）著；北京大学地质系地热研究室译1981 年出版181 页ISBN：13031·1455
（印）卡马拉，（印）拉玛著2012 年出版317 页ISBN：9787121153945
形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型...
（美）约翰·玛吉（John Magee）著；（美）W.H.C.贝斯蒂（W.H.C.Bassetti）编辑；吴溪译2003 年出版437 页ISBN：7111109627
（德）尤尔根·哈贝马斯著；沈清楷译2005 年出版95 页ISBN：7300065570
本书作者是当代最重要的哲学家之一。本书收录了在巴黎举行的两次讲座，概括了对话伦理学固有的理论及实践的真理观念，并对多位法国哲学学者针对真理问题的提问作了回答。...
