Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN：3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN：3540230130
LECTURE NOTES IN MATHEMATICS 1307: A REAL VARIABLE METHOD FOR THE CAUCHY TRANSFORM
AND ANALYTIC CAPACITY1988 年出版133 页ISBN：3540190910;0387190910
Artificial Intelligence Progoamming for the Macintosh
Dan Shafer1986 年出版290 页ISBN：
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS SCATTERING THEORY FOR THE D'ALEMBERT EQUATION IN EXTERIOR DOMAINS
CALVIN H.WILCOX2222 年出版184 页ISBN：354007144X
LECTURE NOTES IN MATHEMATICS 927: THE TRACE FORMULA AND BASE CHANGE FOR GL(3)
1982 年出版204 页ISBN：3540115005;0387115005
Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN：3540219609
