Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
HORTH-HOLLAND MATHEMATICS STUDIES 79 BOUNDARY VALUE PROBLEMS IN QUEUEING SYSTEM ANALYSIS
J.W.COHEN1983 年出版405 页ISBN：
LECTURE NOTES IN MATHEMATICS 1273: SINGULARTIES
REPRESENTATION OF ALGEBRRAS1987 年出版383 页ISBN：
LECTURE NOTES IN MATHEMATICS 1405: OPTIMIZATION
1989 年出版223 页ISBN：354051970X;038751970X
LECTURE NOTES IN MATHEMATICS 1192: EQUADIFF 6
1980 年出版424 页ISBN：3540164693;0387164693
LECTURE NOTES IN MATHEMATICS 916: ZWEIDIMENSIONALE
INTERPOLIERENDE LG-SPLINES UND IHRE ANWENDUNGEN1982 年出版241 页ISBN：3540112138;0387112138
LECTURE NOTES IN MATHEMATICS 1229: DERIVATIONS
DISSIPATIONS AND GROUP ACTIONS ON C*-ALGEBRAS1986 年出版277 页ISBN：3540171991;0387171991
