Lecture Notes in Computer Science 3218 Modular Algorithms in Symbolic Summation and Symbolic Integra
2004 年出版224 页ISBN:3540240616
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 1366: GRASSMANNIANS AND GAUSS MAPS IN PIECEWISE-LINEAR TOPOLOGY
1989 年出版207 页ISBN:3540507566;0387507566