计算机科学导论

本书作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求,在计算学科二...

2007.09

语言与机器

本书介绍了形式语言、自动机、可计算性、计算复杂性等内容。

2008.01