GRADUATE TEXTS IN MATHEMATICS 148:AN INTRODUCTION TO THE THEORY OF GROUPS FOURTH EDITION
JOSEPH J.ROTMAN1995 年出版515 页ISBN：0387942858
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
METHODS IN ENZYMOLOGY VOLUME 134 STRUCTURAL AND CONTRACTILE PROTEINS PART C THE CONTRACTILE APPA
RICHARD B.VALLEE2222 年出版748 页ISBN：0121820343
RENEWABLE ENERGY RESOURCES AND RURAL APPLICATIONS IN THE DEVELOPING WORLD AAAS SELECTED SYMPOSIUM 6
NORMAN L.BROWN1978 年出版168 页ISBN：0891584331
Lecture Notes in Computer Science 4477 Pattern Recognition and Image Analysis Third Iberian Conferen
IbPRIA 2007 Part I2007 年出版625 页ISBN：9783540728467
Lecture Notes in Computer Science 4478 Pattern Recognition and Image Analysis Third Iberian Conferen
IbPRIA 2007 Part II2007 年出版657 页ISBN：9783540728481
Lecture Notes in Computer Science 4530 Model Driven Architecture-Foundations and Applications Third
ECMDA-FA 20072007 年出版219 页ISBN：9783540729006
Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
