LECTURE NOTES IN MATHEMATICS 1302: FUNCTION SPACES AND APPLICATIONS
1988 年出版445 页ISBN：354018905X;038718905X
LECTURE NOTES IN MATHEMATICS 1247: SEMINAIRE DE PROBABILITES XXI
1987 年出版584 页ISBN：354017768X;038717768X
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN：981022804X
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Lecture Notes in Physics:Modern Aspects of Spin Physics
2007 年出版130 页ISBN：3540385908
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
Lecture Notes in Physics:Novel NMR and EPR Techniques
2006 年出版441 页ISBN：354032626X
Lecture Notes in Artificial Intelligence 4200 Intelligent Computing in Engineering and Architecture
2006 年出版692 页ISBN：3540462465
