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
Lecture Notes in Computer Science 4192 Recent Advances in Parallel Virtual Machine and Message Passi
2006 年出版414 页ISBN:354039110X