Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Working papers for use with intermediate accounting
1992 年出版260 页ISBN:0256107408
NONSTANDARD ANALYSIS:A PRACTICAL GUIDE WITH APPLICATIONS
1981 年出版261 页ISBN:3540108793