Numerical and Symbolic Scientific Computing: Progress and Prospects by Ulrich La
124,95 €
Approximate implicitization of space curves. - Linear partial differential equations and linear partial differential operators in computer algebra. - Sound and compelte verificcation condition generator for functional recursive programs.
Jetzt bei Ebay: