Numerical Methods for Delay Differential Equations
2003 年出版395 页ISBN:0198506546
FUNCTIONAL ANALYTIC METHODS FOR EVOLUTION EQUATIONS
2004 年出版472 页ISBN:3540230304;3540230300
TOPOLOGICAL METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS
1993 年出版218 页ISBN:3540564616;0387564616
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059