2000 IEEE 41st Annual Symposium on Foundations of Computer Science
2000 年出版688 页ISBN：0769508502
Lecture Notes in Computer Science 722 Design and Implementation of Symbolic Computation Systems Inte
DISCO93 Gmunden2222 年出版0 页ISBN：
Programs and Machines An Introduction to the Theory of Computation
1976 年出版214 页ISBN：0471016500
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
STATISTICS THE ART AND SCIENCE OF LEARNING FROM DATA
2007 年出版693 页ISBN：2900130083691
INTRODUCTION TO LANGUAGES AND THE THEORY OF COMPUTATION THIRD EDITION
JOHN C.MARTIN2003 年出版543 页ISBN：0072322004
INTRODUCTION TO LANGUAGES AND THE THEORY OF COMPUTATION SECOND EDITION
JOHN C.MARTIN2222 年出版450 页ISBN：0070408459
43th Annual Symposium on Foundations of Computer Science October 17-19
19991999 年出版668 页ISBN：
