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
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
THE GLASS MENAGERIE AND A STREETCAR NAMED DESIRE NOTES
JAMES L.ROBERTS PH.D.1965 年出版77 页ISBN：
Lecture Notes in Computer Science 3069 Architecting Dependable Systems II
2004 年出版351 页ISBN：3540231684
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
