LECTURE NOTES IN MATHEMATICS 1387: ITERATIVE METHODS FOR SIMULTANEOUS INCLUSION OF POLYNOMIAL ZEROS
1989 年出版266 页ISBN:3540514856;0387514856
LECTURE NOTES IN MATHEMATICS 1450: FUNCTIONAL-ANALYTIC METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS
1990 年出版256 页ISBN:3540533931;0387533931
Lecture Notes in Artificial Intelligence 3025 Methods and Applications of Artificial Intelligence Th
SETN 20042004 年出版546 页ISBN:3540219374
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN:9783540489283