Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
Lecture Notes in Computer Science 3459 Scale Space and PDE Methods in Computer Vision 5th Internatio
Scale-Space 20052005 年出版634 页ISBN：3540255478
STATIC AND DYNAMIC ANALYSIS OF STRUCTURES WITH AN EMPHASIS ON MECHANICS AND COMPUTER MATRIX METHODS
JAMES F.DOYLE1991 年出版448 页ISBN：
ASYMPTOTIC METHODS IN NONLINEAR WAVE THEORY
ALAN JEFFREY;TAKUJI KAWAHARA1982 年出版256 页ISBN：0273085093
Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
A course in mathematical biology quantitative modeling with mathematical and computational methods
Gerda de Vries ; Johannes Muller ; Thomas Hillen ; Birgitt Schonfisch ; Mark Lewis2006 年出版309 页ISBN：0898716122
