Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
LECTURE NOTES IN MATHEMATICS 1338: NON-OSCILLATION DOMAINS OF DIFFERENTIAL EQUATIONS WITH TWO PARAME
1988 年出版117 页ISBN:3540500782;0387500782