Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
LECTURE NOTES IN MATHEMATICS 978: QUASICONFORMAL MAPPINGS IN THE PLANE: PARAMETRICAL METHODS
1983 年出版178 页ISBN：3540119892;0387119892
Lecture Notes in Physics 57:Physics of Highly Excited States in Solids
1976 年出版394 页ISBN：3540079912
LECTURE NOTES IN MATHEMATICS 1301: PERIODS OF HECKE CHARACTERS
1988 年出版160 页ISBN：3540189157;0387189157
LECTURE NOTES IN MATHEMATICS 1446: METHODS OF NONCONVEX ANALYSIS
1990 年出版210 页ISBN：3540531203;0387531203
LECTURE NOTES IN MATHEMATICS 1399: ARITHMETIC OF COMPLEX MANIFOLDS
1989 年出版171 页ISBN：3540517294;0387517294
LECTURE NOTES IN MATHEMATICS 1101: RESOLUTION OF SURFACE SINGULARITIES
1984 年出版137 页ISBN：3540139044;0387139044
LECTURE NOTES IN MATHEMATICS 1160: THE HAMILTONIAN HOPF BIFURCATION
1985 年出版115 页ISBN：354016037X;038716037X
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED
G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN：3540173560
VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN：9780521113601
