Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 434: BESOV SPACES AND APPLICATIONS TO DIFFERENCE M
1975 年出版154 页ISBN：354007130X;038707130X
Lecture Notes in Artificial Intelligence 4696 Multi-Agent Systems and Applications V 5th Internation
CEEMAS 20072007 年出版350 页ISBN：9783540752530
Lecture Notes in Artificial Intelligence 3690 Multi-Agent Systems and Applications IV 4th Internatio
CEEMAS 20052005 年出版667 页ISBN：354029046X
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
LECTURE NOTES IN MATHEMATICS 1337: THEORY OF MODULI
1988 年出版237 页ISBN：3540500804;0387500804
LECTURE NOTES IN MATHEMATICS 944: REPRESENTATIONS OF ALGEBRAS
1982 年出版258 页ISBN：3540115773;0387115773
LECTURE NOTES IN MATHEMATICS 1365: TOPICS IN CALCULUS OF VARIATIONS
1989 年出版196 页ISBN：3540507272;0387507272
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
