Nakao, Mitsuhiro T. Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe. — Singapore: Springer, 2019. — 1 файл (21,6 Мб): ил. — (Springer series in computational mathematics). — Доступ по паролю из сети Интернет (чтение). — <URL:http://elib.spbstu.ru/dl/2/eb23-154.pdf>. — Текст: электронный
| Period | Read | Copy | Open | Total | |||
|---|---|---|---|---|---|---|---|
| Year 2026 | Quarter 1 | February | 0 | 0 | 0 | 0 | 0 |
| March | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 2 | April | 0 | 0 | 0 | 0 | 0 | |
| May | 0 | 0 | 0 | 0 | 0 | ||
| June | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
| Total | 0 | 0 | 0 | 0 | 0 | ||