LECTURE NOTES IN MATHEMATICS 1291: CORRESPONDANCES DE HOWE SUR UN CORPS P-ADIQUE
1987 年出版166 页ISBN：3540186999;0387186999
LECTURE NOTES IN MATHEMATICS 1409: THE NUMERICAL SOLUTION OF DIFFERENTIAL ALGEBRAIC SYSTEMS BY RUNGE
1989 年出版142 页ISBN：3540518606;0387518606
LECTURE NOTES IN MATHEMATICS 1261: FINITE PRESENTABILITY OF S-ARITHMETIC GROUPS COMPACT PRESENTABILI
1987 年出版187 页ISBN：3540179755;0387179755
Lecture Notes in Physics 264:Tenth International Conference on Nomerical Methods in Fluid Dynamics
1986 年出版724 页ISBN：354017172X
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
LECTURE NOTES IN MATHEMATICS 989: VOLTERRA-STIELTJES INTEGRAL EQUATIONS AND GENERALIZED ORDINARY DIF
1983 年出版318 页ISBN：354012294X;038712294X
Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi
2006 年出版263 页ISBN：3540333398
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
