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>. — Текст: электронный
| Период | Чтение | Печать | Копирование | Открытие | Итого | |
|---|---|---|---|---|---|---|
| Год 2026 | Квартал 1 | 0 | 0 | 0 | 0 | 0 |
| Квартал 2 | 0 | 0 | 0 | 0 | 0 | |
| Всего | 0 | 0 | 0 | 0 | 0 | |