Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
REGULARITY PROBLEM FOR QUASILINEAR ELLIPTIC AND PARABOLIC SYSTEMS
1995 年出版255 页ISBN:9783540602514
APPLIED DYNAMIC PROGRAMMING FOR OPTIMIZATION OF DYNAMICAL SYSTEMS
2005 年出版260 页ISBN:0898715865