1 - Continued fractions : analytic theory and applications |
2 - Formal specification and software development |
3 - Lectures on elliptic boundary value problems |
1 - Continued fractions : analytic theory and applications |
2 - Formal specification and software development |
3 - Lectures on elliptic boundary value problems |