Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
LECTURE NOTES IN MATHEMATICS 1445: REGULARITY THEORY FOR QUASILINEAR ELLIPTIC SYSTEMS AND MONGE-AMPE
1990 年出版128 页ISBN:3540531033;087531033
MANAGEMENT INFORMATION SYSTEMS A STUDY OF COMPUTER BASED INFORMATION SYSTEMS FOURTH EDITION
1989 年出版910 页ISBN:0023794313