Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN：
LECTURE NOTES IN MATHEMATICS 1374: THE TOPOLOGY OF 4-MANIFOLDS
ROBION C. KIRBY1989 年出版108 页ISBN：
Toroidal Compactification of Siegel Spaces (Lecture Notes in Mathematics)
Y. Namikawa1980 年出版162 页ISBN：9783540100218;3540100210
LECTURE NOTES IN MATHEMATICS 1374: THE TOPOLOGY OF 4-MANIFOLDS
ROBION C. KIRBY2222 年出版0 页ISBN：
DIFFERENTIAL EQUATIONS WITH APPLICATIONS AND HISTORICAL NOTES THIRD EDITION
GEORGE F.SIMMONS2017 年出版740 页ISBN：9781498702591
Ready notes to accompany the living world (second edition)
George B.Johnson2000 年出版212 页ISBN：0072398728
MRI FROM PICTURE TO PROTON THIRD EDITION
DONALD W.MCROBBIE ELIZABETH A.MOORE MARTIN J.GRAVES2017 年出版383 页ISBN：1107643239
