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 Statistics 142 Bilinear Stochastic Models and Related Problems of Nonlinear Time Se
Gyorgy Terdik1999 年出版262 页ISBN：
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
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
LECTURE NOTES IN MATHEMATICS 1338: NON-OSCILLATION DOMAINS OF DIFFERENTIAL EQUATIONS WITH TWO PARAME
1988 年出版117 页ISBN：3540500782;0387500782
